situation calculus - situations, actions, result function
frame problem
- how to say when things dont change (e.g.
cartoon frames)
qualification problem - how to define circumstances
under which an action will work (e.g. banana
in tailpipe)
ramification problem - how to infer all of the implicit consequences of actions (e.g. moving luggage)