Skip to main content

Execution-Time Plan Management for a Cognitive Orthotic System

  • Conference paper
  • First Online:
Advances in Plan-Based Control of Robotic Agents

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 2466))

  • 434 Accesses

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. E. Giunchiglia, A. Armando, and C. Castellini. Sat-based procedures for temporal reasoning. In 5th European Conference on Planning, 1999.

    Google Scholar 

  2. 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.

    Google Scholar 

  3. 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.

  4. 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.

    Google Scholar 

  5. Elliot Cole. Cognitive prosthetics: An overview to a method of treatment. Neu-roRehabilitation, 12:39–51, 1999.

    Google Scholar 

  6. R. Dechter, I. Meiri, and J. Pearl. Temporal constraint networks. Artificial Intelligence, 49:61–95, 1991.

    Article  MATH  MathSciNet  Google Scholar 

  7. 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.

    Google Scholar 

  8. 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.

    Google Scholar 

  9. 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.

    Article  Google Scholar 

  10. Dirk Mahling, Noel Craven, and W. Bruce Croft. From office automation to intelligent workflow systems. IEEE Expert, 10(3), 1995.

    Google Scholar 

  11. 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.

    Google Scholar 

  12. Silvia Miksch. Plan management in the medical domain. AI Communications, 4, 1999.

    Google Scholar 

  13. 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.

    Google Scholar 

  14. 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.

    Google Scholar 

  15. Nursebot. Nursebot project: Robotic assistants for the elderly, 2000. Available at http://www.cs.cmu.edu/~nursebot/.

  16. Gary J. Nutt. The evoluation towards flexible workflow systems. Distributed Systems Engineering, pages 276–294, 1996.

    Google Scholar 

  17. Angelo Oddi and Amedeo Cesta. Incremental forward checking for the disjunctive temporal problem. In European Conference on Artificial Intelligence, 2000.

    Google Scholar 

  18. J. Pineau and S. Thrun. High-level robot behavior control using POMDPS. In AAAI-02 Workshop on Cognitive Robotics, 2002.

    Google Scholar 

  19. Martha E. Pollack. Planning technology for intelligent cognitive orthotics. In Proceedings of the Sixth International Conference on AI Planning Systems (AIPS), Toulouse, France, 2002.

    Google Scholar 

  20. 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.

    Google Scholar 

  21. K. Stergiou and M. Koubarakis. Backtracking algorithms for disjunctions of temporal constraints. Artificial Intelligence, 120:81–117, 2000.

    Article  MATH  MathSciNet  Google Scholar 

  22. Kostas Stergiou and Manolis Koubarakis. Backtracking algorithms for disjunctions of temporal constraints. In 15th National Conference on Artificial Intelligence (AAAI), 1998.

    Google Scholar 

  23. S. Thrun, J. Langford, and V. Verma. Risk senstive particle filters. Advances in Neural Information Processing Systems, 14, 2002.

    Google Scholar 

  24. Ioannis Tsamardinos. Constraint-Based Temporal Reasoning Algorithms, with Applications to Planning. PhD thesis, University of Pittsburgh, Pittsburgh, PA, 2001.

    Google Scholar 

  25. Ioannis Tsamardinos and Martha E. Pollack. Efficient solution techniques for disjunctive temporal problems. Under review. Available from the authors upon request., 2002.

    Google Scholar 

  26. Ioannis Tsamardinos, Martha E. Pollack, and Philip Ganchev. Flexible dispatch of disjunctive plans. In To appear in the 6th European Conference on Planning, 2001.

    Google Scholar 

  27. 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.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints 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

Publish with us

Policies and ethics