Automated Deduction for Logics of Default Reasoning

Authors:
Laura Giordano;Valentina Gliozzi;Nicola Olivetti;Gian Luca Pozzato
Affiliations:
Dip. di Informatica --Università del Piemonte Orientale A. Avogadro --Alessandria, Italy --e-mail: laura@mfn.unipmn.it;Dip. di Informatica --Università degli Studi di Torino, Italy --e-mail: {gliozzi,pozzato}@di.unito.it;LSIS --UMR CNRS 6168 Université Paul Cézanne (Aix-Marseille 3), France --e-mail: nicola.olivetti@univ.u-3mrs.fr;Dip. di Informatica --Università degli Studi di Torino, Italy --e-mail: {gliozzi,pozzato}@di.unito.it
Venue:
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Year:
2006

Citing 5
Cited 1

Nonmonotonic reasoning, preferential models and cumulative logics

Artificial Intelligence
What does a conditional knowledge base entail?

Artificial Intelligence
First-order conditional logic for default reasoning revisited

ACM Transactions on Computational Logic (TOCL)
Plausibility measures and default reasoning

Journal of the ACM (JACM)
Analytic tableaux for KLM preferential and cumulative logics

LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning

Conditional and Preferential Logics: Proof Methods and Theorem Proving

Proceedings of the 2010 conference on Conditional and Preferential Logics: Proof Methods and Theorem Proving

Quantified Score

Hi-index	0.00

Visualization

Abstract

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, it makes use of labels to represent possible worlds, and it can be used to provide a decision procedure for R.