Well defined Problems

1. States, initial state
2. Actions, successor function (state) -> action and next state
State space, path
3. Goal test
4. Path cost, step cost