English   español  
Please use this identifier to cite or link to this item: http://hdl.handle.net/10261/131945
logo share SHARE   Add this article to your Mendeley library MendeleyBASE

Visualizar otros formatos: MARC | Dublin Core | RDF | ORE | MODS | METS | DIDL
Exportar a otros formatos:


Possibilistic vs. Relational Semantics for Logics of Incomplete Information

AuthorsBanerjee, Mohua; Dubois, Didier; Godo, Lluis
KeywordsModal logic
Nonmonotonic logic
Rough sets
Possibility theory
Epistemic logic
Issue Date15-Jul-2014
CitationInformation Processing and Management of Uncertainty in Knowledge-Based Systems 15th International Conference on Information Processing and Management of Uncertainty in Knowledge-based Systems, IPMU 2014; Montpellier; France; July 15-19, 2014 . Proceedings, CCIS vol. 442, Part I, pp. 335-344
AbstractThis 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 com- pleteness 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.
Identifiersdoi: 10.1007/978-3-319-08795-5_35
issn: 18650929
isbn: 978-331908794-8
Appears in Collections:(IIIA) Comunicaciones congresos
Files in This Item:
File Description SizeFormat 
CCIS442_335-344.pdf271,49 kBAdobe PDFThumbnail
Show full item record
Review this work

WARNING: Items in Digital.CSIC are protected by copyright, with all rights reserved, unless otherwise indicated.