| 
			
A possible world specifies a value for every random variable and decision variable. Given
  a policy and a possible world, how do we know if the possible world satisfies the policy?
  | 
| Main Tools: Graph Searching | Consistency for CSP | SLS for CSP | Deduction | Belief and Decision Networks | Decision Trees | Neural Networks | STRIPS to CSP |