Analytic Tableaux Calculi for KLM Logics of Nonmonotonic Reasoning

Thumbnail Image

Date

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

We present tableau calculi for some logics of nonmonotonic reasoning, as defined by Kraus, Lehmann and Magidor. We give a tableau proof procedure for all KLM logics, namely preferential, loop-cumulative, cumulative and rational logics. Our calculi are obtained by introducing suitable modalities to interpret conditional assertions. We provide a decision procedure for the logics considered, and we study their complexity.
54 pages + appendix with proofs

Keywords

Logic in Computer Science, Artificial Intelligence, F.4.1; I.2.3

Citation

URI

http://salesiana.dossiersoluciones.com/handle/123456789/118843

Consulte el texto completo en el siguiente enlace:

https://arxiv.org/abs/cs/0611046
 http://arxiv.org/abs/cs/0611046

Collections

arXiv