State Space Reduction Using Partial Order Techniques.
Edmund M. ClarkeOrna GrumbergMarius MineaDoron A. PeledPublished in: Int. J. Softw. Tools Technol. Transf. (1999)
Keyphrases
- partial order
- state space
- partially ordered
- total order
- heuristic search
- stable marriage
- reinforcement learning
- dynamic programming
- partial ordering
- markov decision processes
- dynamical systems
- vertex cover
- lattice structure
- particle filter
- planning problems
- learning algorithm
- optimal policy
- preference relations
- state variables
- totally ordered
- conditional independencies
- causal links
- temporal planning
- maximum weight
- set theory
- heuristic function
- conceptual graphs
- sequential patterns
- constraint satisfaction