DMCA
I.: Defeasible modalities (2013)
| Venue: | In: Proceedings of the 14th Conference on Theoretical Aspects of Rationality and Knowledge (TARK |
| Citations: | 5 - 2 self |
BibTeX
@INPROCEEDINGS{Britz13i.:defeasible,
author = {Katarina Britz and Ivan Varzinczak},
title = {I.: Defeasible modalities},
booktitle = {In: Proceedings of the 14th Conference on Theoretical Aspects of Rationality and Knowledge (TARK},
year = {2013},
pages = {49--60}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Nonmonotonic logics are usually characterized by the pres-ence of some notion of ‘conditional ’ that fails monotonicity. Research on nonmonotonic logics is therefore largely con-cerned with the defeasibility of argument forms and the as-sociated normality (or abnormality) of its constituents. In contrast, defeasible modes of inference aim to formalize the defeasible aspects of modal notions such as actions, obli-gations and knowledge. In this work we enrich the stan-dard possible worlds semantics with a preference ordering on worlds in Kripke models. The resulting family of modal logics allow for the elegant expression of defeasible modali-ties. We also propose a tableau calculus which is sound and complete with respect to our preferential semantics. Keywords Knowledge representation and reasoning; modal logic; pref-erential semantics; defeasible modes of inference
Keyphrases
defeasible modality defeasible mode nonmonotonic logic preferential semantics stan-dard possible world semantics argument form tableau calculus defeasible aspect modal logic defeasible modali-ties modal notion kripke model as-sociated normality keywords knowledge representation pref-erential semantics elegant expression inference aim
