Backward chaining with extended knowledge base network
First Claim
1. A computer system comprising:
- a central processor for performing forward chaining and backward chaining;
a memory coupled to the central processor;
a knowledge base forward chaining network in the memory solves a goal by applying a set of known facts to a set of rules until the goal is solved;
an extension of the knowledge based network in the memory created from the knowledge base network; and
the extended network solves the goal by testing the rules that would solve the goal against the set of known facts in a backward chaining manner, wherein the memory comprises an agenda containing rules to be fired for the forward chaining network, and a temporary agenda which may be altered during backward chaining without modification of the agenda.
1 Assignment
0 Petitions
Accused Products
Abstract
Mixed mode inferencing is provided by creating an extension to a RETE network to handle both forward and backward chaining efficiently. The extended RETE network is traversed from a root node through intermediate nodes to the rules of the network. The intermediate nodes contain objects that have values assigned by rules, and the intermediate nodes are linked to those rules appropriately. When using the network in a backward chaining context, rules linked to the intermediate node of interest are checked to see if they are active and the rule is solvable. If not, the related rules are checked. Because the system takes advantage of the previously formed RETE network, these checks can be done at the rule nodes without the need to retest each condition.
40 Citations
30 Claims
-
1. A computer system comprising:
-
a central processor for performing forward chaining and backward chaining; a memory coupled to the central processor; a knowledge base forward chaining network in the memory solves a goal by applying a set of known facts to a set of rules until the goal is solved; an extension of the knowledge based network in the memory created from the knowledge base network; and the extended network solves the goal by testing the rules that would solve the goal against the set of known facts in a backward chaining manner, wherein the memory comprises an agenda containing rules to be fired for the forward chaining network, and a temporary agenda which may be altered during backward chaining without modification of the agenda. - View Dependent Claims (2, 3, 4, 5)
-
-
6. A computer implemented method for extending a knowledge base network comprising:
-
creating a forward chaining knowledge base network by linking a set of conditions to a set of rules in computer memory; creating at least one intermediate node such that each intermediate node corresponds to an object having a value set by one of the rules in computer memory; connecting each intermediate node to each rule that sets the intermediate node'"'"'s object value in computer memory; creating a root node in computer memory; and connecting each intermediate node to the root node such that the root node and intermediate node function as a backward chaining network. - View Dependent Claims (7, 8, 9, 10, 11, 12)
-
-
13. A computer implemented method comprising:
creating an extension of a forward chaining knowledge base network in computer memory solves a goal in a backward chaining manner by applying a set of known facts to a set of rules until the goal is solved, such that the extended network is solves the goal by testing the rules that would solve the goal against the set of known facts such that a working memory for the forward chaining knowledge base network is not disturbed during backward chaining. - View Dependent Claims (14)
-
15. A computer readable medium having a data structure stored thereon for use by a computer for implementing a knowledge base network, the data structure comprising:
-
a forward chaining RETE knowledge base network having multiple nodes, terminal nodes; and an extension of the knowledge base network having multiple intermediate nodes coupled to terminal nodes of the knowledge base network, and having a dummy root node connected to each of the intermediate nodes, wherein the intermediate nodes have object values defined by rules in corresponding terminal nodes, and wherein the dummy root node accepts a goal, and initiates backward chaining utilizing the intermediate nodes.
-
-
16. A system comprising:
-
processing unit; I/O devices coupled to the processing unit; and a memory comprising; a first knowledge base network for forward chaining inferencing; and an extension of the first knowledge base network for backward chaining inferencing. - View Dependent Claims (17, 18, 19, 20, 21, 22, 23, 24)
-
-
25. A computer-controlled system for reasoning a discrimination-oriented knowledge base having objects and rules, the system comprising:
-
means for extending the knowledge base network to provide an augmented knowledge base network; means for storing at least one fact to a working memory (WM) to indicate a current status of the fact in the working memory (WM); means for distributing the current status of the WM across plurality of intermediate nodes of the extended knowledge base network; and means for querying the extended knowledge base network wherein said querying is adapted for backward inferencing about the object with respect to a predetermined goal. - View Dependent Claims (26, 27, 28, 29, 30)
-
Specification