Evaluating the effect of semi-normality on the expressiveness of defaults

Artificial Intelligence

Volumn 144, Issue 1-2, 2003, Pages 233-250

  Janhunen, Tomi ^a  

^a AALTO UNIVERSITY   (Finland)

Author keywords

Default logic; Expressive power; Modular translations; Normal defaults; Prerequisite free defaults; Semi normal defaults

Indexed keywords

FORMAL LOGIC; FUNCTIONS; POLYNOMIALS;

NORMAL DEFAULT LOGIC (NDL);

ARTIFICIAL INTELLIGENCE;

EID: 0037370219     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0004-3702(02)00385-5     Document Type: Article

References (35)

1. Bonatti P.A., Eiter T. Querying disjunctive databases through nonmonotonic logics. Theoret. Comput. Sci. 160:1996;321-363.
2. Brewka G. Nonmonotonic Reasoning: Logical Foundations of Commonsense. 1991;Cambridge University Press, Cambridge.
3. Dimopoulos Y., Nebel B., Koehler J. Encoding planning problems in non-monotonic logic programs. Proceedings of the Fourth European Conference on Planning, Toulouse, France. 1997;169-181 Springer, Berlin.
4. Etherington D.W. Relating default logic and circumscription. Proc. IJCAI-87, Milan, Italy. 1987;489-494 Morgan Kaufmann, San Mateo, CA.
5. Etherington D.W. Reasoning with Incomplete Information. 1988;Pitman, London.
6. Gabbay D.M., Hogger C.J., Robinson J.A. Handbook of Logic and Artificial Intelligence and Logic Programming, Vol. 3: Nonmonotonic Reasoning and Uncertain Reasoning. 1994;Oxford University Press, Oxford.
7. Gelfond M., Lifschitz V. The stable model semantics for logic programming. Proceedings of the 5th International Conference on Logic Programming, Seattle, WA. 1988;1070-1080 MIT Press, Cambridge, MA.
8. Gottlob G. Translating default logic into standard autoepistemic logic. J. ACM. 42:(2):1995;711-740.
9. Grosof B. Default reasoning as circumscription. Proceedings of Non-Monotonic Reasoning Workshop, New Paltz, NY. 1984;115-124 AAAI, Menlo Park, CA.
10. Imielinski T. Results on translating defaults to circumscription. Artificial Intelligence. 32:1987;131-146.
11. Janhunen T. Representing autoepistemic introspection in terms of default rules. Proceedings of the European Conference on Artificial Intelligence, Budapest, Hungary. 1996;70-74 Wiley, New York.
12. Janhunen T. Separating disbeliefs from beliefs in autoepistemic reasoning. Dix J., Furbach U., Nerode A. Proceedings of the 4th International Conference on Logic Programming and Non-Monotonic Reasoning, Dagstuhl, Germany. Lecture Notes in Artificial Intelligence. 1265:1997;132-151 Springer, Berlin.
13. T. Janhunen, Non-monotonic systems: A framework for analyzing semantics and structural properties of non-monotonic reasoning, Doctoral dissertation, Research Report A49, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, March 1998. Available in the web under http://www.tcs.hut.fi/Publications/.
14. Janhunen T. On the intertranslatability of autoepistemic, default and priority logics, and parallel circumscription. Dix J., Fariñas del Cerro L., Furbach U. Proceedings of the 6th European Workshop on Logics in Artificial Intelligence, Dagstuhl, Germany. Lecture Notes in Artificial Intelligence. 1489:1998;216-232 Springer, Berlin.
15. Janhunen T. Classifying semi-normal default logic on the basis of its expressive power. Gelfond M., Leone N., Pfeifer G. Proceedings of the 5th International Conference on Logic Programming and Non-Monotonic Reasoning, LPNMR'99, El Paso, TX. Lecture Notes in Artificial Intelligence. 1730:1999;19-33 Springer, Berlin.
16. Janhunen T. On the intertranslatability of non-monotonic logics. Ann. Math. Artificial Intelligence. 27:(1-4):1999;79-128.
17. Konolige K. On the relation between default and autoepistemic logic. Artificial Intelligence. 35:1988;343-382.
18. Konolige K. On the relation between autoepistemic logic and circumscription. Proc. IJCAI-89, Detroit, MI. 1989;1213-1218 Morgan Kaufmann, San Mateo, CA.
19. Lifschitz V. Computing circumscription. Proc. IJCAI-85, Los Angeles, CA. 1985;121-127 Morgan Kaufmann, San Mateo, CA.
20. Łukaszewicz W. Two results on default logic. Proc. IJCAI-85, Los Angeles, CA. 1985;459-461.
21. Marek W., Schwarz G.F., Truszczyński M. Modal nonmonotonic logics: Ranges, characterization, computation. J. ACM. 40:(4):1993;963-990.
22. Marek W., Truszczyński M. Modal logic for default reasoning. Ann. Math. Artificial Intelligence. 1:1990;275-302.
23. Marek W., Truszczyński M. Nonmonotonic Logic: Context-Dependent Reasoning. 1993;Springer, Berlin.
24. McCarthy J. Circumscription - A form of non-monotonic reasoning. Artificial Intelligence. 13:1980;27-39.
25. McCarthy J. Applications of circumscription to formalizing commonsense knowledge. Artificial Intelligence. 28:1986;89-116.
26. Moore R.C. Semantical considerations on nonmonotonic logic. Proc. IJCAI-83, Karlsruhe, Germany. 1983;272-279 Morgan Kaufmann, San Mateo, CA.
27. I. Niemelä, Autoepistemic logic as a unified basis for nonmonotonic reasoning, Doctoral dissertation, Research Report A24, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, August 1993. Available in the WWW under http://www.tcs.hut.fi/Publications/.
28. Niemelä I. A unifying framework for nonmonotonic reasoning. Proc. IJCAI-92, Vienna, Austria. 1992;334-338 Wiley, New York.
29. Reiter R. A logic for default reasoning. Artificial Intelligence. 13:1980;81-132.
30. Reiter R. A theory of diagnosis from first principles. Artificial Intelligence. 32:1987;57-95.
31. Reiter R., Criscuolo G. Some representational issues in default reasoning. Comp. Math. Appl. 9:(1):1983;15-27.
32. Schwarz G. On embedding default logic into Moore's autoepistemic logic. Artificial Intelligence. 80:1996;349-359.
33. Soininen T., Niemelä I. Developing a declarative rule language for applications in product configuration. Gupta G. Proceedings of the First International Workshop on Practical Aspects of Declarative Languages, San Antonio, TX. 1999;305-319 Springer, Berlin.
34. Truszczyński M. Modal interpretations of default logic. Proc. IJCAI-91, Sydney, Australia. 1991;393-398 Morgan Kaufmann, San Mateo, CA.
35. Wang X., You J.-H., Yuan L.Y. Nonmonotonic reasoning by monotonic inferences with priority constraints. Proceedings of the 2nd International Workshop on Non-Monotonic Extensions of Logic Programming. Lecture Notes in Artificial Intelligence. 1216:1996;91-109 Springer, Berlin.