In this talk I will describe how an agent's knowledge can be represented by a collection of databases. We can then model sensing and other actions as updates to these databases. Thus we lift the STRIPS representation to the incomplete knowledge situation. Although this approach restricts what can be represented, it has the advantage that now plans can be found by state space search: the states represent the agent's incomplete knowledge at each stage of the plan. This approach also provides a clean separation between plan time and execution time knowledge.
This is joint work with Ron Petrick (now a Ph.D. student at the University of Toronto).