In this paper we present a tableau calculus for the rational logic R of default reasoning, introduced by Kraus, Lehmann and Magidor. Our calculus is obtained by introducing suitable modalities to interpret conditional assertions, and makes use of labels to represent possible worlds. We also provide a decision procedure for R, and study its complexity.
Analytic Tableaux Calculi for KLM Rational Logic R
GLIOZZI, Valentina;POZZATO, GIAN LUCA
2006-01-01
Abstract
In this paper we present a tableau calculus for the rational logic R of default reasoning, introduced by Kraus, Lehmann and Magidor. Our calculus is obtained by introducing suitable modalities to interpret conditional assertions, and makes use of labels to represent possible worlds. We also provide a decision procedure for R, and study its complexity.
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
JELIA 2006.pdf
Accesso riservato
Tipo di file:
POSTPRINT (VERSIONE FINALE DELL’AUTORE)
Dimensione
613.63 kB
Formato
Adobe PDF
|
613.63 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.
