Watching and Acting Together: Concurrent Plan Recognition and Adaptation for Human-Robot Teams

There is huge demand for robots to work alongside humans in heterogeneous teams. To achieve a high degree of fluidity, robots must be able to (1) recognize their human co-worker’s intent, and (2) adapt to this intent accordingly, providing useful aid as a teammate. The literature to date has made great progress in these two areas – recognition and adaptation – but largely as separate research activities. In this work, we present a unified approach to these two problems, in which recognition and adaptation occur concurrently and holistically within the same framework. We introduce Pike, an executive for humanrobot teams, that allows the robot to continuously and concurrently reason about what a human is doing as execution proceeds, as well as adapt appropriately. The result is a mixed-initiative execution where humans and robots interact fluidly to complete task goals. Key to our approach is our task model: a contingent, temporally-flexible team-plan with explicit choices for both the human and robot. This allows a single set of algorithms to find implicit constraints between sets of choices for the human and robot (as determined via causal link analysis and temporal reasoning), narrowing the possible decisions a rational human would take (hence achieving intent recognition) as well as the possible actions a robot could consistently take (hence achieving adaptation). Pike makes choices based on the preconditions of actions in the plan, temporal constraints, unanticipated disturbances, and choices made previously (by either agent). Innovations of this work include (1) a framework for concurrent intent recognition and adaptation for contingent, temporally-flexible plans, (2) the generalization of causal links for contingent, temporally-flexible plans along with related extraction algorithms, and (3) extensions to a state-of-the-art dynamic execution system to utilize these causal links for decision making.

[1]  Johan de Kleer,et al.  Extending the ATMS , 1986, Artif. Intell..

[2]  David Wang,et al.  tBurton: A Divide and Conquer Temporal Planner , 2015, AAAI.

[3]  Christopher W. Geib,et al.  Building Helpful Virtual Agents Using Plan Recognition and Planning , 2021, AIIDE.

[4]  Stefanos Nikolaidis,et al.  Human-robot cross-training: Computational formulation, modeling and evaluation of a human team training strategy , 2013, 2013 8th ACM/IEEE International Conference on Human-Robot Interaction (HRI).

[5]  Brian Charles Williams,et al.  Drake: An Efficient Executive for Temporal Plans with Choice , 2011, J. Artif. Intell. Res..

[6]  Christian J. Muise,et al.  Fast d-DNNF Compilation with sharpSAT , 2010, Abstraction, Reformulation, and Approximation.

[7]  Luke Hunsberger,et al.  The Dynamic Controllability of Conditional STNs with Uncertainty , 2012, ArXiv.

[8]  R. Goldman,et al.  HOTRiDE: Hierarchical Ordered Task Replanning in Dynamic Environments , 2007 .

[9]  Erez Karpas,et al.  Goal Recognition Design , 2014, ICAPS.

[10]  Julie A. Shah,et al.  Flexible Execution of Plans with Choice , 2009, ICAPS.

[11]  Sylvie Thiébaux,et al.  RAO*: An Algorithm for Chance-Constrained POMDP's , 2016, AAAI.

[12]  Nicola Muscettola,et al.  Reformulating Temporal Plans for Efficient Execution , 1998, KR.

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

[14]  Meir Kalech,et al.  Sequential Plan Recognition: (Extended Abstract) , 2016, AAMAS.

[15]  Hung Hai Bui,et al.  A General Model for Online Probabilistic Plan Recognition , 2003, IJCAI.

[16]  Pierre Marquis,et al.  A Knowledge Compilation Map , 2002, J. Artif. Intell. Res..

[17]  Lavindra de Silva,et al.  Planning in BDI agents: a survey of the integration of planning algorithms and agent reasoning , 2013, The Knowledge Engineering Review.

[18]  Robert P. Goldman,et al.  A New Model of Plan Recognition , 1999, UAI.

[19]  Brian C. Williams,et al.  Conflict-directed A* and its role in model-based embedded systems , 2007, Discret. Appl. Math..

[20]  J. A. Robinson,et al.  Automatic Deduction with Hyper-Resolution , 1983 .

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

[22]  Derek Long,et al.  Domain Independent Goal Recognition , 2010, STAIRS.

[23]  Brian Charles Williams,et al.  Chance-Constrained Consistency for Probabilistic Temporal Plan Networks , 2014, ICAPS.

[24]  Steven James Levine,et al.  Monitoring the execution of temporal plans for robotic systems , 2012 .

[25]  Christian J. Muise,et al.  Flexible Execution of Partial Order Plans With Temporal Constraints , 2013, IJCAI.

[26]  Thierry Vidal A Unified Dynamic Approach for Dealing with Temporal Uncertainty and Conditional Planning , 2000, AIPS.

[27]  Rob Sherwood,et al.  Using Iterative Repair to Improve the Responsiveness of Planning and Scheduling , 2000, AIPS.

[28]  Andrew Coles,et al.  Temporal Planning with Preferences and Time-Dependent Continuous Costs , 2012, ICAPS.

