Stable Closures, Defeasible Logic and Contradiction Tolerant Reasoning.
Paul MorrisPublished in: AAAI (1988)
Keyphrases
- defeasible logic
- defeasible reasoning
- knowledge representation and reasoning
- legal reasoning
- forward chaining
- rule base
- cognitive agents
- nonmonotonic reasoning
- extended logic programs
- reasoning systems
- business rules
- case based reasoning
- knowledge representation
- knowledge base
- logic programming
- artificial intelligence
- automated reasoning
- neural network
- probabilistic reasoning
- inference rules
- production rules
- default logic
- genetic programming
- description logics
- general purpose
- information systems
- machine learning
- highly expressive
- real time