Plural processor inferencing system and method

Claim 2

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.

Claim 3

The inference processing system as claimed in claim 1, wherein each of said processors includes means for specifying an output link name and an output marker in the table and for specifying linking information according to the inputted goal when only a goal is inputted from said external unit, and including means for sending the goal and the specified output marker to links having the specified output link name.

Claim 4

The inference processing system as claimed in claim 1, wherein the tables stored in each of said processors are specified respectively by the goals to be given thereto, and each of the tables holds the names of input links and input markers to be referred when a goal and a marker are given to the table and holds the names of output links and output markers to be outputted corresponding to the input link names and input markers.

Claim 5

The inference processing system as claimed in claim 1, wherein each of said processors includes means for storing tables prepared for respective goals to be given thereto, each of the tables holding the 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 the positions of the output links to follow with respect to solutions.

Claim 6

The inference processing system as claimed in claim 1, wherein said connecting means comprise two-way connecting passages for connecting the processors in parallel.

Claim 7

The inference processing system as claimed in claim 1, wherein the linking information stored in each of said processors indicates all the links connected to a node for which a corresponding one of said processors is assigned.

Claim 8

The inference processing system as claimed in claim 1, wherein the external unit comprises a host computer.

Claim 9

The inference processing system as claimed in claim 1, wherein each of the tables stored in each of said processors includes a set of link names and markers for input and a set of link names and markers for output, the set for input and the set for output of the link names and markers being able to be inverted to realize two-way characteristics.

Claim 10

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.

Claim 11

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.

Claim 12

The inference processing system as claimed in claim 9, wherein said connecting means comprise two-way connecting passages for connecting the processors in parallel.

Claim 13

The inference processing system as claimed in claim 9, wherein the linking information stored in each of said processors indicates all the links connected to a node for which a corresponding one of said processors is assigned.

Claim 14

The inference processing system as claimed in claim 9, wherein the external unit comprises a host computer.

Claim 15

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 then sending the goal and the specified output marker to links having the specified output link name, thereby carrying out parallel inference processing.

Claim 16

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 then sending the goal and the specified output marker to links having the specified output link name, thereby carrying out parallel inference processing.

Claim 17

The inference processing method as claimed in claim 13, wherein, when only a goal is inputted into a processor from the external unit, an output link name and an output marker are specified in the corresponding table and linking information is specified according to the inputted goal, and the goal and the specified output marker are sent to links having the specified output link names.

Claim 18

The inference processing method as claimed in claim 13, wherein each of the tables are specified by the goals to be given thereto and each processor holds the names of input links and input markers to be referred to when a goal and a marker are given to the table and holds the names of output links and output markers to be outputted corresponding to the input links and the input markers.

Claim 19

The inference processing method as claimed in claim 13, wherein each of said processors stores tables prepared for respective goals to be given thereto, and each of the tables holds the names and output links to follow when at least a goal corresponding to the table is inputted thereto as well as output markers for specifying the positions of the output links to follow with respect to the solutions.

Claim 20

The inference processing method as claimed in claim 13, wherein the linking information stored in each processor indicates all the links connected to a node for which a corresponding one of said processors is assigned.

Claim 21

The inference processing method as claimed in claim 13, wherein each of the tables includes a set of link names and markers for input and a set of link names and markers for output, the markers being capable of being inverted to realize two-way characteristics.