A proof procedure for normal default theories

Applied Intelligence

Volumn 6, Issue 2, 1996, Pages 165-175

  Obeid, N ^a,b  

^a UNIVERSITY OF ESSEX   (United Kingdom)

^b LEBANESE UNIVERSITY   (Lebanon)

Author keywords

Conditional logic; First order predicate calculus; Normal default; Proof procedure

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTER PROGRAMMING LANGUAGES; FORMAL LOGIC; INFORMATION THEORY; KNOWLEDGE REPRESENTATION; OBJECT ORIENTED PROGRAMMING;

CONDITIONAL LOGIC; FIRST ORDER PREDICATE CALCULUS; NORMAL DEFAULTS; PROOF PROCEDURE;

ARTIFICIAL INTELLIGENCE;

EID: 0030125829     PISSN: 0924669X     EISSN: None     Source Type: Journal    
DOI: 10.1007/BF00117816     Document Type: Article

References (26)

1. E. Adams, The Logic of Conditionals, edited by D. Reidel, Dordrecht, Netherlands, 1975.
2. D.G. Borbow and T. Winograd, "An overview of KRLL: A knowledge representation language," Cognitive Science, vol. 1, pp. 3-46, 1977.
3. R. Brachman, "On the epistemological status of semantic networks," in Associative Networks: Representation and Use of Knowledge by Computers, edited by N.V. Findler, Academic Press: New York, pp. 3-50, 1979.
4. G. Brewka, "Nonmonotonic reasoning from theoretical foundations to efficient computation," Ph.D. Thesis, Draft Version, 1988.
5. J.P. Delgrande, "A first-order logic for prototypical properties," Artificial Intelligence, vol. 33, pp. 105-130, 1987.
6. J.P. Delgrande, "An approach to default reasoning based on a first-order conditional logic: Revised report," Artificial Intelligence, vol. 36, pp. 63-90, 1988.
7. D.W. Etherington, "Reasoning with incomplete information," Research Notes in Artificial Intelligence, Pitman: London, 1988.
8. D.W. Etherington and R. Reiter, "On inheritance hierarchies with exceptions," Proceeding of the AAAI, Seattle, 1983, pp. 104-108.
9. S.E. Fahlman, NETL: A System for Representing and Using Real-World Knowledge, MIT Press: Cambridge, MA, 1979.
10. H. Geffner and J. Pearl, "A framework for reasoning with defaults," UCLA Cognitive Systems Laboratory, Technical Report 870058 (R-94), March 1988.
11. M.L. Ginsberg, "A circumscriptive theorem prover," Second International Workshop on NonMonotonic Reasoning, Lecture Notes in Artificial Intelligence 346, Springer-Verlag, 1989, pp. 100-115.
12. M.L. Ginsberg, "A local formalization of inheritance: Preliminary report," Third International Workshop on NonMonotonic Reasoning, South Lake Tahoe: California, 1990, pp. 119-129.
13. G. Hendrix, "Expanding the utility of semantic networks through partioning," Fourth International Conference on Artificial Intelligence, 1975, pp. 115-121.
14. V. Lifschitz, "On the declarative semantics of logic programs with negation," in Foundations of Deductive Databases and Logic Programming, edited by J. Minker, Morgan Kaufmann Publishers: Los Angeles, CA, 1987.
15. W. Lukaszewicz, "Two results on default logic," Proceeding of the International Joint Conference on Artificial Intelligence, Los Angeles, 1985, pp. 459-461.
16. N. Obeid and M. Fang, "On some aspects of default reasoning," 4th Australian Joint Conference on AI, Perth, Western Australia, 1990.
17. D.L. Poole, "A logical system for default reasoning," AAAI Workshop on Non-Monotonic Reasoning, NY, pp. 373-384, 1984.
18. D.L. Poole, "On the comparison of theories: Preferring the most specific explanation," IJCAI-9, pp. 144-147, 1985.
19. D.L. Poole, "A logical framework for default reasoning," Artificial Intelligence, vol. 36, pp. 27-47, 1988.
20. T. Przymusinsky, "Query Answering in circumscriptive and closed world theories," Fifth American Association ofor Artificial Intelligence, Philadelphia, PA, 1986, pp. 186-190.
21. T. Przymusinsky, "On the realtionship between logic programming and non-monotonic reasoning," Seventh American Association ofor Artificial Intelligence, St. Paul, Minnesota, 1988.
22. R. Reiter, "A logic for default reasoning," Artificial Intelligence, vol. 13, 1980.
23. D.E. Rumelhart and D.A. Norman, "Active semantic networks as a model of human memory," Third International Joint Conference on Artificial Intelligence, Palo Alto, CA, 1973, pp. 470-476.
24. B. Selman and H. Kautz, "The complexity of model-preference default theories," Second Internation, Workshop on Non-Monotonic Reasoning, Lecture Notes in Artificial Intelligence 346, Springer-Verlag: Berlin, 1989, pp. 115-130.
25. D.S. Touretzky, The Mathematics of Inheritance Systems, Pitman: London, 1986.
26. R. Turner, Logics for Artificial Intelligence, Ellis Horwood Limited, pp. 59-76, 1984.