Inference method
First Claim
1. An inference method in a system having a rule memory for storing a group of rules each consisting of a condition part and a conclusion part, a working memory for storing facts, and inference means for deriving facts based on the contents of said rule memory and said working memory, each of said facts representing whether a term is true or false, comprising the steps of:
- determining by matching the contents of said working memory and a term described in the condition part of a rule stored in said rule memory whether said term described in said condition part is true, false, or undeterminable, wherein said determining by matching further includesa sub-step of determining whether the condition part of the rule in said rule memory corresponds to the fact in said working memory, anda sub-step of writing the conclusion part of the rule into said working memory;
determining by backward reasoning based on the content of said working memory and said rule memory, if the determining by matching step determines that the term is undeterminable, whether the condition part of the rule in said rule memory having truth or falsehood of said term as the conclusion part is true or false; and
,inquiring to a user whether the term is true or false, if the rule having as the conclusion part whether the term is true or false, is not in said rule memory.
1 Assignment
0 Petitions
Accused Products
Abstract
In a production system having a memory for storing a group of rules each comprising a condition part and a conclusion part, inference means for inferring by using the group of rules and a working memory, whether a condition part is true or false in the working memory is determined, and if it cannot be determined, a rule having a conclusion part as to whether the fact is true or false is searched, and the conclusion part of the searched rule is used for backward reasoning. If the rule is not found by the search, an inquiry is made to a user.
-
Citations
1 Claim
-
1. An inference method in a system having a rule memory for storing a group of rules each consisting of a condition part and a conclusion part, a working memory for storing facts, and inference means for deriving facts based on the contents of said rule memory and said working memory, each of said facts representing whether a term is true or false, comprising the steps of:
-
determining by matching the contents of said working memory and a term described in the condition part of a rule stored in said rule memory whether said term described in said condition part is true, false, or undeterminable, wherein said determining by matching further includes a sub-step of determining whether the condition part of the rule in said rule memory corresponds to the fact in said working memory, and a sub-step of writing the conclusion part of the rule into said working memory; determining by backward reasoning based on the content of said working memory and said rule memory, if the determining by matching step determines that the term is undeterminable, whether the condition part of the rule in said rule memory having truth or falsehood of said term as the conclusion part is true or false; and
,inquiring to a user whether the term is true or false, if the rule having as the conclusion part whether the term is true or false, is not in said rule memory.
-
Specification