[29]  Henry A. Kautz,et al.  Generalized Plan Recognition , 1986, AAAI.

[30]  Félix Ingrand,et al.  Interleaving Temporal Planning and Execution in Robotics Domains , 2004, AAAI.

[31]  Alex Kean,et al.  An Incremental Method for Generating Prime Implicants/Impicates , 1990, J. Symb. Comput..

[32]  Brian C. Williams,et al.  Flexible execution of plans with choice and uncertainty , 2011 .

[33]  Thierry Vidal,et al.  Handling contingency in temporal constraint networks: from consistency to controllabilities , 1999, J. Exp. Theor. Artif. Intell..

[34]  Paul Harrison Elliott,et al.  An efficient projected minimal conflict generator for projected prime implicate and implicant generation , 2004 .

[35]  Shlomo Zilberstein,et al.  Integration of Planning with Recognition for Responsive Interaction Using Classical Planners , 2017, AAAI.

[36]  Mark Abramson,et al.  Executing Reactive, Model-based Programs through Graph-based Temporal Planning , 2001, IJCAI.

[37]  Alessandro Saffiotti,et al.  A constraint-based approach for proactive, context-aware human support , 2012, J. Ambient Intell. Smart Environ..

[38]  Brian C. Williams,et al.  Model-based programming of intelligent embedded systems and robotic space explorers , 2003, Proc. IEEE.

[39]  Rachid Alami,et al.  Planning and Plan-execution for Human-Robot Cooperative Task achievement , 2009, ICAPS 2009.

[40]  Spencer Dale Lane Propositional and activity monitoring using qualitative spatial reasoning , 2016 .

[41]  Rina Dechter,et al.  Temporal Constraint Networks , 1989, Artif. Intell..

[42]  Karen Zita Haigh,et al.  Interleaving Planning and Robot Execution for Asynchronous User Requests , 1998, Auton. Robots.

[43]  Cheng Fang,et al.  Resolving Uncontrollable Conditional Temporal Problems Using Continuous Relaxations , 2014, ICAPS.

[44]  Julie A. Shah,et al.  Fast Distributed Multi-agent Plan Execution with Dynamic Task Assignment and Scheduling , 2009, ICAPS.

[45]  Erez Karpas,et al.  Robust Execution of Plans for Human-Robot Teams , 2015, ICAPS.

[46]  Nicola Muscettola,et al.  Model-based executive control through reactive planning for autonomous rovers , 2004, 2004 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) (IEEE Cat. No.04CH37566).

[47]  Robert T. Effinger,et al.  Dynamic Controllability of Temporally-flexible Reactive Programs , 2009, ICAPS.

[48]  W. Quine On Cores and Prime Implicants of Truth Functions , 1959 .

[49]  Sandra Carberry,et al.  Techniques for Plan Recognition , 2001, User Modeling and User-Adapted Interaction.

[50]  Christian J. Muise,et al.  Improved Non-Deterministic Planning by Exploiting State Relevance , 2012, ICAPS.

[51]  Maria Fox,et al.  PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains , 2003, J. Artif. Intell. Res..

[52]  Nicola Muscettola,et al.  Fast Transformation of Temporal Plans for Efficient Execution , 1998, AAAI/IAAI.

[53]  Manuela M. Veloso,et al.  Rationale-Based Monitoring for Planning in Dynamic Environments , 1998, AIPS.

[54]  Peter Norvig,et al.  Artificial Intelligence: A Modern Approach , 1995 .

[55]  Richard Fikes,et al.  STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving , 1971, IJCAI.

[56]  Malik Ghallab,et al.  Deliberation for autonomous robots: A survey , 2017, Artif. Intell..

[57]  Christian J. Muise,et al.  Optimal Partial-Order Plan Relaxation via MaxSAT , 2016, J. Artif. Intell. Res..

[58]  Hila Zarosim,et al.  Fast and Complete Symbolic Plan Recognition: Allowing for Duration, Interleaved Execution, and Lossy Observations , 2005 .

[59]  Brian Charles Williams,et al.  Concurrent Plan Recognition and Execution for Human-Robot Teams , 2014, ICAPS.

[60]  G. S. Tseitin On the Complexity of Derivation in Propositional Calculus , 1983 .

[61]  Rachid Alami,et al.  SHARY: A Supervision System Adapted to Human-Robot Interaction , 2008, ISER.

[62]  Sam Steel,et al.  Integrating Planning, Execution and Monitoring , 1988, AAAI.

[63]  Hector Geffner,et al.  Probabilistic Plan Recognition Using Off-the-Shelf Classical Planners , 2010, AAAI.

[64]  Johan de Kleer,et al.  An Assumption-Based TMS , 1987, Artif. Intell..

[65]  Subbarao Kambhampati,et al.  Handling Model Uncertainty and Multiplicity in Explanations via Model Reconciliation , 2018, ICAPS.

[66]  Tom Bylander,et al.  The Computational Complexity of Propositional STRIPS Planning , 1994, Artif. Intell..