Abstract
We compare two conditional logics for defeasible inference: Alchourrón's defeasible logic DFT and Boutilier's CO logic. The two logics share the distinguishable characteristics common to most logics for defeasible inference. Namely, their conditional connective defeat the rules of Modus Ponens, Strengthening the Antecedent, Transitivity, and Contraposition. Although both logics have possible worlds semantics, Boutilier's is relational while Alchourrón's is non-relational. In this note we reveal the connection between the two, concluding that the conditional sentences validated by both logics are precisely the same.
Preview
Unable to display preview. Download preview PDF.
References
D. Lewis. 1973. Counterfactuals. Blackwell, Oxford.
C. Alchourrón. 1993. Defeasible, Strict and Counterfactual Conditionals. Nonmonotonic Inference Relations. In Conditionals and Artificial Intelligence Edited by Crocco, Fariñas del Cerro, Herzig. Toulouse, France.
C. Boutilier. 1992. Conditional Logics for belief revision and Default Reasoning. PhD. Thesis. Technical Report KRR-TR-92-1. University of Toronto, Toronto, Ontario.
C. Boutilier. 1994. Conditional Logics of Normality: A Modal Approach. Artificial Intelligence, 68:87–154.
C. Boutilier. 1994. Unifying Default Reasoning and Belief Revision in a Modal Framework. Artificial intelligence, 68: 33–85.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Becher, V. (1995). Two conditional logics for defeasible inference: A comparison preliminary version. In: Wainer, J., Carvalho, A. (eds) Advances in Artificial Intelligence. SBIA 1995. Lecture Notes in Computer Science, vol 991. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0034798
Download citation
DOI: https://doi.org/10.1007/BFb0034798
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60436-5
Online ISBN: 978-3-540-47467-8
eBook Packages: Springer Book Archive