First-Order Ground Non-Monotonic Modal Logic

• Autorzy: Grimberg B. , Kaminski M.
• Języki publikacji: EN

Abstrakty

EN

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.

Słowa kluczowe

EN

first-order ground non-monotonic modal logic; first-order default logic; preference semantics; minimal model semantics; Herbrand semantics

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2008
• Tom: Vol. 83, nr 3
• Strony: 253--276
• Opis fizyczny: bibliogr. 23 poz.

Twórcy

autor

Grimberg B.

autor

Kaminski M.

• Computer Science Department, Technion-Israel Institute of Technology, Haifa 32000. Israel,

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