Show simple item record

AuthorBercher, Pascaldc.contributor.author
Date of accession2018-01-05T10:16:07Zdc.date.accessioned
Available in OPARU since2018-01-05T10:16:07Zdc.date.available
Year of creation2017dc.date.created
Date of first publication2018-01-05dc.date.issued
AbstractThis work lays fundamental groundwork for the development of so-called Companion Systems - cognitive technical systems that are capable to reason about themselves, their users and environment, and to plan a course of action to achieve their users' goals. They are intelligent devices that assist their users in operating them: instead of the user having to learn how to operate the respective system, the system is intelligent and flexible enough to provide its functionality in a truly user-friendly way. To fully meet a user's demands, Companion Systems rely on a multi-facet of capabilities that stem from different disciplines, such as Artificial Intelligence (AI) planning, knowledge representation and reasoning, dialog management, and user interaction management, to name just a few. This thesis focuses on the relevant aspects of AI planning technology that are of importance for such systems. AI planning is the central technology for many Companion Systems as it allows to compute a course of action that, if followed by its user, achieves his or her goals and therefore serves as a basis of providing advanced user assistance. This thesis is concerned with hybrid planning - a hierarchical planning formalism that is especially suited for the basis of providing assistance to human users. Based on this formalism we will investigate the full endeavor of developing Companion Systems - from theory to practice. The thesis presents a novel formalization for hierarchical planning problems, which has become a standard in the field. We present a categorization of different problem classes into which hybrid planning as well as other well-known problem classes fall. This formalization allowed to prove a series of novel complexity results that are of interest both for theoretical and practical considerations. For many of the identified classes we introduce novel heuristics that are used to speed up the solution generation process. Some of them are the very first for the respective problem class, and some are the first admissible ones, thereby allowing to find optimal solutions -- which is especially important when plans are generated for human users. We apply hybrid planning in a prototypical Companion System. It assists a user in the task of setting up a complex home entertainment system. Based on a declarative (planning) model of the available hardware and its functionality, the assistant computes a sequence of actions that the user simply needs to follow to complete the setup task. Several so-called user-centered planning capabilities are applied in this system, such as a technique for generating user-friendly linearizations of non-linear plans or the capability to answer questions about the necessity of actions - an essential property to ensure transparency of the system's behavior. In conclusion: Most modern technical devices are still lacking true intelligence - since no research such as AI planning is sufficiently applied, so there is still huge potential in making such devices really smart by implementing them as cognitive systems that effectively assist their human users. Applying the research presented in this thesis is one step towards achieving this goal.dc.description.abstract
Languageen_USdc.language.iso
PublisherUniversität Ulmdc.publisher
Has partP. Bercher, G. Behnke, D. Höller, and S. Biundo. “An Admissible HTN Planning Heuristic”. In: Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI 2017). AAAI Press, 2017, pp. 480–488. doi: 10.24963/ijcai.2017/68dc.relation.haspart
Has partP. Bercher, D. Höller, G. Behnke, and S. Biundo. “User-Centered Planning”. In: Companion Technology – A Paradigm Shift in Human-Technology Interaction. Ed. by S. Biundo and A. Wendemuth. Cognitive Technologies. In print. Springer, 2017. Chap. 5, pp. 79–100. isbn: 978-3-319-43664-7. doi: 10.1007/978-3-319-43665-4_5.dc.relation.haspart
Has partS. Biundo, D. Höller, B. Schattenberg, and P. Bercher. “Companion-Technology: An Overview”. In: Künstliche Intelligenz 30.1 (2016). Special Issue on Companion Technologies, pp. 11–20. doi: 10.1007/s13218-015-0419-3.dc.relation.haspart
Has partP. Bercher, D. Höller, G. Behnke, and S. Biundo. “More than a Name? On Implications of Preconditions and Effects of Compound HTN Planning Tasks”. In: Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI 2016). IOS Press, 2016, pp. 225–233. doi: 10.3233/978-1-61499-672-9-225.dc.relation.haspart
Has partP. Bercher, F. Richter, T. Hörnle, T. Geier, D. Höller, G. Behnke, F. Nothdurft, F. Honold, W. Minker, M. Weber, and S. Biundo. “A Planning-based Assistance System for Setting Up a Home Theater”. In: Proceedings of the 29th National Conference on Artificial Intelligence (AAAI 2015). AAAI Press, 2015, pp. 4264–4265.dc.relation.haspart
Has partP. Bercher, S. Biundo, T. Geier, T. Hörnle, F. Nothdurft, F. Richter, and B. Schattenberg. “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 2014). AAAI Press, 2014, pp. 386–394.dc.relation.haspart
Has partP. Bercher, S. Keen, and S. Biundo. “Hybrid Planning Heuristics Based on Task Decomposition Graphs”. In: Proceedings of the 7th Annual Symposium on Combinatorial Search (SoCS 2014). AAAI Press, 2014, pp. 35–43.dc.relation.haspart
Has partP. Bercher, T. Geier, and S. Biundo. “Using State-Based Planning Heuristics for Partial-Order Causal-Link Planning”. In: Advances in Artificial Intelligence, Proceedings of the 36th German Conference on Artificial Intelligence (KI 2013). Springer, 2013, pp. 1–12. doi: 10.1007/978-3-642-40942-4_1dc.relation.haspart
Has partP. Bercher, T. Geier, F. Richter, and S. Biundo. “On Delete Relaxation in Partial-Order Causal-Link Planning”. In: Proceedings of the 2013 IEEE 25th International Conference on Tools with Artificial Intelligence (ICTAI 2013). IEEE Computer Society, 2013, pp. 674–681. doi: 10.1109/ICTAI.2013.105dc.relation.haspart
Has partM. Elkawkagy, P. Bercher, B. Schattenberg, and S. Biundo. “Improving Hierarchical Planning Performance by the Use of Landmarks”. In: Proceedings of the 26th AAAI Conference on Artificial Intelligence (AAAI 2012). AAAI Press, 2012, pp. 1763–1769.dc.relation.haspart
Has partS. Biundo, P. Bercher, T. Geier, F. Müller, and B. Schattenberg. “Advanced user assistance based on AI planning”. In: Cognitive Systems Research 12.3-4 (Apr. 2011). Special Issue on Complex Cognition, pp. 219–236. doi: 10.1016/j.cogsys.2010.12.005dc.relation.haspart
Has partT. Geier and P. Bercher. “On the Decidability of HTN Planning with Task Insertion”. In: Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011). AAAI Press, 2011, pp. 1955–1961.dc.relation.haspart
LicenseStandarddc.rights
Link to license texthttps://oparu.uni-ulm.de/xmlui/license_v3dc.rights.uri
KeywordAutomated planningdc.subject
KeywordAI planningdc.subject
KeywordUser supportdc.subject
KeywordAssistance systemdc.subject
Dewey Decimal GroupDDC 004 / Data processing & computer sciencedc.subject.ddc
LCSHHuman-computer interactiondc.subject.lcsh
LCSHArtificial intelligencedc.subject.lcsh
TitleHybrid planning - from theory to practicedc.title
Resource typeDissertationdc.type
Date of acceptance2017-12-04dcterms.dateAccepted
RefereeBiundo-Stephan, Susannedc.contributor.referee
RefereeHelmert, Maltedc.contributor.referee
RefereeHoffmann, Jörgdc.contributor.referee
DOIhttp://dx.doi.org/10.18725/OPARU-5242dc.identifier.doi
PPN1658644298dc.identifier.ppn
URNhttp://nbn-resolving.de/urn:nbn:de:bsz:289-oparu-5299-7dc.identifier.urn
GNDMensch-Maschine-Kommunikationdc.subject.gnd
GNDKünstliche Intelligenzdc.subject.gnd
GNDAutomatische Handlungsplanungdc.subject.gnd
GNDAssistenzsystemdc.subject.gnd
FacultyFakultät für Ingenieurwissenschaften, Informatik und Psychologieuulm.affiliationGeneral
InstitutionInstitut für Künstliche Intelligenzuulm.affiliationSpecific
Shelfmark print versionW: W-H 15.382uulm.shelfmark
Grantor of degreeFakultät für Ingenieurwissenschaften, Informatik und Psychologieuulm.thesisGrantor
DCMI TypeTextuulm.typeDCMI
CategoryPublikationenuulm.category
FundingTRR 62 / Eine Companion-Technologie für kognitive technische Systeme / DFG / SFB-TRR / 54371073uulm.funding
Bibliographyuulmuulm.bibliographie


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record