Default Theory of Defeasible Entailment

Alexander Bochman

We suggest a new representation of defeasible entailment and specificity in the framework of default logic. The representation is based on augmenting the underlying classical language with the language of conditionals having its own (monotonic) internal logic. It is shown, in particular, that nonmonotonic inheritance reasoning can be naturally represented in this framework, and generalized to the full classical language.

Subjects: 3.3 Nonmonotonic Reasoning; 5. Common Sense Reasoning

Submitted: Jun 10, 2008

This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.