Fixed Points in the Propositional Nonmonotonic Logic.
Grigori F. ShvartsPublished in: Artif. Intell. (1989)
Keyphrases
- fixed point
- default logic
- nonmonotonic logics
- default theories
- nonmonotonic reasoning
- propositional logic
- default reasoning
- sufficient conditions
- dynamical systems
- classical logic
- temporal difference learning
- belief propagation
- linear logic
- approximate value iteration
- asymptotic properties
- defeasible logic
- first order logic