×

Fast method for a bidirectional inference

  • US 5,179,632 A
  • Filed: 12/12/1988
  • Issued: 01/12/1993
  • Est. Priority Date: 12/17/1987
  • Status: Expired due to Fees
First Claim
Patent Images

1. A method of operating a data processor for performing a fast bidirectional inference in a computer system, the method comprising the steps of:

  • (a) transforming, by said data processor, rule condition parts of a set of rules, stored in a memory of said computer system, into a first network comprising;

    i) condition part nodes representative of condition clauses constituting said rule condition parts, ii) a first arc set representative of relations between ones of said condition clauses, iii) forward-root node as an input node of the first network, and iv) first terminal nodes as output nodes of the first network;

    (b) transforming, by said data processor, rule consequence parts of the set of rules into a second network comprising;

    i) second nodes representative of statements constituting said consequence parts of the set of rules, ii) a second arc set representative of relations between ones of said statements, iii) a backward-root node as an input node of the second network, and iv) second terminal nodes as output nodes of the second network;

    (c) forming, by said data processor, a third network by coupling said first and second networks at said first and second terminal nodes;

    (d) forming, by said data processor, a partial bidirectional network by adding to said third network a bidirectional arc on which data flows bidirectionally and a unidirectional arc on which the data flows only unidirectionally;

    (e) performing, by said data processor, the forward inference of said bidirectional inference by applying current data stored in a working memory of said computer system, representative of a status of an object, to said third network from the forward-root node of said first network toward the backward-root node of said second network, and determining if ones of the condition clauses represented by each of said condition part nodes are satisfied; and

    ,(f) performing, by said data processor, the backward inference of said bidirectional inference by applying said current data further to said second network to infer new current data for rules having said satisfied condition clauses.

View all claims
  • 1 Assignment
Timeline View
Assignment View
    ×
    ×