Some Results on Propositional Dynamic Logic with Fixed Points.
Igor RentsNikolay V. ShilovPublished in: LFCS (1997)
Keyphrases
- fixed point
- propositional dynamic logic
- dynamic logic
- reasoning about actions
- sufficient conditions
- temporal difference learning
- dynamical systems
- belief propagation
- free energy
- approximate value iteration
- logic programming
- default logic
- asymptotic properties
- initial conditions
- probabilistic model
- situation calculus
- state space