The Abnormality Predicate

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 inheritance reasoning can be naturally represented in this framework, and generalized to the full classical language.

• Type: Conference
• Year: 1991
• Where: ISMVL
• Authors: Eric Neufeld
• Keywords: Classical Language, Default Logic, Defeasible Entailment, Hardware, ISMVL 1991