State Space Reduction of Rewrite Theories Using Invisible Transitions.
Azadeh FarzanJosé MeseguerPublished in: AMAST (2006)
Keyphrases
- state space
- state transition
- heuristic search
- markov decision processes
- reinforcement learning
- dynamical systems
- state variables
- optimal policy
- markov chain
- planning problems
- genetic algorithm
- initial state
- particle filter
- theoretical framework
- dynamic programming
- case study
- query rewriting
- state transitions
- probability distribution
- search space
- computational models
- information systems
- artificial intelligence
- neural network
- continuous time markov process