Clause counter map inference engine

Details Clause counter map inference engine Clause counter map inference engine

1992-01-02

1993-07-20

MacDonald, Allen R.

Boots, shoes, and leggings

395 61, 395903, 395904, 395906, 364148, G06F 900

Patent

active

052300617

ABSTRACT:
The invention describes a clause counter map inference engine which is an interpreter method based upon the Boolean form, in which Boolean inference is directly assisted by a programmable data structure. The system provides a translation of a series of Boolean logic functions into a compact map representation, which may then be used for Boolean inference by means of an interpreter algorithm or inference engine adapted to update function values based upon any changed input value. The invention provides a rule-based model for logical control systems having an imbeddable, event-chaining inference engine which is independent of the rule-based model. The time to complete a scan cycle of the system depends directly upon the number of inferences in an up-date interval between input and output variable changes, and the lengths of inference chains of events in the logic. The clause counter map inference engine generally provides a method of implementing logical functions where inferencing is at an optimum, thereby reducing inference processing time and providing a system which may take the place of other on-line control methods for implementation of a PLC, and also may be applied to expert and knowledge-based decision systems which utilize logic programming and rule search methods.

REFERENCES:
patent: 4918620 (1990-04-01), Ulug
patent: 5051923 (1991-09-01), Tsukagoshi
patent: 5119318 (1992-06-01), Paradies et al.
Holt et al, "Fundamentals of Structured Programming Using Fortran with SF/k and WATFIV-S", Reston Publishing, 1977, pp. 59, 177.

Affiliated with

Also associated with

Rating

Clause counter map inference engine does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Clause counter map inference engine, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Clause counter map inference engine will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-1767399