Two Conditional Logics for Defeasible Inference: A Comparison. Preliminary Version

VERÓNICA BECHER

Campinas

Simposio; 12th Brazilian Symposium on Artificial Intelligence, SBIA '95,; 1995

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.