Tytuł artykułu
Autorzy
Wybrane pełne teksty z tego czasopisma
Identyfikatory
Warianty tytułu
Języki publikacji
Abstrakty
We study the extension of propositional ground non-monotonic modal logic to the first-order case. We show that first-order ground non-monotonic modal logic well complies with first-order default logic by interpreting the latter in the former by the Truszczy\'nski like translation and present a minimal model semantics of first-order ground non-monotonic modal logic.
Wydawca
Czasopismo
Rocznik
Tom
Strony
253--276
Opis fizyczny
bibliogr. 23 poz.
Twórcy
autor
autor
- Computer Science Department, Technion-Israel Institute of Technology, Haifa 32000. Israel, bennyg@checpoint.com
Bibliografia
- [1] Donini, R, Nardi, D., Rosati, R.: Ground Nonmonotonic Modal Logics, Journal of Logic and Computation, 7, 1997, 523-548.
- [2] Guerreiro, R., Casanova, M.: An alternative semantics for default logic, 1990, Presented at the 3rd International Workshop on Nonmonotonic Reasoning.
- [3] Hughes, G., Cresswell, M.: An Introduction to Modal Logic, Methuen and Co., London, 1972.
- [4] Janhunen, T.: On the Intertranslatability of Non-monotonic Logics, Annals of Mathematics and Artificial Intelligence, 27, 1999,79-128.
- [5] Kaminski, M.: Embedding a default system into non-monotonic logics, Fundamenta Informaticae, XIV, 1991,345-353.
- [6] Kaminski, M.: A comparative study of open default theories, Artificial Intelligence, 77, 1995, 285-319.
- [7] Kaminski, M., Rey, G.: First-order non-monotonic modal logics, Fundamenta Informaticae, 42, 2000, 303-333.
- [8] Kaminski, M., Rey, G.: Revisiting quantification in first-order autoepistemic logic, ACM Transactions on Computational Logic, 3, 2002, 542-561.
- [9] Konolige, K.: On the relation between default and autoepistemic logic, Artificial Intelligence, 35, 1988, 343-382.
- [10] Lifschitz, V.: On open defaults, Computational Logic: Symposium Proceedings (J. Lloyd, Ed.), Springer-Verlag, Berlin, 1990.
- [11] Lloyd, J.: Foundation of logic programming, second extended edition, Springer-Verlag, Berlin, 1993
- [12] Marek, V., Truszczyński, M.: Nonmonotonic Logic, Springer-Verlag, Berlin, 1993.
- [13] McDermott, D.: Non-monotonic logic II: Non-monotonic modal theories, Journal of the ACM, 29, 1982, 33-57.
- [14] Mendelson, E.: Introduction to mathematical logic, Chapman and Hall, London, 1997.
- [15] Reiter,R.: A logic for default reasoning, Artificial Intelligence, 13, 1980,81-132.
- [16] Schwarz, G.: Bounding introspection in non-monotonic logic, Proceedings of the Third International Conference on Principles of Knowledge Representation and Reasoning (C. R. B. Nebel, W. Swartout, Eds.), Morgan Kaufmann, Los Altos, California, 1992.
- [17] Schwarz, G.: Minimal Model Semantics for Nonmonotonic Modal Logics, Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science, IEEE Computer Society Press, Los Alamitos, California, 1992.
- [18] Segerberg, K.: An essay in classical modal logic, Filosofiska Studier, 13, 1971.
- [19] Tiomkin, M., Kaminski, M.: Nonmonotonic default modal logics, Journal of the ACM, 38, 1991, 963-984.
- [20] Tiomkin, M., Kaminski, M.: The modal logic of cluster-decomposable Kripke interpretations, Notre Dame Journal of Formal Logic, 48, 2007, 511-520.
- [21] Truszczyński, M.: Modal interpretation of default logic, Proceedings of the 12th International Joint Confeence on Artificial Intelligence, Morgan Kaufmann, San Mateo, California, 1991.
- [22] Truszczyński, M.: Modal nonmonotonic logic with restricted application of the negation as failure to prove rule, Fundamenta Informaticae, XIV, 1991, 355-366.
- [23] Zbar, Y.: Open default theories, Master Thesis, Department of Computer Science, Technion - Israel Institute of Technology, 2000
Typ dokumentu
Bibliografia
Identyfikator YADDA
bwmeta1.element.baztech-article-BUS5-0015-0050