Controlling recursive inference
Artificial Intelligence
Planning for conjunctive goals
Artificial Intelligence
Artificial intelligence
Principles of artificial intelligence
Principles of artificial intelligence
A resource oriented formalism for plan generation (artificial intelligence, problem solving)
A resource oriented formalism for plan generation (artificial intelligence, problem solving)
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 2
Goal ordering in partially ordered plans
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Subgoal ordering and goal augmentation for heuristic problem solving
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 2
What Defaults Can Do That Hierarchies Can't
Fundamenta Informaticae
Hi-index | 0.00 |
We introduce methods for identifying operator preconditions that need not be expanded further. The methods are proved to be admissible, that is, they will not cause a solution to be missed when one exists. In certain cases, the methods also identify operator reformulations that increase the number of nonexpandable preconditions. This approach provides effective loop control in common situations. Moreover, the computation required can be performed during a precompilation of the operators in a domain; thus, there is no significant additional run-time overhead during planning.