To Plan for the User Is to Plan with the User: Integrating User Interaction into the Planning Process

Settings where systems and users work together to solve problems collaboratively are among the most challenging applications of Companion-Technology. So far we have seen how planning technology can be exploited to realize Companion-Systems that adapt flexibly to changes in the user’s situation and environment and provide detailed help for users to realize their goals. However, such systems lack the capability to generate their plans in cooperation with the user. In this chapter we go one step further and describe how to involve the user directly into the planning process. This enables users to integrate their wishes and preferences into plans and helps the system to produce individual plans, which in turn let the Companion-System gain acceptance and trust from the user.

[1]  Birte Glimm,et al.  Coherence Across Components in Cognitive Systems - One Ontology to Rule Them All , 2015, IJCAI.

[2]  Frank Honold,et al.  Adaptive probabilistic fission for multimodal systems , 2012, OZCHI.

[3]  Gert Smolka,et al.  Attributive Concept Descriptions with Complements , 1991, Artif. Intell..

[4]  Wolfgang Minker,et al.  The Interplay of User-Centered Dialog Systems and AI Planning , 2015, SIGDIAL Conference.

[5]  Ian Horrocks,et al.  Explaining ALC Subsumption , 2000, Description Logics.

[6]  Wolfgang Minker,et al.  Probabilistic Human-Computer Trust Handling , 2014, SIGDIAL Conference.

[7]  Ari K. Jónsson,et al.  MAPGEN: Mixed-Initiative Planning and Scheduling for the Mars Exploration Rover Mission , 2004, IEEE Intell. Syst..

[8]  Michael Burmester,et al.  AttrakDiff: Ein Fragebogen zur Messung wahrgenommener hedonischer und pragmatischer Qualität , 2003, MuC.

[9]  C. Martin.  2015 , 2015, Les 25 ans de l’OMC: Une rétrospective en photos.

[10]  Susanne Biundo-Stephan,et al.  Change the Plan - How Hard Can That Be? , 2016, ICAPS.

[11]  Moshe Y. Vardi.  Why is Modal Logic So Robustly Decidable? , 1996, Descriptive Complexity and Finite Models.

[12]  Ion Androutsopoulos,et al.  Generating Natural Language Descriptions from OWL Ontologies: the NaturalOWL System , 2013, J. Artif. Intell. Res..

[13]  James F. Allen,et al.  TRIPS: An Integrated Intelligent Problem-Solving Assistant , 1998, AAAI/IAAI.

[14]  Arturo González-Ferrer,et al.  Goal-directed Generation of Exercise Sets for Upper-Limb Rehabilitation , 2014 .

[15]  Tobias Kuhn.  The understandability of OWL statements in controlled English , 2013, Semantic Web.

[16]  David A. McAllester,et al.  Systematic Nonlinear Planning , 1991, AAAI.

[17]  Hector Muñoz-Avila,et al.  Applications of SHOP and SHOP2 , 2005, IEEE Intelligent Systems.

[18]  James A. Hendler,et al.  HTN planning for Web Service composition using SHOP2 , 2004, J. Web Semant..

[19]  Bernd Schattenberg,et al.  From Abstract Crisis to Concrete Relief — A Preliminary Report on Combining State Abstraction and HTN Planning , 2014 .

[20]  Susanne Biundo-Stephan,et al.  Companion-Technology: An Overview , 2016, KI - Künstliche Intelligenz.

[21]  R. Byrne.  Planning meals: Problem-solving on a real data-base , 1977, Cognition.

[22]  Daniel S. Weld,et al.  UCPOP: A Sound, Complete, Partial Order Planner for ADL , 1992, KR.

[23]  Pascal Bercher,et al.  On the Decidability of HTN Planning with Task Insertion , 2011, IJCAI.

[24]  James A. Hendler,et al.  UMCP: A Sound and Complete Procedure for Hierarchical Task-network Planning , 1994, AIPS.

[25]  Robert Stevens,et al.  The Manchester OWL Syntax , 2006, OWLED.

[26]  Birte Glimm,et al.  Towards Explicative Inference for OWL , 2013, Description Logics.

[27]  S. Gregor,et al.  Measuring Human-Computer Trust , 2000 .

[28]  Ian Horrocks,et al.  FaCT++ Description Logic Reasoner: System Description , 2006, IJCAR.

[29]  Richard Power,et al.  Predicting the Understandability of OWL Inferences , 2013, ESWC.

[30]  Evren Sirin,et al.  Combining Description Logic Reasoning with AI Planning for Composition of Web Services , 2006 .

[31]  Pascal Bercher,et al.  Interview with David E. Smith , 2015, KI - Künstliche Intelligenz.

[32]  Mabry Tyson,et al.  A Mixed-initiative Framework for Robust Plan Sketching , 2003, ICAPS.

[33]  Wolfgang Minker,et al.  A Planning-Based Assistance System for Setting Up a Home Theater , 2015, AAAI.

[34]  Florian Nothdurft,et al.  Plan, Repair, Execute, Explain - How Planning Helps to Assemble your Home Theater , 2014, ICAPS.

[35]  Yolanda Gil,et al.  Description Logics and Planning , 2005, AI Mag..

[36]  Matthew Horridge,et al.  Justification based explanation in ontologies , 2012 .

[37]  Evren Sirin,et al.  Web Service Composition with User Preferences , 2008, ESWC.

[38]  Barbara Hayes-Roth,et al.  A Cognitive Model of Planning , 1979, Cogn. Sci..