A General-Purpose Defeasible Reasoner.
John L. PollockPublished in: J. Appl. Non Class. Logics (1996)
Keyphrases
- general purpose
- inheritance reasoning
- special purpose
- defeasible logic
- default reasoning
- domain specific
- tightly coupled
- consistency checking
- programming language
- knowledge base
- default logic
- application specific
- practical reasoning
- defeasible reasoning
- query answering
- nonmonotonic reasoning
- information systems
- real time
- temporal reasoning
- logic programming
- deontic logic
- object oriented
- case study
- theoretically sound
- conflicting information
- meta reasoning