Reliability Measure Theory: A Nonmonotonic Semantics.
Minkoo KimAnthony S. MaidaPublished in: IEEE Trans. Knowl. Data Eng. (1993)
Keyphrases
- logic programming
- model theoretic
- nonmonotonic logics
- multiple inheritance
- information theory
- general theory
- nonmonotonic reasoning
- default rules
- autoepistemic logic
- proof theoretic
- default logic
- update semantics
- modal logic
- abstract argumentation frameworks
- distance measure
- communicative acts
- semantics of logic programs
- truth maintenance systems
- commonsense reasoning
- operational semantics
- description logics
- modal operators
- proof theory
- abstract argumentation
- deductive databases
- theoretical framework
- logic programs
- similarity measure