Abstract
This paper proposes an extension of the MEL logic to a language containing modal formulae of depth 0 or 1 only. MEL is a logic of incomplete information where an agent can express both beliefs and explicitly ignored facts, that only uses modal formulae of depth 1, and no objective ones. The extended logic, called MEL + has the same axioms as, and is in some sense equivalent to, S5 with a restricted language, but with the same expressive power. The semantics is not based on Kripke models with equivalence relations, but on pairs made of an interpretation (representing the real state of facts) and a non-empty set of possible interpretations (representing an epistemic state). Soundness and completeness are established. We provide a rationale for using our approach when an agent reasons about what is known of the epistemic state of another agent and compares it with what is known about the real world. Our approach can be viewed as an alternative to the basic epistemic logic not concerned with introspection. We discuss the difference with S5 used as a logic for rough sets, and the similarity with some previous non-monotonic logics of knowledge is highlighted.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
References
Banerjee, M., Dubois, D.: A Simple Modal Logic for Reasoning about Revealed Beliefs. In: Sossai, C., Chemello, G. (eds.) ECSQARU 2009. LNCS, vol. 5590, pp. 805–816. Springer, Heidelberg (2009)
Banerjee, M., Dubois, D.: A simple logic for reasoning about incomplete knowledge. Int. J. Approximate Reasoning 55(2), 639–653 (2014)
Boutilier, C.: Modal logics for qualitative possibility theory. Int. J. Approximate Reasoning 10, 173–201 (1994)
Chellas, B.F.: Modal Logic: An Introduction. Cambridge University Press (1980)
Dubois, D., Prade, H., Schockaert, S.: Stable Models in Generalized Possibilistic Logic. In: Brewka, G., et al. (eds.) Proc. of KR 2012, pp. 519–529. AAAI Press (2012)
Fagin, R., Vardi, M.Y.: An internal semantics for modal logic. In: Proc. of STOC 1985, pp. 305–315. ACM, New York (1985)
Halpern, J.Y., Fagin, R., Moses, Y., Vardi, M.Y.: Reasoning About Knowledge. MIT Press (2003) (Revised paperback edition)
Fariñas del Cerro, L., Herzig, A.: A modal analysis of possibility theory. In: Jorrand, P., Kelemen, J. (eds.) FAIR 1991. LNCS, vol. 535, pp. 11–18. Springer, Heidelberg (1991)
Hájek, P.: A qualitative fuzzy possibilistic logic. Int. J. of Approximate Reasoning 12, 1–19 (1994)
Hájek, P., Harmancová, D., Esteva, F., Garcia, P., Godo, L.: On modal logics for qualitative possibility in a fuzzy setting. In: Lopez de Mántaras, R., Poole, D. (eds.) Proc. of UAI-94, pp. 278–285. Morgan Kaufmann, San Francisco (1994)
Lang, J., Marquis, P.: A forgetting-based approach. Artificial Intelligence 174, 799–823 (2010)
Lifschitz, V.: Minimal belief and negation as failure. Artificial Intelligence 70, 53–72 (1994)
Lin, F., Shoham, Y.: A logic of knowledge and justified assumptions. Artificial Intelligence 57, 271–289 (1992)
Orlowska, E.: A logic of indiscernibility relations. In: Skowron, A. (ed.) SCT 1984. LNCS, vol. 208, pp. 177–186. Springer, Heidelberg (1985)
Pawlak, Z.: Rough sets. International Journal of Computer and Information Sciences 11(5), 341–356 (1982)
Petruszczak, A.: Simplified Kripke style semantics for modal logics K5, KB5 and KD45. Bulletin of the Section of Logic 38, 163–171 (2009)
Yao, Y., Lin, T.: Generalization of rough sets using modal logic. Automation and Soft Computing 2(2), 103–120 (1996)
Yao, Y., Wang, S., Lin, T.: A review of rough set models. In: Polkowski, L., Skowron, A. (eds.) Rough Sets and Data Mining: Analysis for Imprecise Data, pp. 47–75. Kluwer Academic Publishers (1997)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Banerjee, M., Dubois, D., Godo, L. (2014). Possibilistic vs. Relational Semantics for Logics of Incomplete Information. In: Laurent, A., Strauss, O., Bouchon-Meunier, B., Yager, R.R. (eds) Information Processing and Management of Uncertainty in Knowledge-Based Systems. IPMU 2014. Communications in Computer and Information Science, vol 442. Springer, Cham. https://doi.org/10.1007/978-3-319-08795-5_35
Download citation
DOI: https://doi.org/10.1007/978-3-319-08795-5_35
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-08794-8
Online ISBN: 978-3-319-08795-5
eBook Packages: Computer ScienceComputer Science (R0)