A Goal Directed Reasoning for Semi-Normal Default Theories.
Gerson ZaveruchaSheila R. M. VelosoPublished in: SBIA (1995)
Keyphrases
- goal directed
- default theories
- default rules
- default logic
- default reasoning
- autoepistemic logic
- answer set programming
- autonomous robots
- nonmonotonic reasoning
- nonmonotonic logics
- reasoning tasks
- revision operators
- proof theory
- logic programming
- probabilistic reasoning
- knowledge representation
- knowledge base
- fixed point
- classical logic
- commonsense reasoning
- machine learning
- database
- modal logic
- defeasible logic
- computer vision
- real time