Planning for conjunctive goals
Artificial Intelligence
Generating recipes: an overview of epicure
Current research in natural language generation
Artificial Intelligence
GPS, a program that simulates human thought
Computers & thought
Some Deadlock Properties of Computer Systems
ACM Computing Surveys (CSUR)
The synthesis of digital machines with provable epistemic properties
TARK '86 Proceedings of the 1986 conference on Theoretical aspects of reasoning about knowledge
STRIPS: a new approach to the application of theorem proving to problem solving
IJCAI'71 Proceedings of the 2nd international joint conference on Artificial intelligence
The anatomy of easy problems: a constraint-satisfaction formulation
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 2
Computational research on interaction and agency
Artificial Intelligence
Generating artificial corpora for plan recognition
UM'05 Proceedings of the 10th international conference on User Modeling
Hi-index | 0.00 |
We present a novel object-centered formalization of action which allows us to define an interesting class of tasks, called cooking tasks, which can be performed without backtracking. Since backtracking is unnecessary, actions can be selected incrementally using a greedy method without having to precompute a plan. Such an approach is efficient and rapidly adjusts to unforeseen circumstances. Our argument is that cooking tasks are widely encountered in everyday life because of the special properties of a given culture's artifacts. In other words, culture has structured the world so as to make it easier to live in. We present an implementation of these ideas, experimental results, and control experiments using a standard nonlinear planner.