[go: up one dir, main page]
More Web Proxy on the site http://driver.im/ skip to main content
10.1109/IAT.2006.99acmconferencesArticle/Chapter ViewAbstractPublication PagesiatConference Proceedingsconference-collections
Article

Planning with Action Abstraction and Plan Decomposition Hierarchies

Published: 18 December 2006 Publication History

Abstract

Useful and suitable action representations, with accompanying planning algorithms are crucial for the task performance of many agent systems, and thus a core issue of research on intelligent agents. An efficient and expressive representation of actions and plans can allow planning systems to retrieve relevant knowledge faster and to access and use suitable actions more effectively [18]. Two general approaches have been pursued in the past; STRIPS-based planners, which construct plans from scratch, based on primitive action descriptions and planners using pre-defined Plan Decompositions Hierarchies, also known as Hierarchical Task Networks. In our research, we integrated both an inheritance hierarchy of actions, using STRIPS-like action descriptions, with a plan decomposition hierarchy, which consists of pre-defined plan schemata. This combination is suitable for a richer action and plan representation, and thus an improved planning algorithm. We implemented and tested this approach for a prototypical example application: the travel planning domain.

References

[1]
{1} A. Artale and E. Franconi. A temporal description logic for reasoning about actions and plans. Journal of Artificial Intelligence Research, 9:463-506, 1998.
[2]
{2} A. Artale, E. Franconi, N. Guarino, and L. Pazzi. Part-whole relations in object-centered systems: An overview. Data Knowledge Engineering, 20(3):347-383, 1996.
[3]
{3} J. Doyle and R. Patil. Two theses of knowledge representation: Language restrictions, taxonomic classifications, and the utility of representation services. Artificial Intelligence, 48(3):261-298, 1991.
[4]
{4} K. Erol, J. Hendler, and D. Nau. Semantics for hierarchical task network planning. Technical report CS-TR-3239, UMIACS-TR-94-31, 1994.
[5]
{5} Kutluhan Erol, James Hendler, and Dana S. Nau. HTN planning: Complexity and expressivity. In Proc. Twelfth National Conference on Artificial Intelligence (AAAI-94), vol. 2, pages 1123-1128, Seattle, Washington, USA, 1994. AAAI Press/MIT Press.
[6]
{6} M. L. Ginsberg and D. E. Smith. Reasoning about action I: A possible worlds approach. In Frank M. Brown, editor, The frame problem in artificial intelligence: Proc. of the 1987 workshop, pages 233-258. Morgan Kaufmann, 1987.
[7]
{7} N. Guarino. Understanding, building, and using ontologies: A commentary to using explicit ontologies in kbs development. International Journal of Human and Computer Studies 46: 293- 310., 1997.
[8]
{8} J. Hoffmann and B. Nebel. The ff planning system: Fast plan generation through heuristic search. Journal of Artificial Intelligence Research, 14:253-302, 2001.
[9]
{9} H. A. Kautz. A formal theory of plan recognition and its implementation. In J. F. Allen, H. A. Kautz, R. Pelavin, and J. Tenenberg, editors, Reasoning About Plans, pages 69-125. Morgan Kaufmann Publishers, San Mateo (CA), USA, 1991.
[10]
{10} C. Kemke. About the ontology of actions. Technical Report MCCS-01328, 2001.
[11]
{11} C. Kemke. A formal theory for describing action concepts in terminological knowledge bases. In Canadian Conference on AI, pages 458-465, 2003.
[12]
{12} C. A. Knoblock. Automatically generating abstractions for planning, artificial intelligence. Artificial Intelligence, 68(2), 1994.
[13]
{13} T. Liebig and D. Roesner. Action hierarchies for the automatic generation of multilingual technical documents. In IJCAI- 97 Workshop Ontologies and Multilingual NLP, International Joint Conference on Artificial Intelligence, 1997.
[14]
{14} D. S. Nau, S. J. Smith, and K. Erol. Control strategies in HTN planning: Theory versus practice. In AAAI/IAAI, pages 1127-1133, 1998.
[15]
{15} A. Weida and D. Litman. Subsumption and recognition of heterogeneous constraint networks. In Proc. 10th IEEE Conference on Artificial Intelligence, San Antonio (TX), USA, pages 381-388, 1994.
[16]
{16} R. Weida and D. Litman. Terminological reasoning with constraint networks and an application to plan recognition. In Principles of Knowledge Representation and Reasoning, pages 282-293, 1992.
[17]
{17} D. S. Weld. Recent advances in AI planning. AI Magazine, 20(2):93-123, 1999.
[18]
{18} D. Wilkins and M. DesJardins. A call for knowledge-based planning. In AIPS Workshop on Analysing and Exploiting Domain Knowledge for Efficient Planning, 2000.
[19]
{19} W. Woods. Conceptual indexing: A better way to organize knowledge. Technical Report SMLI TR-97-61, Sun Microsystems Laboratories, 1997.

Cited By

View all
  • (2023)Recent Trends in Task and Motion Planning for Robotics: A SurveyACM Computing Surveys10.1145/358313655:13s(1-36)Online publication date: 13-Jul-2023
  • (2012)Active objectsProceedings of the 21st international conference on World Wide Web10.1145/2187836.2187916(589-598)Online publication date: 16-Apr-2012
  • (2008)On the complexity of planning operator subsumptionProceedings of the Eleventh International Conference on Principles of Knowledge Representation and Reasoning10.5555/3031661.3031723(518-527)Online publication date: 16-Sep-2008

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences
IAT '06: Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
December 2006
742 pages
ISBN:0769527485

Sponsors

Publisher

IEEE Computer Society

United States

Publication History

Published: 18 December 2006

Check for updates

Qualifiers

  • Article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)1
  • Downloads (Last 6 weeks)0
Reflects downloads up to 11 Jan 2025

Other Metrics

Citations

Cited By

View all
  • (2023)Recent Trends in Task and Motion Planning for Robotics: A SurveyACM Computing Surveys10.1145/358313655:13s(1-36)Online publication date: 13-Jul-2023
  • (2012)Active objectsProceedings of the 21st international conference on World Wide Web10.1145/2187836.2187916(589-598)Online publication date: 16-Apr-2012
  • (2008)On the complexity of planning operator subsumptionProceedings of the Eleventh International Conference on Principles of Knowledge Representation and Reasoning10.5555/3031661.3031723(518-527)Online publication date: 16-Sep-2008

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media