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.

Analytic Tableaux Calculi for KLM Logics of Nonmonotonic Reasoning

GLIOZZI, Valentina;POZZATO, GIAN LUCA
2009-01-01

Abstract

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.
2009
10 (3)
18
1
47
http://dl.acm.org/citation.cfm?id=1507248
Preferential Logic; Nonmonotonic Reasoning; Tableaux Calculi
Laura Giordano; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato
File in questo prodotto:
File Dimensione Formato  
ACMtoclKLM.pdf

Accesso riservato

Tipo di file: POSTPRINT (VERSIONE FINALE DELL’AUTORE)
Dimensione 701.7 kB
Formato Adobe PDF
701.7 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2318/31991
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 28
  • ???jsp.display-item.citation.isi??? 15
social impact