The Logic of Only Knowing as a Unified Framework for Non-Monotonic Reasoning.
Jianhua ChenPublished in: Fundam. Informaticae (1994)
Keyphrases
- defeasible logic
- commonsense reasoning
- formal theory
- possibilistic logic
- proof theory
- modal logic
- autoepistemic logic
- classical logic
- probabilistic logic
- dynamic logic
- predicate logic
- probability theory
- logic programming
- genetic algorithm
- data sets
- automated reasoning
- default reasoning
- knowledge representation
- case study