A Many Valued Logic of Belief: Detachment Operators.

Dimiter Driankov

Published in: IPMU (1988)

Keyphrases

data mining
modal operators
modal logic
truth values
multi valued
temporal logic
inference rules
nonmonotonic logics
classical logic
rough sets
epistemic logic
situation calculus
knowledge discovery
probability theory
belief revision
autoepistemic logic
partially ordered
conceptual clustering
fixpoint