Inference processing method and apparatus

Details Inference processing method and apparatus Inference processing method and apparatus

1993-11-03

1995-06-06

Downs, Robert W.

395 51, 395 75, G06F 944

Patent

active

054229804

ABSTRACT:
A storage area for holding instantiation is provided together with a work area in order to rapidly generate a conflict set. When a condition of a rule is met, the instantiation of the rule is stored in the storage area in a form of data structure. The instantiation having an element whose attribute has been modified in an execution part of the rule is deleted from the conflict set.

REFERENCES:
patent: 4628434 (1986-12-01), Tashiro et al.
patent: 4648044 (1987-03-01), Hardy et al.
patent: 4748439 (1988-05-01), Robinson et al.
patent: 4803641 (1989-02-01), Hardy et al.
patent: 4839822 (1989-06-01), Dormond et al.
patent: 4847784 (1989-07-01), Clancey
Forgy, "Rete: A Fast Algorithm for the Many Pattern/Many Object Pattern Match Problem", Artificial Intelligence 19 (1982) pp. 17-37.
Schor et al., "Advances in Rete Pattern Matching", Uncertainty and Expert Systems, 1986, pp. 226-232.
Winston et al., "Expert Problem Solving Using Rules and Streams", LISP, 1984, pp. 269-284.
Warren, "An Abstract Prolog Instruction Set," SRI International Technical Note No. 309, 1983, 1-30.
Abe, et al., "A New Optimization Technique for a Prolog Compiler," Compcon 86, Mar. 1986, 241-245.
Shintani, T., "An Approach to Speeding Up the Prolog-based Inference Engine KORE/IE," Proc. 6th Conf. on Logic Programming, Jun. 1987, 284-297.
Debray, S., "Register Allocation in a Prolog Machine," Proc. 1986 Symp. on Logic Programming, Sep. 1986, 267-275.

Affiliated with

Also associated with

Rating

Inference processing method and apparatus does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Inference processing method and apparatus, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Inference processing method and apparatus will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-993585