Object-oriented knowledge base system
First Claim
1. Means for storing knowledge base system in which a set selected from the group consisting of the universal set and the subsets, of a plurality of data which constitute an object-oriented knowledge base system is stored, in said object-oriented knowledge base system comprising:
- (a) an object-oriented knowledge base whose body of information includes data selected from the group consisting of (a-1) an ideal thesaurus in which hierarchy of nouns is stored, comprising (a-1-1) a plurality of keys described using means for storing data of ideal thesaurus, in which a noun with broader meaning is described as a broader descriptor, and a noun with narrower meaning is described as a narrower descriptor, (a-2) an ideal classification table in which hierarchy of verbs is recorded, comprising (a-2-1) a plurality of keys described using means for storing data of classification table, in which a verb with broader meaning is described as a higher class name-of-classification-item and a verb with narrower meaning is described as a lower class name-of-classification-item, and, (a-3) a plurality of rules described by using (a-3-1) a plurality of keys described using means for storing data used as rules, (b) an object-oriented knowledge base management system whose body of information includes data selected from the group consisting of (b-1) an ideal dictionary wherein lexical definition of verbs and nouns are given by using keys selected from the group consisting of (b-1-1) a plurality of keys described using means for storing data that define objects, for giving the lexical definition of an ideal noun, (b-1-2) a plurality of keys described using means for implementation of algorithms-of-processes, for giving the lexical definition of an ideal verb, and, (b-1-3) a plurality of keys described using means for describing the function of a verb, for giving the lexical definition of an ideal verb, (b-2) means for giving definition of broader descriptor and narrower descriptor, coupled to said object-oriented knowledge base, for constructing the hierarchy of nouns in said ideal thesaurus wherein as the basis on which said definition of broader descriptor and narrower descriptor is given, (b-2-1) the plurality of keys described using means for storing data that define objects, are used, and, (b-3) means for giving definition of higher class algorithm-of-process and lower class algorithm-of-process, coupled to said object-oriented knowledge base, for constructing the hierarchy of verbs in said ideal classification table wherein as the basis on which said definition of higher class algorithm-of-process and lower class algorithm-of-process is given, (b-3-1) the plurality of keys described using means for implementation of algorithms-of-processes, are used, and, (c) means for carrying out a inference, coupled to said object-oriented knowledge base wherein (c-1) means for carrying out sentence based object-oriented categorical syllogism is used wherein as the basis on which said sentence based object-oriented categorical syllogism is carried out, (c-1-1) said ideal thesaurus, and (c-1-2) said ideal classification table, are used, whereby, said object-oriented knowledge base system processes not only rules and questions written as mathematically well defined equations but also rules and questions written as English sentences written in sentence pattern of one of five basic sentence patterns of English grammar.
0 Assignments
0 Petitions
Accused Products
Abstract
A useful object-oriented knowledge base system is provided, which comprises an ‘object-oriented knowledge base’, an inference mechanism, and an ideal dictionary, etc. Sentences used as a ‘rule’ and/or as a ‘fact’ in the ‘object-oriented knowledge base’ are described according to a simple English grammar. Hierarchical structure of nouns-system in an ‘ideal thesaurus’ is constructed, on the basis of special kind of ‘object-oriented-lexical-definition of nouns’ recorded in the ideal dictionary. Lexical meaning of a verb whose meaning is specific are derived from that of a verb whose meaning is general and universal, by using ‘dichotomy’ on the basis of C-language-like way of description of English sentences in the lexicon. The hierarchical structure of verbs-system in an ‘ideal classification table’ is constructed on the basis of them. The Inference mechanism processes not only mathematically well defined equations but, also simple English sentences, by making full use of the ‘ideal thesaurus’ and the ‘ideal classification table’, on the basis of specially contrived ‘sentence based object-oriented categorical syllogism’.
76 Citations
47 Claims
-
1. Means for storing knowledge base system in which a set selected from the group consisting of the universal set and the subsets, of a plurality of data which constitute an object-oriented knowledge base system is stored, in said object-oriented knowledge base system comprising:
-
(a) an object-oriented knowledge base whose body of information includes data selected from the group consisting of (a-1) an ideal thesaurus in which hierarchy of nouns is stored, comprising (a-1-1) a plurality of keys described using means for storing data of ideal thesaurus, in which a noun with broader meaning is described as a broader descriptor, and a noun with narrower meaning is described as a narrower descriptor, (a-2) an ideal classification table in which hierarchy of verbs is recorded, comprising (a-2-1) a plurality of keys described using means for storing data of classification table, in which a verb with broader meaning is described as a higher class name-of-classification-item and a verb with narrower meaning is described as a lower class name-of-classification-item, and, (a-3) a plurality of rules described by using (a-3-1) a plurality of keys described using means for storing data used as rules, (b) an object-oriented knowledge base management system whose body of information includes data selected from the group consisting of (b-1) an ideal dictionary wherein lexical definition of verbs and nouns are given by using keys selected from the group consisting of (b-1-1) a plurality of keys described using means for storing data that define objects, for giving the lexical definition of an ideal noun, (b-1-2) a plurality of keys described using means for implementation of algorithms-of-processes, for giving the lexical definition of an ideal verb, and, (b-1-3) a plurality of keys described using means for describing the function of a verb, for giving the lexical definition of an ideal verb, (b-2) means for giving definition of broader descriptor and narrower descriptor, coupled to said object-oriented knowledge base, for constructing the hierarchy of nouns in said ideal thesaurus wherein as the basis on which said definition of broader descriptor and narrower descriptor is given, (b-2-1) the plurality of keys described using means for storing data that define objects, are used, and, (b-3) means for giving definition of higher class algorithm-of-process and lower class algorithm-of-process, coupled to said object-oriented knowledge base, for constructing the hierarchy of verbs in said ideal classification table wherein as the basis on which said definition of higher class algorithm-of-process and lower class algorithm-of-process is given, (b-3-1) the plurality of keys described using means for implementation of algorithms-of-processes, are used, and, (c) means for carrying out a inference, coupled to said object-oriented knowledge base wherein (c-1) means for carrying out sentence based object-oriented categorical syllogism is used wherein as the basis on which said sentence based object-oriented categorical syllogism is carried out, (c-1-1) said ideal thesaurus, and (c-1-2) said ideal classification table, are used, whereby, said object-oriented knowledge base system processes not only rules and questions written as mathematically well defined equations but also rules and questions written as English sentences written in sentence pattern of one of five basic sentence patterns of English grammar. - View Dependent Claims (2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15)
(a) a plurality of keys described using means for storing the list of lexical meanings of a natural word. -
3. The means for storing knowledge base system of claim 1 wherein said keys described using means for storing data used as rules comprises plurality of keys described according to
(a) means for describing sentences according to a simple English grammar. -
4. The means for storing knowledge base system of claim 1 wherein said means for giving definition of higher class algorithm-of-process and lower class algorithm-of-process includes
(a) means for making more specific meaning of a verb from that of a verb whose meaning is more general. -
5. The means for storing knowledge base system of claim 1 wherein further
(a) means for fusing propositions, which prevents a combinatorial explosion, is used during carrying out said means for carrying out a inference. -
6. The means for storing knowledge base system of claim 1 wherein
(a) means for storing data that strictly define objects, is used as said means for storing data that define objects. -
7. The means for storing knowledge base system of claim 1 wherein
(a) means for storing data of ideal thesaurus in a formal way is used as said means for storing data of ideal thesaurus. -
8. The means for storing knowledge base system of claim 1 wherein
(a) means for storing data of classification table in a formal way is used as said means for storing data of classification table. -
9. The means for storing knowledge base system of claim 1 wherein
(a) means for storing data used as rules in a formal way is used as said means for storing data used as rules. -
10. The means for storing knowledge base system of claim 1 wherein
(a) means for storing data about instances of solving problems, is used as said means for storing data used as rules. -
11. The means for storing knowledge base system of claim 1 wherein
(a) means for describing a function used as a rule is used as said means for storing data used as rules. -
12. The means for storing knowledge base system of claim 11 wherein as the name of the function of claim 11, a name selected from the group consisting of
(a) the name of a subroutine, (b) the name of a computer program, and, (c) the name of an unit operation described in a manual is used. -
13. The means for storing knowledge base system of claim 1 wherein the body of information of said object-oriented knowledge base further includes
(a) data comprising (a-1) a plurality of keys described using means for storing data providing the ability of association. -
14. The means for storing knowledge base system of claim 13 wherein
(a) means for storing data providing the ability of association in a strict way is used as said means for storing data providing the ability of association. -
15. The means for storing knowledge base system of claim 1 in which a set selected from the group consisting of the universal set and the subsets, of a plurality of data which constitute the object-oriented knowledge base system is stored, in said object-oriented knowledge base system comprising:
-
(a) the object-oriented knowledge base whose body of information includes data selected from the group consisting of (a-1) the ideal thesaurus in which hierarchy of nouns is stored, comprising (a-1-1) the plurality of keys described using means for storing data of ideal thesaurus, in which a noun with broader meaning is described as a broader descriptor, and a noun with narrower meaning is described as a narrower descriptor, (a-2) the ideal classification table in which hierarchy of verbs is recorded, comprising (a-2-1) the plurality of keys described using means for storing data of classification table, in which a verb with broader meaning is described as a higher class name-of-classification-item and a verb with narrower meaning is described as a lower class name-of-classification-item, (a-3) a plurality of rules described by using (a-3-1) the plurality of keys described using the means for storing data providing the ability of association, and, (a-4) the plurality of rules described by using keys selected from the group consisting of (a-4-1) the plurality of keys described using means for storing data used as rules wherein the
(a-4-1-1) means for describing sentences according to a simple English grammar, is used, and,(a-4-2) the plurality of keys described using the means for storing data about instances of solving problems, (b) an object-oriented knowledge base management system whose body of information includes data selected from the group consisting of (b-1) the ideal dictionary wherein lexical definition of verbs and nouns are given by using keys selected from the group consisting of (b-1-1) the plurality of keys described using means for storing the list of lexical meanings of a natural word, (b-1-2) the plurality of keys described using means for storing data that define objects, for giving the lexical definition of an ideal noun, (b-1-3) the plurality of keys described using means for implementation of algorithms-of-processes, for giving the lexical definition of an ideal verb, and, (b-1-4) the plurality of keys described using means for describing the function of a verb is used, for giving the lexical definition of an ideal verb, (b-2) the means for giving definition of broader descriptor and narrower descriptor, coupled to said object-oriented knowledge base, for constructing the hierarchy of nouns in said ideal thesaurus wherein as the basis on which said definition of broader descriptor and narrower descriptor is given, (b-2-1) the plurality of keys described using means for storing data that define objects, are used, and, (b-3) the means for giving definition of higher class algorithm-of-process and lower class algorithm-of-process, coupled to said object-oriented knowledge base, for constructing the hierarchy of verbs in said ideal classification table wherein as the basis on which said definition of higher class algorithm-of-process and lower class algorithm-of-process is given, (b-3-1) the plurality of keys described using means for implementation of algorithms-of-processes, are used, and, (c) the means for carrying out a inference, coupled to said object-oriented knowledge base wherein as the style of the reasoning, (c-1) an opportunistic reasoning is adopted wherein reasoning selected from the group consisting of (c-1-1) forward reasoning and (c-1-2) backward reasoning is carried out in each step of said opportunistic reasoning, and, the aim of each step of said opportunistic reasoning is to try to logically prove (c-1-3) a hypothetical proposition that is the target of the present step of opportunistic reasoning, said hypothetical proposition which is the target of the present step of opportunistic reasoning having a presupposition and a consequence, and, (c-2) each step of said opportunistic reasoning comprises set of means selected from the group consisting of, (c-2-1) means for getting rules-for-reasoning,
(c-2-1-0) said rules-for-reasoning equals to(c-2-1-0-1) hypothetical propositions to be used in forward reasoning in the case of forward reasoning, said hypothetical propositions to be used in forward reasoning having a presupposition and a consequence, and equal to (c-2-1-0-2) hypothetical propositions to be used in backward reasoning in the case of backward reasoning, said hypothetical propositions to be used in backward reasoning having a presupposition and a consequence wherein algorithms selected from the group consisting of,
(c-2-1-1) means for getting descriptors that are used to make a query to get the candidates of the rules-for-reasoning comprising(c-2-1-1-1) means for making a list of descriptors ranked in order of hit frequency wherein
(c-2-1-1-1-1) the descriptors in said list are ones associated with(c-2-1-1-1-1-1) a natural word which characterizes the presupposition of said hypothetical proposition that is the target of the present step of opportunistic reasoning in the case of forward reasoning, and (c-2-1-1-1-1-2) a natural word which characterizes the consequence of said hypothetical proposition that is the target of the present step of opportunistic reasoning in the case of backward reasoning, and,
(c-2-1-1-1-2) as the basis from which the descriptors which are to be used to make(c-2-1-1-1-2-1) a query to get the candidates of the rules-for-reasoning, are fetched, the data selected from the group consisting of (c-2-1-1-1-2-2) the plurality of keys described using means for storing data providing the ability of association, (c-2-1-1-1-2-3) the plurality of keys described using means for storing the list of lexical meanings of a natural word, and, (c-2-1-1-1-2-4) other plurality of keys in said object-oriented knowledge base, are used,
(c-2-1-2) means for getting the names-of-classification-items that are used to make said query to get the candidates of the rules-for-reasoning comprising(c-2-1-2-1) means for making a list of names-of-classification-items ranked in order of hit frequency, wherein
(c-2-1-2-1-1) the names-of-classification-items in said list are ones associated with(c-2-1-2-1-1-1) a natural word which characterizes the presupposition of said hypothetical proposition that is the target of the present step of opportunistic reasoning in the case of forward reasoning, and, (c-2-1-2-1-1-2) a natural word that characterizes the consequence of said hypothetical proposition which is the target of the present step of reasoning in the case of backward reasoning, and,
(c-2-1-2-1-2) as the basis from which the names-of-classification-items that are to be used to make(c-2-1-2-1-2-1) said query to get the candidates of the rules-for-reasoning, are fetched, the data selected from the group consisting of (c-2-1-2-1-2-2) the plurality of keys described using means for storing data providing the ability of association, (c-2-1-2-1-2-3) the plurality of keys described using means for storing the list of lexical meanings of a natural word, and, (c-2-1-2-1-2-4) other plurality of keys in said object-oriented knowledge base, are used,
(c-2-1-3) a retrieval of the candidates of the rules-for-reasoning using said query selected from the group consisting of the query of (c-2-1-1) and the query of (c-2-1-2) wherein said candidates of the rules-for-reasoning is a hypothetical proposition whose presupposition is hit upon during a Boolean search using the descriptors of (c-2-1-1) and the names-of-classification-items of (c-2-1-2) in the in the case of forward reasoning and whose consequence is hit upon during a Boolean search using the descriptors of (c-2-1-1) and the names-of-classification-items of (c-2-1-2) in the case of backward reasoning, and said candidates of the rules-for-reasoning are retrieved from the basis comprising the data selected from the group consisting of(c-2-1-3-1) the plurality of keys described using means for storing data used as rules, (c-2-1-3-2) the plurality of keys described using the means for storing data about instances of solving problems, and, (c-2-1-3-3) the plurality of keys described using means for describing a function used as a rule, are used,
(c-2-1-4) means for picking up only the rules-for-reasoning from the candidates of the rules-for-reasoning got in the retrieval of (c-2-1-3) wherein out of the candidates of the rules-for-reasoning, only(c-2-1-4-1) the rules whose presupposition is derived from the presupposition of the hypothetical proposition that is the target of the present step of opportunistic reasoning, by using the
(c-2-1-4-1-1) means for carrying out sentence based object-oriented hypothetical syllogism are picked out as the rules-for-reasoning, in the case of forward reasoning, and, only(c-2-1-4-2) the rules from whose consequence, the consequence of the hypothetical proposition that is the target of the present step of opportunistic reasoning is derived by using the
(c-2-1-4-2-1) means for carrying out sentence based object-oriented hypothetical syllogism, are picked out as the rules-for-reasoning, in the case of backward reasoning, and, said means for picking up only the rules-for-reasoning from the candidates of the rules-for-reasoning got in the retrieval of (c-2-1-3) is defined by using the(c-2-1-4-3) means for carrying out sentence based object-oriented hypothetical syllogism the procedure of which is defined on the basis of the
(c-2-1-4-3-1) means for carrying out sentence based object-oriented categorical syllogism wherein as the basis on which the sentence based object-oriented categorical syllogism is carried out,(c-2-1-4-3-1-1) said ideal thesaurus, (c-2-1-4-3-1-2) said ideal classification table, and, (c-2-1-4-3-1-3) said hypothetical proposition which is the target of the present step of opportunistic reasoning, are used, and,
(c-2-1-5) means for retrieving directly the rules-for-reasoning wherein as the basis from which the rules-for-reasoning are retrieved, data selected from the group consisting of(c-2-1-5-1) the plurality of keys described using means for storing data used as rules, (c-2-1-5-2) the plurality of keys described using the means for storing data about instances of solving problems, and, (c-2-1-5-3) the plurality of keys described using means for describing a function used as a rule are used, to retrieve rules-for-reasoning, whose presupposition is derived by using the (c-2-1-5-4) means for carrying out sentence based object-oriented hypothetical syllogism from the presupposition of the (c-2-1-5-5) hypothetical proposition which is the target of the present step of opportunistic reasoning, in the case of forward reasoning, and, to retrieve rules-for-reasoning, from whose consequence, the consequence of the (c-2-1-5-6) hypothetical proposition which is the target of the present step of opportunistic reasoning is derived by using the (c-2-1-5-7) means for carrying out sentence based object-oriented hypothetical syllogism, in the case of backward reasoning, wherein the procedure for the means for carrying out sentence based object-oriented hypothetical syllogism is defined on the basis of the (c-2-1-5-8) means for carrying out sentence based object-oriented categorical syllogism, wherein as the basis on which the sentence based object-oriented categorical syllogism is carried out,
(c-2-1-5-8-1) said ideal thesaurus,
(c-2-1-5-8-2) said ideal classification table, and,
(c-2-1-5-8-3) said hypothetical proposition which is the target of the present step of opportunistic reasoning, are used,(c-2-2) means for avoiding combinatorial explosion when too many number of said rules-for-reasoning are retrieved wherein means selected from the group consisting of,
(c-2-2-1) means for narrowing down the target descriptors,
(c-2-2-2) means for narrowing down the target names-of-classification-items and
(c-2-2-3) means for fusing propositions, are used, and then, the rules-for-reasoning are retrieved again,(c-2-3) means for making more exhaustive retrieval when too less number of said rules-for-reasoning are retrieved wherein means selected from the group consisting of,
(c-2-3-1) means for broadening out the target descriptors and
(c-2-3-2) means for broadening out the target names-of-classification-items, are used, and then, the rules-for-reasoning are retrieved again, and,(c-2-4) means for determining the hypothetical propositions that are to be used as the target of the next step of opportunistic reasoning, as the basis from which said hypothetical propositions which are to be used as the target of the next step of opportunistic reasoning are retrieved, data selected from the group consisting of
(c-2-4-1) said rules-for-reasoning, and,
(c-2-4-2) said hypothetical proposition which is the target of the present step of opportunistic reasoning, are used, whereby, said object-oriented knowledge base system processes not only rules and questions written as mathematically well defined equations but also rules and questions written as English sentences written in sentence pattern of one of five basic sentence patterns of English grammar, and gives answers not only written as mathematically well defined equations but also written as English sentences written in sentence pattern of one of five basic sentence patterns of English grammar.
-
-
-
16. An object-oriented knowledge base system implemented in a digital computer comprising
(a) a digital computing system; -
(b) A means for storing data used for said digital computer system in which a set selected from the group consisting of the universal set and the subsets, of a plurality of data which constitute an object-oriented knowledge base system is stored, and, (c) an input device, used for said digital computer system, in said object-oriented knowledge base system comprising;
(d) an object-oriented knowledge base whose body of information includes data selected from the group consisting of (d-1) an ideal thesaurus in which hierarchy of nouns is stored, comprising (d-1-1) a plurality of keys described using means for storing data of ideal thesaurus, in which a noun with broader meaning is described as a broader descriptor, and a noun with narrower meaning is described as a narrower descriptor, (d-2) an ideal classification table in which hierarchy of verbs is recorded, comprising (d-2-1) a plurality of keys described using means for storing data of classification table, in which a verb with broader meaning is described as a higher class name-of-classification-item and a verb with narrower meaning is described as a lower class name-of-classification-item, and, (d-3) a popularity of rules described by using keys comprising (d-3-1) a plurality of keys described using means for storing data used as rules, (e) an object-oriented knowledge base management system whose body of information includes data selected from the group consisting of (e-1) an ideal dictionary wherein lexical definition of verbs and nouns are given by using keys selected from the group consisting of (e-1-1) a plurality of keys described using means for storing data that define objects, for giving the lexical definition of an ideal noun, (e-1-2) a plurality of keys described using means for implementation of algorithms-of-processes, for giving the lexical definition of an ideal verb, and, (e-1-3) a plurality of keys described using means for describing the function of a verb, for giving the lexical definition of an ideal verb, (e-2) means for giving definition of broader descriptor and narrower descriptor, coupled to said object-oriented knowledge base, for constructing the hierarchy of nouns in said ideal thesaurus wherein as the basis on which said definition of broader descriptor and narrower descriptor is given, (e-2-1) the plurality of keys described using means for storing data that define objects, are used, and, (e-3) means for giving definition of higher class algorithm-of-process and lower class algorithm-of-process, coupled to said object-oriented knowledge base, for constructing the hierarchy of verbs in said ideal classification table wherein as the basis on which said definition of higher class algorithm-of-process and lower class algorithm-of-process is given, (e-3-1) the plurality of keys described using means for implementation of algorithms-of-processes, are used, and, (f) means for carrying out a inference, coupled to said object-oriented knowledge base wherein (f-1) means for carrying out sentence based object-oriented categorical syllogism is used wherein as the basis on which the sentence based object-oriented categorical syllogism is carried out, (f-1-1) said ideal thesaurus, and (f-1-2) said ideal classification table, are used, whereby, said object-oriented knowledge base system processes not only rules and questions written as mathematically well defined equations but also rules and questions written as English sentences written in sentence pattern of one of five basic sentence patterns of English grammar. - View Dependent Claims (17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30)
(a) a plurality of keys described using means for storing the list of lexical meanings of a natural word. -
18. The object-oriented knowledge base system implemented in a digital computer of claim 16 wherein said keys described using means for storing data used as rules comprises a plurality of keys described according to
(a) means for describing sentences according to a simple English grammar. -
19. The object-oriented knowledge base system implemented in a digital computer of claim 16 wherein said means for giving definition of higher class algorithm-of-process and lower class algorithm-of-process includes
(a) means for making more specific meaning of a verb from that of a verb whose meaning is more general. -
20. The object-oriented knowledge base system implemented in a digital computer of claim 16 wherein further
(a) means for fusing propositions, which prevents a combinatorial explosion, is used during carrying out said means for carrying out a inference. -
21. The object-oriented knowledge base system implemented in a digital computer of claim 16 wherein
(a) means for storing data that strictly define objects, is used as said means for storing data that define objects. -
22. The object-oriented knowledge base system implemented in a digital computer of claim 16 wherein
(a) means for storing data of ideal thesaurus in a formal way is used as said means for storing data of ideal thesaurus. -
23. The object-oriented knowledge base system implemented in a digital computer of claim 16 wherein
(a) means for storing data of classification table in a formal way is used as said means for storing data of classification table. -
24. The object-oriented knowledge base system implemented in a digital computer of claim 16 wherein
(a) means for storing data used as rules in a formal way is used as said means for storing data used as rules. -
25. The object-oriented knowledge base system implemented in a digital computer of claim 16 wherein
(a) means for storing data about instances of solving problems is used as said means for storing data used as rules. -
26. The object-oriented knowledge base system implemented in a digital computer of claim 16 wherein
(a) means for describing a function used as a rule is used as said means for storing data used as rules. -
27. The object-oriented knowledge base system implemented in a digital computer of claim 26 wherein as the name of the function of claim 26, a name selected from the group consisting of
(a) the name of a subroutine, (b) the name of a computer program, and, (c) the name of an unit operation described in a manual is used. -
28. The object-oriented knowledge base system implemented in a digital computer of claim 16 wherein the body of information of said object-oriented knowledge base further includes
(a) data comprising (a-1) a plurality of keys described using means for storing data providing the ability of association. -
29. The object-oriented knowledge base system implemented in a digital computer of claim 28 wherein
(a) means for storing data providing the ability of association in a strict way is used as said means for storing data providing the ability of association. -
30. The object-oriented knowledge base system implemented in a digital computer of claim 16, in said object-oriented knowledge base system comprising:
-
(a) the object-oriented knowledge whose body of information includes data selected from the group consisting of (a-1) the ideal thesaurus in which hierarchy of nouns is stored, comprising (a-1-1) the plurality of keys described using means for storing data of ideal thesaurus, in which a noun with broader meaning is described as a broader descriptor, and a noun with narrower meaning is described as a narrower descriptor, (a-2) the ideal classification table in which hierarchy of verbs is recorded, comprising (a-2-1) the plurality of keys described using means for storing data of classification table, in which a verb with broader meaning is described as a higher class name-of-classification-item and a verb with narrower meaning is described as a lower class name-of-classification-item, (a-3) data comprising (a-3-1) the plurality of keys described using the means for storing data providing the ability of association, and, (a-4) the rules described by using keys selected from the group consisting of (a-4-1) the plurality of keys described using means for storing data used as rules, wherein the
(a-4-1-1) means for describing sentences according to a simple English grammar, is used, and,(a-4-2) the plurality of keys described using the means for storing data about instances of solving problems, (b) the object-oriented knowledge management system whose body of information includes data selected from the group consisting of (b-1) the ideal dictionary wherein lexical definition of verbs and nouns are given by using keys selected from the group consisting of (b-1-1) the plurality of keys described using means for storing the list of lexical meanings of a natural word, (b-1-2) the plurality of keys described using means for storing data that define objects, for giving the lexical definition of an ideal noun, (b-1-3) the plurality of keys described using means for implementation of algorithms-of-processes, for giving the lexical definition of an ideal verb, and, (b-1-4) the plurality of keys described using means for describing the function of a verb is used, for giving the lexical definition of an ideal verb, (b-2) the means for giving definition of broader descriptor and narrower descriptor, coupled to said object-oriented knowledge base, for constructing the hierarchy of nouns in said ideal thesaurus wherein as the basis on which said definition of broader descriptor and narrower descriptor is given, (b-2-1) the plurality of keys described using means for storing data that define objects, are used, and, (b-3) the means for giving definition of higher class algorithm-of-process and lower class algorithm-of-process, coupled to said object-oriented knowledge base, for constructing the hierarchy of verbs in said ideal classification table wherein as the basis on which said definition of higher class algorithm-of-process and lower class algorithm-of-process is given, (b-3-1) the plurality of keys described using means for implementation of algorithms-of-processes, are used, and, (c) the means for carrying out a inference, coupled to said object-oriented knowledge base wherein as the style of the reasoning, (c-1) an opportunistic reasoning is adopted, wherein reasoning selected from the group consisting of (c-1-1) forward reasoning and (c-1-2) backward reasoning is carried out in each step of said opportunistic reasoning and, the aim of each step of said opportunistic reasoning is to try to logically prove (c-1-3) a hypothetical proposition that is the target of the present step of opportunistic reasoning, said hypothetical proposition which is the target of the present step of opportunistic reasoning having a presupposition and a consequence, and, (c-2) each step of said opportunistic reasoning comprises set of means selected from the group consisting of, (c-2-1) means for getting rules-for-reasoning,
(c-2-1-0) said rules-for-reasoning equals to(c-2-1-0-1) hypothetical propositions to be used in forward reasoning in the case of forward reasoning, said hypothetical propositions to be used in forward reasoning having a presupposition and a consequence, and equal to (c-2-1-0-2) hypothetical propositions to be used in backward reasoning in the case of backward reasoning, said hypothetical propositions to be used in backward reasoning having a presupposition and a consequence wherein algorithms selected from the group consisting of,
(c-2-1-1) means for getting descriptors that are used to make a query to get the candidates of the rules-for-reasoning comprising(c-2-1-1-1) means for making a list of descriptors ranked in order of hit frequency wherein
(c-2-1-1-1-1) the descriptors in said list are ones associated with(c-2-1-1-1-1-1) a natural word which characterizes the presupposition of said hypothetical proposition that is the target of the present step of opportunistic reasoning in the case of forward reasoning, and (c-2-1-1-1-1-2) a natural word which characterizes the consequence of said hypothetical proposition that is the target of the present step of opportunistic reasoning in the case of backward reasoning, and,
(c-2-1-1-1-2) as the basis from which the descriptors which are to be used to make(c-2-1-1-1-2-1) a query to get the candidates of the rules-for-reasoning, are fetched, the data selected from the group consisting of (c-2-1-1-1-2-2) the plurality of keys described using means for storing data providing the ability of association, (c-2-1-1-1-2-3) the plurality of keys described using means for storing the list of lexical meanings of a natural word, and, (c-2-1-1-1-2-4) other plurality of keys in said object-oriented knowledge base, are used,
(c-2-1-2) means for getting the names-of-classification-items that are used to make said query to get the candidates of the rules-for-reasoning comprising(c-2-1-2-1) means for making a list of names-of-classification-items ranked in order of hit frequency wherein
(c-2-1-2-1-1) the names-of-classification-items in said list are ones associated with(c-2-1-2-1-1-1) a natural word which characterizes the presupposition of said hypothetical proposition that is the target of the present step of opportunistic reasoning in the case of forward reasoning, and, (c-2-1-2-1-1-2) a natural word that characterizes the consequence of said hypothetical proposition which is the target of the present step of reasoning in the case of backward reasoning, and,
(c-2-1-2-1-2) as the basis from which the names-of-classification-items that are to be used to make(c-2-1-2-1-2-1) said query to get the candidates of the rules-for-reasoning, are fetched, the data selected from the group consisting of (c-2-1-2-1-2-2) the plurality of keys described using means for storing data providing the ability of association, (c-2-1-2-1-2-3) the plurality of keys described using means for storing the list of lexical meanings of a natural word, and, (c-2-1-2-1-2-4) other plurality of keys in said object-oriented knowledge base, are used,
(c-2-1-3) a retrieval of the candidates of the rules-for-reasoning using said query selected from the group consisting of the query of (c-2-1-1) and the query of (c-2-1-2) wherein said candidates of the rules-for-reasoning is a hypothetical proposition, whose presupposition is hit upon during a Boolean search using the descriptors of (c-2-1-1) and the names-of-classification-items of (c-2-1-2) in the in the case of forward reasoning and whose consequence is hit upon during a Boolean search using the descriptors of (c-2-1-1) and the names-of-classification-items of (c-2-1-2) in the case of backward reasoning, and said candidates of the rules-for-reasoning are retrieved from the basis comprising the data selected from the group consisting of(c-2-1-3-1) the plurality of keys described using means for storing data used as rules, (c-2-1-3-2) the plurality of keys described using the means for storing data about instances of solving problems, and, (c-2-1-3-3) the plurality of keys described using means for describing a function used as a rule, are used,
(c-2-1-4) means for picking up only the rules-for-reasoning from the candidates of the rules-for-reasoning got in the retrieval of (c-2-1-3) wherein out of the candidates of the rules-for-reasoning, only(c-2-1-4-1) the rules whose presupposition is derived from the presupposition of the hypothetical proposition that is the target of the present step of opportunistic reasoning, by using
(c-2-1-4-1-1) means for carrying out sentence based object-oriented hypothetical syllogism are picked out as the rules-for-reasoning, in the case of forward reasoning, and, only(c-2-1-4-2) the rules from whose consequence, the consequence of the hypothetical proposition that is the target of the present step of opportunistic reasoning is derived by using the
(c-2-1-4-2-1) means for carrying out sentence based object-oriented hypothetical syllogism, are picked out as the rules-for-reasoning, in the case of backward reasoning, and, said means for picking up only the rules-for-reasoning from the candidates of the rules-for-reasoning got in the retrieval of (c-2-1-3) is defined by using the(c-2-1-4-3) means for carrying out sentence based object-oriented hypothetical syllogism the procedure of which is defined on the basis of the
(c-2-1-4-3-1) means for carrying out sentence based object-oriented categorical syllogism wherein as the basis on which the sentence based object-oriented categorical syllogism is carried out,(c-2-1-4-3-1-1) said ideal thesaurus, (c-2-1-4-3-1-2) said ideal classification table, and, (c-2-1-4-3-1-3) said hypothetical proposition which is the target of the present step of opportunistic reasoning, are used, and,
(c-2-1-5) means for retrieving directly the rules-for-reasoning wherein as the basis from which the rules-for-reasoning are retrieved, data selected from the group consisting of(c-2-1-5-1) the plurality of keys described using means for storing data used as rules, (c-2-1-5-2) the plurality of keys described using the means for storing data about instances of solving problems, and, (c-2-1-5-3) the plurality of keys described using means for describing a function used as a rule, are used, to retrieve rules-for-reasoning, whose presupposition is derived by using the (c-2-1-5-4) means for carrying out sentence based object-oriented hypothetical syllogism from the presupposition of the (c-2-1-5-5) hypothetical proposition which is the target of the present step of opportunistic reasoning, in the case of forward reasoning, and, to retrieve rules-for-reasoning, from whose consequence, the consequence of the (c-2-1-5-6) hypothetical proposition which is the target of the present step of opportunistic reasoning is derived by using the (c-2-1-5-7) means for carrying out sentence based object-oriented hypothetical syllogism, in the case of backward reasoning wherein the procedure for means for carrying out sentence based object-oriented hypothetical syllogism is defined on the basis of (c-2-1-5-8) means for carrying out sentence based object-oriented categorical syllogism wherein as the basis on which the sentence based object-oriented categorical syllogism is carried out,
(c-2-1-5-8-1) said ideal thesaurus,
(c-2-1-5-8-2) said ideal classification table, and,
(c-2-1-5-8-3) said hypothetical proposition which is the target of the present step of opportunistic reasoning, are used,(c-2-2) means for avoiding combinatorial explosion when too many number of said rules-for-reasoning are retrieved wherein means selected from the group consisting of,
(c-2-2-1) means for narrowing down the target descriptors,
(c-2-2-2) means for narrowing down the target names-of-classification-items and
(c-2-2-3) means for fusing propositions, are used, and then, the rules-for-reasoning are retrieved again,(c-2-3) means for making more exhaustive retrieval when too less number of said rules-for-reasoning are retrieved wherein means selected from the group consisting of,
(c-2-3-1) means for broadening out the target descriptors and
(c-2-3-2) means for broadening out the target names-of-classification-items, are used, and then, the rules-for-reasoning are retrieved again, and,(c-2-4) means for determining the hypothetical propositions that are to be used as the target of the next step of opportunistic reasoning, as the basis from which said hypothetical propositions which are to be used as the target of the next step of opportunistic reasoning are retrieved, data selected from the group consisting of
(c-2-4-1) said rules-for-reasoning, and,
(c-2-4-2) said hypothetical proposition which is the target of the present step of opportunistic reasoning, are used, whereby, said object-oriented knowledge base system processes not only rules and questions written as mathematically well defined equations but also rules and questions written as English sentences written in sentence pattern of one of five basic sentence patterns of English grammar, and gives answers not only written as mathematically well defined equations but also written as English sentences written in sentence pattern of one of five basic sentence patterns of English grammar.
-
-
-
31. A method of constructing an object-oriented knowledge base system comprising
(a) providing an object-oriented knowledge base whose body of information is given by using the method selected from the group consisting of (a-1) giving an ideal thesaurus in which hierarchy of nouns is stored, by using the method comprising (a-1-1) describing a plurality of keys using means for storing data of ideal thesaurus, in which a noun with broader meaning is described as a broader descriptor, and a noun with narrower meaning is described as a narrower descriptor, (a-2) giving an ideal classification table in which hierarchy of verbs is recorded, by using the method comprising (a-2-1) describing a plurality of keys using means for storing data of classification table, in which a verb with broader meaning is described as a higher class name-of-classification-item and a verb with narrower meaning is described as a lower class name-of-classification-item, and, (a-3) giving rules by (a-3-1) describing a plurality of keys using means for storing data used as rules, (b) providing an object-oriented knowledge base management system whose body of information is given by using the method selected from the group consisting of (b-1) giving an ideal dictionary wherein as the method to give lexical definition of verbs and nouns the method selected from the group consisting of (b-1-1) describing a plurality of keys using means for storing data that define objects, for giving the lexical definition of an ideal noun, (b-1-2) describing a plurality of keys using means for implementation of algorithms-of-processes, for giving the lexical definition of an ideal verb, and, (b-1-3) describing a plurality of keys using means for describing the function of a verb, for giving the lexical definition of an ideal verb, are used, (b-2) using means for giving definition of broader descriptor and narrower descriptor for constructing the hierarchy of nouns in said ideal thesaurus, by, (b-2-1) using the plurality of keys described using means for storing data that define objects, as the basis on which said definition of broader descriptor and narrower descriptor is given, (b-3) using means for giving definition of higher class algorithm-of-process and lower class algorithm-of-process, for constructing the hierarchy of verbs in said ideal classification table, by, (b-3-1) using the plurality of keys described using means for implementation of algorithms-of-processes, as the basis on which said definition of higher class algorithm-of-process and lower class algorithm-of-process is given, and, (c) using a means for carrying out a inference, by (c-1) using means for carrying out sentence based object-oriented categorical syllogism wherein (c-1-1) using said ideal thesaurus, and (c-1-2) using said ideal classification table, as the basis on which the sentence based object-oriented categorical syllogism is carried out, whereby, said object-oriented knowledge base system processes not only rules and questions written as mathematically well defined equations but also rules and questions written as English sentences written in sentence pattern of one of five basic sentence patterns of English grammar.
- 46. An object-oriented knowledge base system in the inference mechanism of which means for carrying out sentence based object-oriented categorical syllogism is used.
Specification