Reasoning about Evolving Nonmonotonic Knowledge Bases
Thomas EiterMichael FinkGiuliana SabbatiniHans TompitsPublished in: CoRR (2002)
Keyphrases
- knowledge base
- logic programming
- description logics
- probabilistic knowledge
- nonmonotonic logics
- nonmonotonic reasoning
- closed world reasoning
- knowledge based systems
- tableau calculus
- possibilistic logic
- spatial reasoning
- modal logic
- belief revision
- truth maintenance systems
- knowledge acquisition
- autoepistemic logic
- formal theory
- default logic
- multiple inheritance
- knowledge representation
- model theoretic
- reasoning process
- defeasible logic
- default reasoning from conditional knowledge bases
- minimal models
- knowledge sources
- default reasoning
- belief base
- production rules
- temporal logic
- modal operators
- meta knowledge
- practical reasoning
- dl lite
- artificial intelligence
- wordnet
- multi context systems
- evolutionary algorithm
- expert systems