Finite State Evaluation of Logical Formulas : Jevons' Approach (1870) and Contemporary Description.
Paul AmblardPublished in: Acta Cybern. (2006)
Keyphrases
- finite state
- markov chain
- markov decision processes
- model checking
- logical formulas
- optimal policy
- high level
- partially observable markov decision processes
- reinforcement learning
- average cost
- action sets
- knowledge base
- transition systems
- context free
- policy iteration
- temporal logic
- partial order
- dynamic programming
- search algorithm