Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben
KI - Künstliche Intelligenz
Erschienen in: KI - Künstliche Intelligenz 1/2016

22.09.2015 | Doctoral and Postdoctoral Dissertations

Search Complexities for HTN Planning

verfasst von: Ronald Alford

Erschienen in: KI - Künstliche Intelligenz | Ausgabe 1/2016

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Excerpt

From home assistance robots [7] to interactive instructions and diagnostics [6], Hierarchical Task Network (HTN) planning is key formalism for systems that intelligently respond to human interaction. HTNs represent procedural knowledge on how to break down complex tasks into executable steps, and have also been used in planning for robotics [14], security testing [13], and plan recognition [5]. In large part, HTN planning extends classical planning [10], which focuses on using domain-independent heuristics to search for a sequence of actions to obtain a goal. Over the past 15 years, there have been significant advances in heuristics and heuristic search algorithms for classical planning [11, 12, 15], but for the most part, these techniques have not been incorporated into modern HTN planners. …
Vorheriger Artikel Hybrid Planning and Scheduling
Nächster Artikel Interview with David E. Smith

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

KI - Künstliche Intelligenz

The Scientific journal "KI – Künstliche Intelligenz" is the official journal of the division for artificial intelligence within the "Gesellschaft für Informatik e.V." (GI) – the German Informatics Society - with constributions from troughout the field of artificial intelligence.

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Jetzt informieren
Weitere Produktempfehlungen anzeigen
Literatur
1.
Alford R (2013) Search complexities for HTN planning. Ph.D. thesis, University of Maryland, College Park
2.
Alford R, Bercher P, Aha DW (2015) Tight bounds for HTN planning. In: Proceedings of the 25th international conference on automated planning and scheduling (ICAPS). AAAI Press, pp 7–15
3.
Alford R, Bercher P, Aha DW (2015) Tight bounds for HTN planning with task insertion. In: Proceedings of the 24th international joint conference on artificial intelligence (IJCAI). AAAI Press, pp 1502–1508
4.
Alford R, Kuter U, Nau D, Goldman RP (2014) Plan aggregation for strong cyclic planning in nondeterministic domains. Artif Intell 216:206–232CrossRefMathSciNetMATH
5.
Behnke G, Höller D, Biundo S (2015) On the complexity of HTN plan verification and its implications for plan recognition. In: Proceedings of the 25th international conference on automated planning and scheduling (ICAPS). AAAI Press, pp 25–33
6.
Bercher P, Biundo S, Geier T, Hörnle T, Nothdurft F, Richter F, Schattenberg B (2014) Plan, repair, execute, explain—how planning helps to assemble your home theater. In: Proceedings of the 24th international conference on automated planning and scheduling (ICAPS). AAAI Press, pp 386–39
7.
Breuer T, Macedo GRG, Hartanto R, Hochgeschwender N, Holz D, Hegger F, Jin Z, Müller C, Paulus J, Reckhaus M, Anotonio J, Ruizi Á, Plöger PG, Kraetzschmar GK (2012) Johnny: an autonomous service robot for domestic environments. J Intell Robot Syst 66(1–2):245–272CrossRef
8.
Erol K, Hendler J, Nau DS (1994) HTN planning: complexity and expressivity. In: Proceedings of the 12th national conference on artificial intelligence (AAAI), vol 94. AAAI Press, pp 1123–1128
9.
Geier T, Bercher P (2011) On the decidability of HTN planning with task insertion. In: Proceedings of the 22nd international joint conference on artificial intelligence (IJCAI). AAAI Press, pp 1955–1961
10.
Ghallab M, Nau DS, Traverso P (2004) Automated planning: theory & practice. Morgan Kaufmann, Burlington, Massachusetts, USA
11.
Helmert M (2006) The fast downward planning system. J Artif Intell Res 26(1):191–246MATH
12.
Hoffmann J, Nebel B (2001) The FF planning system: fast plan generation through heuristic search. J Artif Intell Res 14:253–302MATH
13.
Kuter U, Burstein M, Benton J, Thayer J, McCoy S (2015) HACKAR: helpful advice for code knowledge and attack resilience. In: Proceedings of the twenty-seventh IAAI conference. AAAI Press, pp 3987–3992
14.
Nau DS, Au TC, Ilghami O, Kuter U, Wu D, Yaman F, Muñoz-Avila H, Murdock JW (2005) Applications of SHOP and SHOP2. Intell Syst IEEE 20:34–41CrossRef
15.
Richter S, Westphal M (2010) The LAMA planner: guiding cost-based anytime planning with landmarks. J Artif Intell Res 39(1):127–177MATH
Metadaten
Titel
Search Complexities for HTN Planning
verfasst von
Ronald Alford
Publikationsdatum
22.09.2015
Verlag
Springer Berlin Heidelberg
Erschienen in
KI - Künstliche Intelligenz / Ausgabe 1/2016
Print ISSN: 0933-1875
Elektronische ISSN: 1610-1987
DOI
https://doi.org/10.1007/s13218-015-0396-6

Weitere Artikel der Ausgabe 1/2016

KI - Künstliche Intelligenz 1/2016 Zur Ausgabe

Research Project

Information Density and Linguistic Encoding (IDeaL)

Interview

Interview with David E. Smith

Survey

Companion-Technology: An Overview

Technical Contribution

How Companion-Technology can Enhance a Multi-Screen Television Experience: A Test Bed for Adaptive Multimodal Interaction in Domestic Environments

Technical Contribution

A Camera-Based Mobility Aid for Visually Impaired People

Technical Contribution

Search Challenges in Natural Language Generation with Complex Optimization Objectives