DMCA
Preferential reasoning for modal logics
Cached
Download Links
| Venue: | Electronic Notes in Theoretical Computer Science, 278:55–69, 2011. Proc. of the Workshop on Methods for Modalities |
| Citations: | 13 - 11 self |
BibTeX
@INPROCEEDINGS{Britz_preferentialreasoning,
author = {Katarina Britz and Thomas Meyer and Ivan Varzinczak},
title = {Preferential reasoning for modal logics},
booktitle = {Electronic Notes in Theoretical Computer Science, 278:55–69, 2011. Proc. of the Workshop on Methods for Modalities},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Modal logic is the foundation for a versatile and well-established class of knowledge representation for-malisms 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 we fill this gap by providing a natural and intuitive semantics for preferential and rational modal consequence. We do so by placing a preference order on possible worlds indexed by Kripke models they belong to. We also prove representation results for both preferential and rational consequence, which paves the way for effective decision procedures for modal preferential reasoning. We then illustrate applications of our constructions to modal logics widely used in AI, notably in the contexts of reasoning about actions, knowledge and beliefs. We argue that our semantics constitutes the foundation on which to explore preferential reasoning in modal logics in general.
Keyphrases
modal logic preferential reasoning modal preferential reasoning well-established class representation result rational modal consequence corresponding syntactic characterization preference order kr formalism intuitive semantics possible world effective decision procedure preferential consequence knowledge representation for-malisms kripke model rational consequence artificial intelligence natural extension
