Abstract
In this paper we discuss our work on plan management in the Autominder cognitive orthotic system. Autominder is being designed as part of an initiative on the development of robotic assistants for the elderly. Autominder stores and updates user plans, tracks their execution via input from robot sensors, and provides carefully chosen and timed reminders of the activities to be performed. It will eventually also learn the typical behavior of the user with regard to the execution of these plans. A central component of Autominder is its Plan Manager (PM), which is responsible for the temporal reasoning involved in updating plans and tracking their execution. The PM models plan update problems as disjunctive temporal problems (DTPs) and uses the Epilitis DTP-solving system to handle them. We describe the plan representations and algorithms used by the Plan Manager, and briefly discuss its connections with the rest of the system.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
E. Giunchiglia, A. Armando, and C. Castellini. Sat-based procedures for temporal reasoning. In 5th European Conference on Planning, 1999.
G. Baltus, D. Fox, F. Gemperle, J. Goetz, T. Hirsch, D. Margaritis, M. Montermelo, J. Pineau, N. Roy, J. Schulte, and S. Thrun. Towards personal service robots for the elderly. In Workshop on Interactive Robots and Entertainment, 2000.
Pauline M. Berry and Karen L. Myers. Adaptive process management: An AI perspective. In Proceedings of the Workshop Towards Adaptive Workflow System, 1998. Available at http://www.ai.sri.com/~berry/publications/cscw98-sri.html.
Dirk Colbry, Barth Peintner, and Martha E. Pollack. Execution monitoring with quantitative temporal dynamic bayesian networks. In Proceedings of the Sixth International Conference on AI Planning Systems (AIPS), Toulouse, France, 2002.
Elliot Cole. Cognitive prosthetics: An overview to a method of treatment. Neu-roRehabilitation, 12:39–51, 1999.
R. Dechter, I. Meiri, and J. Pearl. Temporal constraint networks. Artificial Intelligence, 49:61–95, 1991.
B. Drabble, T. Lydiard, and A. Tate. Workflow support in the air campaign planning process. In Proceedings of the Workshop on Interactive and Collaborative Planning, AIPS98, Pittsburgh, PA, 1998.
G. Duftschmid, S. Miksch, and W. Gall. Verification of temporal scheduling constraints in clinical praticle guidelines. In To appear in Artificial Intelligence in Medicine, 2002, 2002.
Dimitrios Georgakopoulos, Mark Hornick, and Amit Sheth. An overview of workflow management: From process modeling to workflow autonomation infastructure. Distributed and Parallel Databases, 3:119–153, 1995.
Dirk Mahling, Noel Craven, and W. Bruce Croft. From office automation to intelligent workflow systems. IEEE Expert, 10(3), 1995.
Colleen E. McCarthy and Martha E. Pollack. A plan-based personalized cognitive orthotic. In Proceedings of the Sixth International Conference on AI Planning Systems (AIPS), Toulouse, France, 2002.
Silvia Miksch. Plan management in the medical domain. AI Communications, 4, 1999.
Paul Morris, Nicola Muscettola, and Thierry Vidal. Dynamic control of plans with temporal uncertainty. In International Joint Conference on Artificial Intelligence-2001, pages 494–502, 2001.
Nicola Muscettola, Paul Morris, and Ioannis Tsamardinos. Reformulating temporal plans for efficient execution. In Proceedings of the 6th Conference on Principles of Knowledge Representation and Reasoning, 1998.
Nursebot. Nursebot project: Robotic assistants for the elderly, 2000. Available at http://www.cs.cmu.edu/~nursebot/.
Gary J. Nutt. The evoluation towards flexible workflow systems. Distributed Systems Engineering, pages 276–294, 1996.
Angelo Oddi and Amedeo Cesta. Incremental forward checking for the disjunctive temporal problem. In European Conference on Artificial Intelligence, 2000.
J. Pineau and S. Thrun. High-level robot behavior control using POMDPS. In AAAI-02 Workshop on Cognitive Robotics, 2002.
Martha E. Pollack. Planning technology for intelligent cognitive orthotics. In Proceedings of the Sixth International Conference on AI Planning Systems (AIPS), Toulouse, France, 2002.
Martha E. Pollack and John F. Horty. There’s more to life than making plans: Plan management in dynamic environments. AI Magazine, 20(4):71–84, 1999.
K. Stergiou and M. Koubarakis. Backtracking algorithms for disjunctions of temporal constraints. Artificial Intelligence, 120:81–117, 2000.
Kostas Stergiou and Manolis Koubarakis. Backtracking algorithms for disjunctions of temporal constraints. In 15th National Conference on Artificial Intelligence (AAAI), 1998.
S. Thrun, J. Langford, and V. Verma. Risk senstive particle filters. Advances in Neural Information Processing Systems, 14, 2002.
Ioannis Tsamardinos. Constraint-Based Temporal Reasoning Algorithms, with Applications to Planning. PhD thesis, University of Pittsburgh, Pittsburgh, PA, 2001.
Ioannis Tsamardinos and Martha E. Pollack. Efficient solution techniques for disjunctive temporal problems. Under review. Available from the authors upon request., 2002.
Ioannis Tsamardinos, Martha E. Pollack, and Philip Ganchev. Flexible dispatch of disjunctive plans. In To appear in the 6th European Conference on Planning, 2001.
R. J. Wallace and E. C. Freuder. Dispatchable execution of schedules involving consumable resources. In Proceedings of the 5th International Conference on Artificial Intelligence Planning and Scheduling, 2000.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Pollack, M.E., McCarthy, C.E., Ramakrishnan, S., Tsamardinos, I. (2002). Execution-Time Plan Management for a Cognitive Orthotic System. In: Beetz, M., Hertzberg, J., Ghallab, M., Pollack, M.E. (eds) Advances in Plan-Based Control of Robotic Agents. Lecture Notes in Computer Science(), vol 2466. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-37724-7_11
Download citation
DOI: https://doi.org/10.1007/3-540-37724-7_11
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-00168-3
Online ISBN: 978-3-540-37724-5
eBook Packages: Springer Book Archive