Compile type knowledge processing tool, a high-speed inference method therefor and a system using the tool

A compile type knowledge processing system, comprising:

• a processor having means for generating instructions, means for executing instructions, and N registers, including first to sixth registers, a stack pointer register, and a plurality of slot registers;
• a knowledge base including a plurality of sets, each set having a rule and a frame, said rule including a condition part, expressing a condition of applying the rule according to a variable and representing renewal of a frame slot of an indicated frame and an execution part, said frame including M slots;
• and
• a memory unit including:
• (a) a first area storing said knowledge base;
• (b) a second area storing a machine language instruction generated by compiling a rule and a fact of said knowledge base;
• (c) a third area serving as a stack in an execution of machine language instructions;
• and
• (d) a fourth area storing a conflict set table, a conflict set control table, a rule execution part table, and a rule condition part table;
• wherein said means for generating instructions includes means for generating pattern-match instructions including conflict-resolution instructions, rule-execution-part instructions, rule-control instructions, rule-condition-part instructions, frame-control instructions and frame instructions, said rule-condition-part instruction including a conflict-set-delete instruction, a matching decision instruction, a conflict-set-add instruction and a rule/frame control instruction;
• and
• wherein said means for executing instructions comprises:
• (a) means responsive to a first conflict-resolution instruction for reading a time tag from said conflict set table via said conflict set control table indexed uniquely with a rule number to select a rule established under a most recent time tag, responsive to a second conflict-resolution instruction for transferring a value of a variable appearing in said execution part, responsive to a third conflict-resolution instruction for transferring a return address to said sixth register and responsive to a conflict resolution branch instruction for referring to said rule execution part table indexed with said rule number to branch to an instruction in said rule execution part corresponding to said rule number;
• (b) means responsive to a first rule-execution-part instruction for updating a value of a time tag of said indicated frame, responsive to a second rule-execution-part instruction for transferring an instruction code address of said frame to said fourth register and responsive to a rule-execution-part branch instruction for referring to said rule condition part table indexed with a number of said frame to branch an address stored at an entry in said rule condition part table;
• (c) means responsive to a rule-control create-RCB R1 instruction for storing contents of said fourth and sixth registers and an address of a next instruction and, thereafter, branching to said rule-condition-part instruction, responsive to a rule-control modify-RCB R2 instruction for restoring contents of said third area into said fourth and sixth registers and storing said next instruction address to branch a code address of said rule-condition-part instruction and, responsive to a rule-control instruction for restoring said contents of said third area into said fourth and sixth registers and updating contents of said stack pointer register to branch to a code address of said rule-condition-part instruction;
• (d) means responsive to a conflict-set-delete instruction, including an instruction code, for deleting a time tag indicated with said third register from a conflict set table of said conflict set control table;
• (e) means responsive to a first matching decision instruction for transferring a class name of said frame indicated with said condition part, responsive to a second matching decision instruction for transferring a frame name of said frame to said second register, and means responsive to a matching decision compare instruction for comparing a value of a K-th slot indicated for matching in said condition part with contents of a K-th slot register;
• (f) means responsive to a conflict-set-add instruction for adding contents of said third register to said conflict set table;
• (g) means responsive to a rule/frame control instruction for reading contents of an address indicated with said stack pointer register to branch to an address indicated with said contents;
• (h) means responsive to a frame-control create-frame F1 instruction for storing contents of said first, second and sixth registers into said third area and, thereafter, branching to a code address of said frame instruction, responsive to a frame-control modify-frame F2 instruction for restoring contents of said third into said fourth and sixth registers and an address of a next instruction and, thereafter, branching to said frame-instruction code address, and responsive to a frame-control delete-frame F3 instruction for restoring said contents of said third area into said fourth and sixth registers and updating contents of said stack pointer register to branch to a code address of said frame instruction;
• and
• (i) means responsive to a first frame instruction for transferring a class name of said frame to said first register, responsive to a second frame instruction for transferring a frame name of said frame to said second register, responsive to a third frame instruction for transferring an address of a time tag of said frame to said third register, responsive to a fourth frame instruction for transferring an i-th slot value of said frame to an i-th slot register and responsive to a fifth frame instruction for branching to an address indicated with said sixth register.