The Logic of Only Knowing as a Unified Framework for Non-Monotonic Reasoning.
Jianhua ChenPublished in: ISMIS (1993)
Keyphrases
- defeasible logic
- commonsense reasoning
- formal theory
- classical logic
- proof theory
- autoepistemic logic
- modal logic
- automated reasoning
- possibilistic logic
- logic programming
- knowledge representation
- deontic logic
- probabilistic logic
- multi valued
- nonmonotonic logics
- digital circuits
- computational properties
- probability theory
- asynchronous circuits
- knowledge base
- sound and complete axiomatization