Analytic tableau calculi for KLM rational logic R

Authors:
Laura Giordano;Valentina Gliozzi;Nicola Olivetti;Gian Luca Pozzato
Affiliations:
Dipartimento di Informatica, Università del Piemonte Orientale A. Avogadro, Alessandria, Italy;Dipartimento di Informatica, Università degli Studi di Torino, Turin, Italy;LSIS, UMR CNRS 6168 Université Paul Cézanne, Marseille, France;Dipartimento di Informatica, Università degli Studi di Torino, Turin, Italy
Venue:
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Year:
2006

Citing 12
Cited 6

Nonmonotonic reasoning, preferential models and cumulative logics

Artificial Intelligence
What does a conditional knowledge base entail?

Artificial Intelligence
Conditional logics of normality: a modal approach

Artificial Intelligence
Nonmonotonic reasoning, conditional objects and possibility theory

Artificial Intelligence
Belief functions and default reasoning

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)
Qualitative decision theory: from savage's axioms to nonmonotonic reasoning

Journal of the ACM (JACM)
Qualitative decision theory with preference relations and comparative uncertainty: an axiomatic approach

Artificial Intelligence - Special issue: Fuzzy set and possibility theory-based methods in artificial intelligence
System JLZ: rational default reasoning by minimal ranking constructions

Journal of Applied Logic - Special issue on combining probability and logic
System Z: a natural ordering of defaults with tractable applications to nonmonotonic reasoning

TARK '90 Proceedings of the 3rd conference on Theoretical aspects of reasoning about knowledge
Analytic tableaux for KLM preferential and cumulative logics

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

KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning

TABLEAUX '07 Proceedings of the 16th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
An Implementation of a Free-Variable Tableaux for KLM Preferential Logic P of Nonmonotonic Reasoning: The Theorem Prover FreeP 1.0

AI*IA '07 Proceedings of the 10th Congress of the Italian Association for Artificial Intelligence on AI*IA 2007: Artificial Intelligence and Human-Oriented Computing
Analytic tableaux calculi for KLM logics of nonmonotonic reasoning

ACM Transactions on Computational Logic (TOCL)
Tableau calculus for preference-based conditional logics: PCL and its extensions

ACM Transactions on Computational Logic (TOCL)
Conditional and Preferential Logics: Proof Methods and Theorem Proving

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

LPAR'07 Proceedings of the 14th international conference on Logic for programming, artificial intelligence and reasoning

Quantified Score

Hi-index	0.00

Visualization

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.