Towards a Many Valued Logic of Belief: Detachment Operations with an Exception Condition.
Dimiter DriankovPublished in: ISMIS (1988)
Keyphrases
- truth values
- modal logic
- modal operators
- multi valued
- inference rules
- logical operations
- temporal logic
- belief revision
- sufficient conditions
- fixpoint
- belief functions
- epistemic logic
- data sets
- data mining
- classical logic
- computational properties
- nonmonotonic logics
- deontic logic
- belief state
- probability theory
- description logics
- knowledge discovery
- data model
- neural network