Britz, KMeyer, TVarzinczak, I2011-12-132011-12-132011-11Britz, K, Meyer, T and Varzinczak, I. 2011. Preferential reasoning for modal logics. Electronic notes in theoretical computer science, Vol 278(3), pp 55-691571-06611571-0661http://www.sciencedirect.com/science/article/pii/S1571066111001344http://hdl.handle.net/10204/5397Copyright: 2011 Elsevier. This is the Pre Print version of the work. The definitive version is published in Electronic Notes in Theoretical Computer Science, Vol 278(3), pp 55-69Modal logic is the foundation for a versatile and well-established class of knowledge representation formalisms in artificial intelligence. Enriching modal logics with non-monotonic reasoning capabilities such as preferential reasoning as developed by Lehmann and colleagues would therefore constitute a natural extension of such KR formalisms. Nevertheless, there is at present no generally accepted semantics, with corresponding syntactic characterization, for preferential consequence in modal logics. In this paper the authors fill this gap by providing a natural and intuitive semantics for preferential and rational modal consequence. They do so by placing a preference order on possible worlds indexed by Kripke models they belong to. They also prove representation results for both preferential and rational consequence, which paves the way for effective decision procedures for modal preferential reasoning. They then illustrate applications of their constructions to modal logics widely used in AI, notably in the contexts of reasoning about actions, knowledge and beliefs. They argue that their semantics constitute the foundation on which to explore preferential reasoning in modal logics in general.enNon-monotonic reasoningSematicsModal logicArtificial intelligenceArticleBritz, K., Meyer, T., & Varzinczak, I. (2011). Preferential reasoning for modal logics. http://hdl.handle.net/10204/5397Britz, K, T Meyer, and I Varzinczak "Preferential reasoning for modal logics." (2011) http://hdl.handle.net/10204/5397Britz K, Meyer T, Varzinczak I. Preferential reasoning for modal logics. 2011; http://hdl.handle.net/10204/5397.TY - Article AU - Britz, K AU - Meyer, T AU - Varzinczak, I AB - Modal logic is the foundation for a versatile and well-established class of knowledge representation formalisms in artificial intelligence. Enriching modal logics with non-monotonic reasoning capabilities such as preferential reasoning as developed by Lehmann and colleagues would therefore constitute a natural extension of such KR formalisms. Nevertheless, there is at present no generally accepted semantics, with corresponding syntactic characterization, for preferential consequence in modal logics. In this paper the authors fill this gap by providing a natural and intuitive semantics for preferential and rational modal consequence. They do so by placing a preference order on possible worlds indexed by Kripke models they belong to. They also prove representation results for both preferential and rational consequence, which paves the way for effective decision procedures for modal preferential reasoning. They then illustrate applications of their constructions to modal logics widely used in AI, notably in the contexts of reasoning about actions, knowledge and beliefs. They argue that their semantics constitute the foundation on which to explore preferential reasoning in modal logics in general. DA - 2011-11 DB - ResearchSpace DP - CSIR KW - Non-monotonic reasoning KW - Sematics KW - Modal logic KW - Artificial intelligence LK - https://researchspace.csir.co.za PY - 2011 SM - 1571-0661 SM - 1571-0661 T1 - Preferential reasoning for modal logics TI - Preferential reasoning for modal logics UR - http://hdl.handle.net/10204/5397 ER -