Nonmonotonic reasoning by monotonic inferences with priority constraints

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1216, Issue , 1997, Pages 91-109

  Wang, Xianchang ^a   You, Jia Huai ^a   Li, Yah Yuan ^a  

^a UNIVERSITY OF ALBERTA   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; KNOWLEDGE REPRESENTATION; LOGIC PROGRAMMING;

COMMONSENSE KNOWLEDGE; DEFAULT REASONING; FORMAL SYSTEMS; KNOWLEDGE REPRESENTATION LANGUAGE; MONOTONIC INFERENCE; NON-MONOTONIC REASONING; NONMONOTONIC; PATH-BASED;

COMPUTER CIRCUITS;

EID: 84955596300     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0023803     Document Type: Conference Paper

References (33)

1. Jr. Allen L. Brown, Surya Mantha, and Toshiro Wakayama. Constraint optimization using preference logics: A new role for modal logic. In Isabel F. Cruz, editor, Using a Visual Constraint Language for Data Display Specification, pages 22-23, 1993.
2. Jr. Allen L. Brown, Surya Mantha, and Toshiro Wakayama. Preference logics: Towards a unified approach to non-monotonicity in deductive reasoning. Annals of Mathematics and Artificial Intelligence, pages 10: 233-280, 1994.
3. F. Baader and B. Hollunder. Priorities on default with prerequisite and their application in treating specificity in terminological default logic. Journal of Automata Reasoning, 15:41-68, 1995.
4. G. Brewka. Nonmonotonic reasoning: Logical Foundations of Commonsense. Cambridge University Press, 1991.
5. G. Brewka. Well-founded semantics for extended logic programming with dynamic preference. Journal of Artificial Intelligence Research, 4:19-36, 1996.
6. F. Buccafurri, N. Leone, and P. Rullo. Stable models and their computation for logic programming with inheritance and true negation. J. Logic Programming, pages 27: 5-44, 1995.
7. K.L. Clark. Negation as failure. In H. Gallaire and J. Minker, editors, Logic and Data Bases, pages 293-322. Plenum Press, 1978.
8. J. Delgrande, T. Schaub, and W. Jackson. Alternative approach to default logic. Artificial Intelligence, 70:167-237, 1994.
9. V. Dimopoulos and A. Kakas. Logic programming without negation as failure. In Proc. ILPS '95. MIT Press, 1995.
10. P. Dung. An argumentation theoretic foundation for logic programming. J. Logic Programming, 22:151-177, 1995.
11. P. Dung and T. Son. Nonmonotonic inheritance, argumentation and logic programming. In Proc. 3rd International conference on LPNMR, pages 316-329. MIT Press, 1995.
12. K. Eshghi and R.A. Kowalski. Abduction compared with negation by failure. In Proc. 6th ICLP, pages 234-254. MIT Press, 1989.
13. D. Etherington and R. Reiter. On inheritance hierarchies with exceptions. In A A A I-83, pages 104-108. Morgan Kaufmann, 1983.
14. K. Govindarajan, B. Jayaraman, and S. Mantha. Preference logic programming. In Proc. 12th ICLP, pages 731-746. MIT Press, 1995.
15. J.F. Horty. Some direct theories of nonmonotonic inheritance. In M. Cabbay and C. Hogger, editors, Handbook of Logic and Artificial Intelligence, pages 111-187. Oxford University, 1991.
16. T. Imielinski. Results on translating defaults to circumscription. Artificial Intelligence, 32:131-146, 1987.
17. H. Jagadish, A. Mendelzon, and I. Mumick. Managing conflicts between rules. In Proc. ACM PODS. Montreal Quebec, Canada, 1996.
18. A. Kakas, P. Mancarella, and P.M. Dung. The acceptability semantics for logic programs. In Proc 11th ICLP, pages 504-519, 1994.
19. S. Mantha. first-Order Preference Theories and their Applications. PhD thesis, University of Utah, 1991.
20. V. Marek and V.S. Subrahmanian. The relationship between logic program semantics and non-monotonic reasoning. In Proc 6th International Conference on Logic Programming, 1989.
21. V. Marek and M. Truszcynski. Relating autoepistemic and default logic. In Proc Principles of Knowledge Representation and Reasoning, pages 276-288. Morgan Kaufmann, 1989.
22. V. Marek and M. Truszczybski. Nonmonotonic Logic, Context-Dependent Reasoning. Springer-Verlag, 1993.
23. J. McCarthy. Circumscription - a form of non-monotonic reasoning. Artificial Intelligence, 13:27-39, 1980.
24. R. Moore. Semantical consideration on nonmonotonic logic. Artificial Intelligence, 25(1):234-252, 1985.
25. R. Reiter. On closed world data bases. In H. Gallaire and J. Minker, editors, Logic and Data Bases, pages 55-76. Plenum Press, 1978.
26. R. Reiter. A logic for default reasoning. Artificial Intelligence, 13:81-132, 1980.
27. R. Reiter and G. Cirscuolo. On interacting defaults. In Proc 7th IJCAI, pages 270-276, 1981.
28. C. Sakama and K. Inous. Representing priorities in logic programs. In Proc Int'l Conference and Symposium on Logic Programming, 1996.
29. Y. Shoham. A semantics approach to non-monotonic logics. In Proc IJCAI, pages 388-392, 1987.
30. R.H. Thomason and J.F. Horty. Logics for inheritance theory. In 2nd International Workshop for Non-Monotonic Reasoning, pages 220-237, 1988,
31. F. Toni and A.C. Kakas. Computing the acceptability semantics. In Proc 3rd International Conference on Logic Programming and Non-monotonic Reasoning, pages 401-415, 1995.
32. X. Wang, J. You, and L. Yuan. Circumscription by inference rules with priority. In Proc 12th European Conf. on Artificial Intelligence, pages 110-115, 1996.
33. X. Wang, J. You, and L. Yuan. Logic programming without default negation revised. TR96-25, Department of Computing Science, University of Alberta, 1996.