Sciweavers

ISMVL
1991
IEEE

The Abnormality Predicate

13 years 7 months ago
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.
Eric Neufeld
Added 27 Aug 2010
Updated 27 Aug 2010
Type Conference
Year 1991
Where ISMVL
Authors Eric Neufeld
Comments (0)