Plural processor inferencing system and method
First Claim
1. An inference processing system for finding solutions to a goal given by an external unit by matching the goal with certain facts expressed in the form of a semantic network composed of nodes and links that connect the nodes to each other, comprising:
- a plurality of processors provided for the nodes of the semantic network respectively, each of said processors having means for storing tables prepared for respective goals to be given and for storing linking information related to links connected to a corresponding one of the nodes, each of the tables storing names of output links to follow when at least a goal corresponding to the table is inputted thereto as well as output markers for specifying kinds of the output links; and
connecting means for connecting said processors to each other according to the links of the semantic network,each of said processors including means for specifying, when a goal and a marker are inputted thereto from the other of said processors through said connecting means, an output link name and an output marker in the tables and for specifying linking information according to the inputted goal and marker, and for sensing the goal and specified output marker to links having the specified output link name, thereby carrying out parallel inference processing.
1 Assignment
0 Petitions
Accused Products
Abstract
An inference processing system comprises a plurality of processors assigned for nodes of a semantic network respectively to carry out parallel processing. Each of the processors stores tables and linking information. The tables are made by arranging rules and prepared for goals respectively. Each table contains the names of links to follow when a certain goal is given and markers for specifying the kinds of the links. In the table, the link names and markers are set as outputs with respect to the given goal as an input. The linking information contains information of links connected to a node for which a corresponding one of the processors is assigned. When the goal and a marker are inputted to any one of the processors, the processor finds an output marker and output links in the tables and linking information and outputs the output marker to the output links, thus achieving an inference process.
-
Citations
18 Claims
-
1. An inference processing system for finding solutions to a goal given by an external unit by matching the goal with certain facts expressed in the form of a semantic network composed of nodes and links that connect the nodes to each other, comprising:
-
a plurality of processors provided for the nodes of the semantic network respectively, each of said processors having means for storing tables prepared for respective goals to be given and for storing linking information related to links connected to a corresponding one of the nodes, each of the tables storing names of output links to follow when at least a goal corresponding to the table is inputted thereto as well as output markers for specifying kinds of the output links; and connecting means for connecting said processors to each other according to the links of the semantic network, each of said processors including means for specifying, when a goal and a marker are inputted thereto from the other of said processors through said connecting means, an output link name and an output marker in the tables and for specifying linking information according to the inputted goal and marker, and for sensing the goal and specified output marker to links having the specified output link name, thereby carrying out parallel inference processing. - View Dependent Claims (2, 3, 4, 5, 6, 7, 8)
-
-
9. An inference processing system for finding solutions to a goal given by an external unit by matching the goal with certain facts expressed in the form of a semantic network composed of nodes and links that connect the nodes to each other, comprising:
-
a plurality of processors provided for the node of the semantic network respectively, each of said processors having storage means for storing tables which are identifiable with a goal or a marker from the other of said processors given thereto which include means for storing linking information related to links connected to a corresponding one of the nodes, each of the storage means storing input link names or input markers as well as storing output link names or output markers corresponding to the input link names or the input markers; and connecting means for connecting sid processors to each other according to the links of the semantic network, each of said processors having means for specifying, when a goal and a marker are inputted thereto from the other of said processors through said connecting means, an output link name and an output marker in the tables and for specifying linking information according to the inputted goal and marker, and for sending the goal and specified output marker to links having the specified output link name, each of said processors further including means for specifying, when only a goal is inputted thereto from the external unit, an output link name and an output marker in the tables and for outputting the goal and the specified output marker to links having the specified output link name. - View Dependent Claims (10, 11, 12)
-
-
13. An inference processing method for finding solutions to a goal given by an external unit by matching the goal with certain facts expressed in the form of a semantic network composed of nodes and links that connect the nodes to each other, said method comprising:
-
storing, within each of a plurality of processors provided for the respective nodes of the semantic network, a table prepared for the respective goals to be given and linking information related to links connected to a corresponding one of the nodes, each of the tables storing names of output links to follow when at least a goal corresponding to the table is inputted thereto as well as output markers for specifying kinds of the output links; connecting said processors to each other according to the links of the semantic network; specifying, when a goal and marker are inputted to one of said processors form another of said processors, an output link name and an output marker in the tables and specifying linking information according to the inputted goal and marker; and
thensending the goal and the specified output marker to links having the specified output link name, thereby carrying out parallel inference processing. - View Dependent Claims (14, 15, 16, 17, 18)
-
Specification