Compiling specificity into approaches to nonmonotonic reasoning

Artificial Intelligence

Volumn 90, Issue 1-2, 1997, Pages 301-348

  Delgrande, James P ^a   Schaub, Torsten H ^b  

^a SIMON FRASER UNIVERSITY   (Canada)

^b UNIVERSITÉ D'ANGERS   (France)

Author keywords

Circumscription; Default logic; Knowledge representation; Specificity

Indexed keywords

FORMAL LOGIC; KNOWLEDGE BASED SYSTEMS;

CIRCUMSCRIPTION; DEFAULT LOGIC; SPECIFICITY;

KNOWLEDGE REPRESENTATION;

EID: 0031072610     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/s0004-3702(96)00045-8     Document Type: Article

References (46)

1. E. Adams, The Logic of Conditionals (Reidel, Dordrecht, 1975).
2. F. Baader and B. Hollunder, How to prefer more specific defaults in terminological default logic, in: Proceedings IJCAI-93, Chambery (1993) 669-674.
3. F. Baader and B. Hollunder, How to prefer more specific defaults in terminological default logic, Tech. Rept. RR-92-58, DFKI (1993).
4. S. Benferhat, D. Dubois and H. Prade, Representing default rules in possibilistic logic, in: Proceedings Third International Conference on the Principles of Knowledge Representation and Reasoning, Cambridge, MA (1992) 673-684.
5. C. Boutilier, Conditional logics for default reasoning and belief revision, PhD thesis, Department of Computer Science, University of Toronto, Toronto, Ont. (1992).
6. C. Boutilier, What is a default priority?, in: Proceedings Ninth Biennial Conference of the Canadian Society for Computational Studies of Intelligence, Vancouver, BC (1992) 140-147.
7. G. Brewka, Cumulative default logic: in defense of nonmonotonic inference rules, Artif. Intell. 50 (1991) 183-205.
8. G. Brewka, Adding priorities and specificity to default logic, Tech. Rept., GMD (1993).
9. B.F. Chellas, Modal Logic (Cambridge University Press, Cambridge, 1980).
10. K.L. Clark, Negation as failure, in: H. Gallaire and J. Minker, eds., Logic and Databases (Plenum Press, New York, 1978) 293-322.
11. J.P. Delgrande, A first-order conditional logic for prototypical properties, Artif. Intell. 33 (1987) 105-130.
12. J.P. Delgrande, An approach to default reasoning based on a first-order conditional logic: revised report, Artif. Intell. 36 (1988) 63-90.
13. J.P. Delgrande and T.H. Schaub, A general approach to specificity in default reasoning, in: Proceedings Fourth International Conference on the Principles of Knowledge Representation and Reasoning, Bonn (1994) 146-157.
14. J.P. Delgrande and T.H. Schaub, Incorporating specificity into circumscriptive theories, in: B. Nebel and L. Dreschler-Fischer, eds., KI'94: Advances in Artificial Intelligence, Proceedings of the Eighteenth German Annual Conference on Artificial Intelligence, Lecture Notes in Artificial Intelligence 861 (Springer, Berlin, 1994) 272-283.
15. J.P. Delgrande, T.H. Schaub and W.K. Jackson, Alternative approaches to default logic, Artif. Intell. 70 (1994) 167-237.
16. D. Dubois and H. Prade, Conditional objects and nonmonotonic reasoning, in: Proceedings Second International Conference on the Principles of Knowledge Representation and Reasoning, Cambridge, MA (1991) 175-185.
17. 2-complete, Theor. Comput. Sci. 114 (1993) 231-245.
18. D.W. Etherington and R. Reiter, On inheritance hierarchies with exceptions, in: Proceedings AAAI-83, Washington, DC (1983) 104-108.
19. S.E. Fahlman, D.S. Touretzky and W. van Roggen, Cancellation in a parallel semantic network, in: Proceedings IJCAI-81, 257-263, Vancouver, B.C. (1981) 257-263.
20. H. Geffner and J. Pearl, Conditional entailment: bridging two approaches to default reasoning, Artif. Intell. 53 (1992) 209-244.
21. M. Ginsberg, A circumscriprive theorem prover, Artif. Intell. 39 (1989) 209-230.
22. M. Goldszmidt, Qualitative probabilities: a normative framework for commonsense reasoning, PhD thesis, Department of Computer Science, University of California, Los Angeles, CA (1992).
23. M. Goldszmidt and J. Pearl, On the relation between rational closure and system Z, in: Third International Workshop on Nonmonotonic Reasoning, South Lake Tahoe, CA (1990) 130-140.
24. B. Grosof, Generalizing prioritization, in: Proceedings Second International Conference on the Principles of Knowledge Representation and Reasoning, San Mateo, CA (1991) 289-300.
25. J.F. Horty, Some direct theories of nonmonotonic inheritance, in: D.M. Gabbay, C.J. Hogger and J.A. Robinson, eds., Nonmonotonic Reasoning and Uncertain Reasoning, Handbook of Logic in Artifical Intelligence and Logic Programming 3 (Clarendon Press, Oxford, 1994) 111-187.
26. G.E. Hughes and M.J. Cresswell, An Introduction to Modal Logic (Methuen, London, 1968).
27. K. Konolige, On the relation between default theories and autoepistemic logic, Artif. Intell. 35 (1988) 343-382.
28. S. Kraus, D. Lehmann and M. Magidor, Nonmonotonic reasoning, preferential models and cumulative logics, Artif. Intell. 44 (1990) 167-207.
29. P. Lamarre, S4 as the conditional logic of nonmonotonicity, in: Proceedings Second International Conference on the Principles of Knowledge Representation and Reasoning, Cambridge, MA (1991) 357-367.
30. D. Lehmann, What does a conditional knowledge base entail?, in: Proceedings First International Conference on the Principles of Knowledge Representation and Reasoning, Toronto, Ont. (1989) 212-222.
31. D. Lewis, Counterfactuals (Harvard University Press, Cambridge, MA, 1973).
32. V. Lifschitz, Computing circumscription, in: Proceedings IJCAI-85, Los Angeles, CA (1985) 121-127.
33. W. Łukaszewicz, Considerations on default logic: an alternative approach, Comput. Intell. 4 (1988) 1-16.
34. J. McCarthy, Circumscription - a form of non-monotonic reasoning, Artif. Intell. 13 (1980) 27-39.
35. J. McCarthy, Applications of circumscription to formalizing common-sense knowledge, Artif. Intell. 28 (1986) 89-116.
36. R.C. Moore, Semantical considerations on nonmonotonic logic, Artif. Intell. 25 (1985) 75-94.
37. J. Pearl, Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference (Morgan Kaufman, San Mateo, CA, 1988).
38. J. Pearl, Probabilistic semantics for nonmonotonic reasoning: a survey, in: Proceedings First International Conference on the Principles of Knowledge Representation and Reasoning, Toronto, Ont. (1989) 505-516.
39. J. Pearl, System Z: a natural ordering of defaults with tractable applications to nonmonotonic reasoning, in: Proceedings Third Conference on Theoretical Aspects of Reasoning About Knowledge, Pacific Grove, CA (1990) 121-135.
40. D. Poole, On the comparison of theories: preferring the most specific explanation, in: Proceedings IJCAI-85, Los Angeles, CA (1985) 144-147.
41. D.L. Poole, A logical framework for default reasoning, Artif. Intell. 36 (1988) 27-48.
42. R. Reiter, A logic for default reasoning, Artif. Intell. 13 (1980) 81-132.
43. R. Reiter and G. Criscuolo, On interacting defaults, in: Proceedings IJCAI-81, Vancouver, BC (1981) 270-276.
44. Y. Shoham, Reasoning about Change: Time and Causation from the Standpoint of Artificial Intelligence (MIT Press, Cambridge, MA, 1988).
45. R.C. Stalnaker, A theory of conditionals, in: N. Rescher, ed., Studies in Logical Theory (Basil Blackwell, Oxford, 1968) 98-112.
46. A. Zhang and W. Marek, On the classification and existence of structures in default logic, Fund. Inform. 8 (1990) 485-499.