On a Modal Epistemic Axiom Emerging from McDermott-Doyle Logics

• Autorzy: Koutras C.D. , Zikos Y.
• Języki publikacji: EN

Abstrakty

EN

An important question in modal nonmonotonic logics concerns the limits of prepositional definability for logics of the McDermott-Doyle family. Inspired by this technical question we define a variant of autoepistemic logic which provably corresponds to the logic of the McDermott-Doyle family that is based on the modal axiom p5 :[formula]. This axiomis a natural weakening of classical negative introspection restricting its scope to possible facts. It closely resembles the axiom w5 :[formula] which restricts the effect of negative introspection to true facts. We examine p5 in the context of classical possible-worlds Kripke models, providing results for correspondence, completeness and the finite model property. We also identify the corresponding condition for p5 in the context of neighbourhood semantics. Although rather natural epistemically, this axiom has not been investigated in classical modal epistemic reasoning, probably because its addition to S4 gives the well-known strong modal system S5.

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2009
• Tom: Vol. 96, nr 1/2
• Strony: 111--125
• Opis fizyczny: Bibliogr. 28 poz., wykr.

Twórcy

autor

Koutras C.D.

autor

Zikos Y.

• Department of Computer Science and Technology University of Peloponnese end of Karaiskaki Street, 22 100 Tripolis, Greece,

Bibliografia

• [1] Amati, G., Carlucci Aiello, L., Gabbay, D., Pirri, F.: A structural property on modal frames characterizing Default logic, Journal of IGPL, 4(1), 1996, 1-24.
• [2] Amati, G., Carlucci Aiello, L., Pirri, F.: Modal non monotonic reasoning via boxed fixed points, 1996, 6th InternationalWorkshop on nonmonotonic reasoning, Oregon, USA.
• [3] Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic, Number 53 in Cambridge Tracts in Theoretical Computer Science, Cambridge University Press, 2001.
• [4] Chellas, B. F.: Modal Logic, an Introduction, Cambridge University Press, 1980.
• [5] Fitting, M. C., Marek, W., Truszczyński, M.: The Pure Logic of Necessitation, Journal of Logic and Computation, 2, 1992, 349-373.
• [6] Gabbay, D. M., Hogger, C. J., Robinson, J. A., Eds.: Handbook of Logic in Artificial Intelligence and Logic Programming, Oxford University Press, 1993.
• [7] Goldblatt, R.: Logics of Time and Computation, Number 7 in CSLI Lecture Notes, 2nd edition, Center for the Study of Language and Information, Stanford University, 1992.
• [8] Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic, Foundations of Computing Series, MIT Press, 2000.
• [9] Hintikka, J.: Knowledge and Belief: an Introduction to the Logic of the two notions, Cornell University Press, Ithaca, NY, 1962.
• [10] Hughes, G. E., Cresswell, M. J.: A New Introduction to Modal Logic, Routledge, 1996.
• [11] Konolige, K.: Autoepistemic Logic, Vol. 3 of Gabbay et al. [6], 1993, 217-295.
• [12] Lenzen,W.: Recent Work in Epistemic Logic, North-Holland, 1978.
• [13] Lenzen,W.: Epistemologische Betractungen zu [S4,S5], Erkenntnis, 14, 1979, 33-56.
• [14] Marek, V. W., Schwarz, G. F., Truszczyński, M.: Modal Non-monotonic Logics: Ranges, Characterization, Computation, Journal of the ACM, 40, 1993, 963-990.
• [15] Marek, V. W., Truszczyński, M.: Modal Logic for Default Reasoning, Annals of Mathematics and Artificial Intelligence, 1, 1990, 275-302.
• [16] Marek, V. W., Truszczyński, M.: Autoepistemic Logic, Journal of the ACM, 38(3), 1991, 588-619.
• [17] Marek, V. W., Truszczyński, M.: Non-Monotonic Logic: Context-dependent Reasoning, Springer-Verlag, 1993.
• [18] McDermott, D.: Non-monotonic logic II: non-monotonic modal theories, Journal of the ACM, 29, 1982, 33-57.
• [19] McDermott, D., Doyle, J.: Non-monotonic logic I, Artificial Intelligence, 13, 1980, 41-72.
• [20] Moore, R. C.: Semantical considerations on non-monotonic logics, Artificial Intelligence, 25, 1985, 75-94.
• [21] Schwarz, G.: Reflexive Autoepistemic Logic, Fundamenta Informaticae, 17, 1992, 157-173.
• [22] Schwarz, G.: In search of a "true" logic of knowledge: the non-monotonic perspective, Artificial Intelligence, 79, 1995, 39-63.
• [23] Schwarz, G., Truszczyński, M.: Subnormal modal logics for Knowledge Representation, Proceedings of AAAI'93, AAAI Press, 1993.
• [24] Schwarz, G. F., Truszczyński, M.: Minimal knowledge problem: a new approach, Artificial Intelligence, 67, 1994, 113-141.
• [25] Segerberg, K.: An essay in Clasical Modal Logic, Filosofiska Studies, Uppsala, 1971.
• [26] Shvarts, G.: Autoepistemic modal logics, Proceedings of the Third Conference on Theoretical Aspects of Reasoning about Knowledge (TARK'90) (R. Parikh, Ed.), 1990.
• [27] Stalnaker, R.: A note on non-monotonic modal logic, Artificial Intelligence, 64, 1993, 183-196, Revised version of the unpublished note originally circulated in 1980.
• [28] Voorbraak, F.: As Far as I Know - Epistemic Logic and Uncertainty, Ph.D. Thesis, Department of Philosophy, Utrecht University, 1993.