On Gupta-Belnap Revision Theories of Truth, Kripkean fixed points, and the next stable set.
Philip D. WelchPublished in: Bull. Symb. Log. (2001)
Keyphrases
- fixed point
- stable set
- theory revision
- sufficient conditions
- linear logic
- knowledge base
- approximate value iteration
- temporal difference learning
- dynamical systems
- asymptotic properties
- background knowledge
- default logic
- belief propagation
- free energy
- decision problems
- orders of magnitude
- maximum likelihood
- np hard
- lower bound
- search algorithm