Boots – shoes – and leggings
Patent
1988-12-13
1990-04-17
MacDonald, Allen
Boots, shoes, and leggings
364200, G06F 1518
Patent
active
049186213
ABSTRACT:
In artificial intelligence, a method is provided for representing a directed acyclic graph of worlds using an assumption-based truth maintenance system (ATMS) as a tool. The invention introduces the concepts of a nondeletion assumption and a deletion nogood, in order to allow deletion of an assertion upon transition between worlds. The traditional (de Kleer) ATMS tool is augmented to allow distinction between two kinds of assumptions, namely the nondeletion assumption and the world assumption. The nondeletion assumption is the elementary stipulation indicating the presence of an added assertion in a world. The world assumption is the elementary stipulation representing existence of a world. According to the invention, a method for testing assertions is provided for determining whether an assertion holds in a world. The method involves taking into account the presence of deletion nogoods relevant to the tested assertion. A deletion nogood is a nogood which indicates the contradiction between a world assumption and a nondeletion assumption which arises from a deletion of an assertion. Deletion nogoods are introduced at a world to block any further inheritance of an assertion from an ancestor world. The ATMS tool is further modified by replacing the traditional ATMS notion of inconsistency with a concept of inconsistency wherein only world assumptions are blamed for inconsistencies. The present invention may be used in connection with planning systems and diagnosis systems as well as with other types of knowledge-based systems.
REFERENCES:
patent: 4675829 (1987-06-01), Clemenson
Rich, Elaine, "Artificial Intelligence," McGraw-Hill, 1983, pp. 173-197.
Johan de Kleer, "An Assumption-Based TMS", Artificial Intelligence, vol. 28, 1986 pp. 127-162.
Handbook of Artificial Intelligence, vol. 1, edited by Avram Barr and Edward Feigembaum (William A. Caufmann, Inc., Los Altos, CA, 1981) pp. 36-37, 72-76.
Morris Paul H.
Nado Robert A.
IntelliCorp, Inc.
MacDonald Allen
LandOfFree
Method for representing a directed acyclic graph of worlds using does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Method for representing a directed acyclic graph of worlds using, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method for representing a directed acyclic graph of worlds using will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-1057575