A modular translation from defeasible nets to defeasible logics.
David BillingtonKoen de CosterDonald NutePublished in: J. Exp. Theor. Artif. Intell. (1990)
Keyphrases
- default logic
- defeasible logic
- inheritance reasoning
- defeasible reasoning
- deontic logic
- update semantics
- nonmonotonic reasoning
- practical reasoning
- expressive power
- tableau calculus
- default reasoning
- nonmonotonic logics
- conditional logic
- modal logic
- conflicting information
- multiple inheritance
- inference rules
- nonmonotonic inference
- multi agent
- data sets
- theoretically sound
- artificial intelligence
- legal reasoning
- case study
- machine translation
- expert systems