TY - JOUR
T1 - Analytic tableaux calculi for KLM logics of nonmonotonic reasoning
AU - Giordano, Laura
AU - Gliozzi, Valentina
AU - Olivetti, Nicola
AU - Pozzato, Gian Luca
PY - 2009/4/1
Y1 - 2009/4/1
N2 - We present tableau calculi for the logics of nonmonotonic reasoning defined by Kraus, Lehmann and Magidor (KLM). 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.
AB - We present tableau calculi for the logics of nonmonotonic reasoning defined by Kraus, Lehmann and Magidor (KLM). 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.
KW - Analytic tableaux calculi
KW - Nonmonotonic reasoning
UR - http://www.scopus.com/inward/record.url?scp=67249084310&partnerID=8YFLogxK
U2 - 10.1145/1507244.1507248
DO - 10.1145/1507244.1507248
M3 - Article
SN - 1529-3785
VL - 10
JO - ACM Transactions on Computational Logic
JF - ACM Transactions on Computational Logic
IS - 3
M1 - 18
ER -