Data processing: artificial intelligence – Knowledge processing system – Knowledge representation and reasoning technique
Patent
1996-08-21
1998-09-01
MacDonald, Allen R.
Data processing: artificial intelligence
Knowledge processing system
Knowledge representation and reasoning technique
706 48, G06F 1700
Patent
active
058025081
ABSTRACT:
A new data structure describes an inheritance network with exceptions, augmented with rules attached to nodes in the network, a background context of rules and information, and an optional prioritization of links in the network. A process that determines which rules apply to classes (nodes) in the taxonomy exploits the structure of the network, in particular specificity and path prioritization, to get preferred maximally consistent subsets of rules that apply at specified nodes.
REFERENCES:
J. McCarthy, 1980, "Circumscription--A Form of Non-Monotonic Reasoning," Artificial Intelligence 13, 27-39, North-Holland Publishing Co. 1980.
R. Reiter, 1980: "A Logic for Default Reasoning," Artificial Intelligence 25, 86-132.
R. Moore, 1985: "Semantical Considerations on Nonmonotonic Logic," Artificial Intelligence 25, 75-94.
J. McCarthy, 1986: "Applications of Circumscription to Formalizing Common-send Knowledge," Artificial Intelligence 28, 86-116.
L. Stein, 1992: "Resolving Ambiguity in Nonmonotonic Inheritance Hierarchies," Artificial Intelligence, 55, 259-310.
J. Horty, 1994: "Some Direct Theories of Nonmonotonic Inheritance" in D. Gabbay, C. Hogger, and J. Robinson, eds: Handbook of logic in Artificial Intelligence and Logic Programming, vol. 3: Nonmonotonic Reasoning and Uncertain Reasoning, Oxford Univefsity Press, Oxford, pp. 111-187.
M. Genesereth and N. Nilsson (1987), Logical Foundations of Artificial Intelligence, Morgan Kaufmann, Los Altos, California, 13-21 & 63-92.
A. Barr and E. Feigenbaum, 1981: Handbook of Artificial Intelligence, vol. 1, Heuristech Press, 190-199, 1981.
Horty, "A skeptical theory of inheritance in nonmonotonic semantic networks," Artificial Intelligence, 42, 311-349, Dec. 1990.
Keene, "Object-oriented programming in common lisp," chapter 6, Dec. 1990.
International Business Machines - Corporation
MacDonald Allen R.
Percello Louis J.
Smith Jeffrey S.
LandOfFree
Reasoning with rules in a multiple inheritance semantic network does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Reasoning with rules in a multiple inheritance semantic network , we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Reasoning with rules in a multiple inheritance semantic network will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-284079