Generality and Equivalence Relations in Default Logic.
Katsumi InoueChiaki SakamaPublished in: AAAI (2007)
Keyphrases
- default logic
- equivalence relation
- rough set theory
- default theories
- autoepistemic logic
- nonmonotonic reasoning
- default reasoning
- logic programming
- rough sets
- nonmonotonic logics
- fixed point
- granular computing
- modal logic
- default rules
- numerical data
- binary relations
- partial order
- concept lattice
- stationary distribution
- expressive power
- markov chain
- bayesian networks
- databases
- database