Analytic tableaux calculi for KLM logics of nonmonotonic reasoning

Laura Giordano; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato

doi:10.1145/1507244.1507248

Analytic tableaux calculi for KLM logics of nonmonotonic reasoning

Laura Giordano
, Valentina Gliozzi
, Nicola Olivetti
, Gian Luca Pozzato

Dipartimento di Scienze e Innovazione Tecnologica

Risultato della ricerca: Contributo su rivista › Articolo in rivista › peer review

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.

Lingua originale	Inglese
Numero di articolo	18
Rivista	ACM Transactions on Computational Logic
Volume	10
Numero di pubblicazione	3
DOI	https://doi.org/10.1145/1507244.1507248
Stato di pubblicazione	Pubblicato - 1 apr 2009

Accesso al documento

10.1145/1507244.1507248

Altri file e collegamenti

Link to publication in Scopus

Cita questo

@article{3fcadf76c982469b9c28eb170d34e6a6,

title = "Analytic tableaux calculi for KLM logics of nonmonotonic reasoning",

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.",

keywords = "Analytic tableaux calculi, Nonmonotonic reasoning",

author = "Laura Giordano and Valentina Gliozzi and Nicola Olivetti and Pozzato, \{Gian Luca\}",

year = "2009",

month = apr,

day = "1",

doi = "10.1145/1507244.1507248",

language = "English",

volume = "10",

journal = "ACM Transactions on Computational Logic",

issn = "1529-3785",

publisher = "Association for Computing Machinery (ACM)",

number = "3",

}

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 - https://www.scopus.com/pages/publications/67249084310

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 -

Analytic tableaux calculi for KLM logics of nonmonotonic reasoning

Abstract

Accesso al documento

Altri file e collegamenti

Fingerprint

Cita questo