Updating databases with incomplete information
Updating databases with incomplete information
Planning with constraints
Knowledge-based experiment design in molecular genetics
Knowledge-based experiment design in molecular genetics
Temporal reasoning involving counterfactnais and disjunctions
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 2
Cognitive economy in artificial intelligence systems
IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 1
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
Hi-index | 0.00 |
Let Robbie be an agent possessing a generalized plan for accomplishing a goal. Can Robbie use his plan to accomplish the goal without passing through any of a set of forbidden world states en route. to the goal? This situation arises if, for example, Robbie must accomplish the goal with some additional constramts ("Can I get to the airport in time without speeding?"). There are two poles in the spectrum of methods Robbie can use to test his plan in the new world situation each with its own advantages and disadvantages. At one extreme, Robbie can choose to express the new world constraints as additional preconditions on all the operators used for planning. At the other extreme, Robbie can attempt to prove that the new constramts are satisfied in every possible world that could arise during execution of the plan, from any initial world state that is consistent with his axioms. In this paper we examine the tradeoffs between these two opposing approaches, and show that the approaches are in fact very similar from a computational complexity point of view.