We present tableaux calculi for some logics of default reasoning, as defined by Kraus, Lehmann and Magidor. We give a tableaux proof procedure for preferential logic P and for loop-cumulative logic CL. Our calculi are obtained by introducing suitable modalities to interpret conditional assertions. Moreover, they give a decision procedure for the respective logics and can be used to establish their complexity.
A Tableaux Calculus for KLM Preferential and Cumulative Logics
GLIOZZI, Valentina;POZZATO, GIAN LUCA
2005-01-01
Abstract
We present tableaux calculi for some logics of default reasoning, as defined by Kraus, Lehmann and Magidor. We give a tableaux proof procedure for preferential logic P and for loop-cumulative logic CL. Our calculi are obtained by introducing suitable modalities to interpret conditional assertions. Moreover, they give a decision procedure for the respective logics and can be used to establish their complexity.
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
