Efficient nonmonotonic reasoning apparatus and methods

Details Efficient nonmonotonic reasoning apparatus and methods Efficient nonmonotonic reasoning apparatus and methods

1994-05-02

1995-08-29

MacDonald, Allen R.

395 55, 395 75, 395 76, 395 77, G06F 944

Patent

active

054468302

ABSTRACT:
The use of nonmonotonic or "common sense" reasoning has often been advocated to speed up reasoning systems. The difficulty has always been that nonmonotonic reasoning requires consistency checks, which are even more computationally intractable than the monotonic reasoning normally used in reasoning systems. Disclosed herein are methods and apparatus for making consistency checks tractable by performing them over a limited context using fast sufficient consistency checks. The results are approximate, but approximate results are expected in nonmonotonic reasoning. Included in the disclosure are techniques for selecting the limited context and making the fast sufficient consistency checks and a default reasoner which employs the techniques to check the consistency of a default conclusion with a limited context.

REFERENCES:
patent: 4650370 (1987-04-01), Erman et al.
patent: 4675829 (1987-06-01), Clemenson
patent: 5167012 (1992-11-01), Hayes et al.
Elgot-Drapkin, et al, Proceedings Of The 1987 Workshop On The Frame Problem In Artificial Intelligence, "Life on a Desert Island: Ongoing Work on Real-Time Reasoning", pp. 349-357 (1987), Lawrence, Ks.
D. Perlis, Proceedings of the First International Workshop on Monmonotonic Reasoning, "Nomonotonicity and Real-Time Reasoning", pp. 363-372, (1984) New Paltz, N.Y.
Etherington, et al, International Journal of Expert Systems Research a nd Applications, "Limited Scope and Circumscriptive Reasoning", pp. 207-217, vol. 3, No. 3 (1990), USA.

Affiliated with

Also associated with

Rating

Efficient nonmonotonic reasoning apparatus and methods does not yet have a rating. At this time, there are no reviews or comments for this patent.

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

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-1826236