Plan recognition in exploratory domains

This paper describes a challenging plan recognition problem that arises in environments in which agents engage widely in exploratory behavior, and presents new algorithms for effective plan recognition in such settings. In exploratory domains, agents@? actions map onto logs of behavior that include switching between activities, extraneous actions, and mistakes. Flexible pedagogical software, such as the application considered in this paper for statistics education, is a paradigmatic example of such domains, but many other settings exhibit similar characteristics. The paper establishes the task of plan recognition in exploratory domains to be NP-hard and compares several approaches for recognizing plans in these domains, including new heuristic methods that vary the extent to which they employ backtracking, as well as a reduction to constraint-satisfaction problems. The algorithms were empirically evaluated on people@?s interaction with flexible, open-ended statistics education software used in schools. Data was collected from adults using the software in a lab setting as well as middle school students using the software in the classroom. The constraint satisfaction approaches were complete, but were an order of magnitude slower than the heuristic approaches. In addition, the heuristic approaches were able to perform within 4% of the constraint satisfaction approaches on student data from the classroom, which reflects the intended user population of the software. These results demonstrate that the heuristic approaches offer a good balance between performance and computation time when recognizing people@?s activities in the pedagogical domain of interest.

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

[2]  L. Burton Intention , 2011 .

[3]  Stefan Edelkamp,et al.  Automated Planning: Theory and Practice , 2007, Künstliche Intell..

[4]  Michael P. Wellman,et al.  Probabilistic State-Dependent Grammars for Plan Recognition , 2000, UAI.

[5]  Eric Horvitz,et al.  Principles of mixed-initiative user interfaces , 1999, CHI '99.

[6]  Sandra Carberry,et al.  Plan Recognition in Natural Language Dialogue , 1990 .

[7]  C. Sidner,et al.  Plans for Discourse , 1988 .

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

[9]  Alex Quilici,et al.  Applying Plan Recognition Algorithms To Program Understanding , 2004, Automated Software Engineering.

[10]  Albert T. Corbett,et al.  Modeling Student Knowledge: Cognitive Tutors in High School and College , 2000, User Modeling and User-Adapted Interaction.

[11]  Paolo Traverso,et al.  Automated Planning: Theory & Practice , 2004 .

[12]  Andee Rubin,et al.  STRATEGIES FOR MANAGING STATISTICAL COMPLEXITY WITH NEW SOFTWARE TOOLS , 2004 .

[13]  John R. Anderson,et al.  Cognitive Tutors: Lessons Learned , 1995 .

[14]  Cristina Conati,et al.  Using Bayesian Networks to Manage Uncertainty in Student Modeling , 2002, User Modeling and User-Adapted Interaction.

[15]  G. Edward Barton,et al.  On the complexity of ID/LP parsing 1 , 1985 .

[16]  Karen E. Lochbaum,et al.  A Collaborative Planning Model of Intentional Structure , 1998, CL.

[17]  Ronan G. Reilly Communication failure in dialogue and discourse: detection and repair processes , 1986 .

[18]  G. E. Barton Jr. On the Complexity of ID/LP Parsing , 1985, CL.

[19]  Michael E. Bratman,et al.  Intention, Plans, and Practical Reason , 1991 .

[20]  Mark Steedman,et al.  On Natural Language Processing and Plan Recognition , 2007, IJCAI.

[21]  Philip R. Cohen,et al.  Plans as Complex Mental Attitudes , 2003 .

[22]  James Mayfield,et al.  Controlling inference in plan recognition , 1992, User Modeling and User-Adapted Interaction.

[23]  Diane J. Litman,et al.  Terminological Reasoning with Constraint Networks and an Application to Plan Recognition , 1992, KR.

[24]  Nate Blaylock Recognizing Instantiated Goals using Statistical Methods , 2005 .

[25]  Ingrid Zukerman,et al.  Bayesian Models for Keyhole Plan Recognition in an Adventure Game , 2004, User Modeling and User-Adapted Interaction.

[26]  Joseph E. Beck,et al.  Using a Learning Agent with a Student Model , 1998, Intelligent Tutoring Systems.

[27]  Robert P. Goldman,et al.  A probabilistic plan recognition algorithm based on plan tree grammars , 2009, Artif. Intell..

[28]  Joe Marks,et al.  An interactive constraint-based system for drawing graphs , 1997, UIST '97.

[29]  James Kilbury,et al.  A Modification of the Earley-Shieber Algorithm for Direct Parsing of ID/LP Grammars , 1984, GWAI.

[30]  Henry A. Kautz A formal theory of plan recognition , 1987 .

[31]  Richard M. Karp,et al.  Reducibility Among Combinatorial Problems , 1972, 50 Years of Integer Programming.

[32]  Jana Koehler,et al.  PHI - A Logic-Based Tool for Intelligent Help Systems , 1993, IJCAI.

[33]  Candace L. Sidner,et al.  Plan parsing for intended response recognition in discourse 1 , 1985, Comput. Intell..

[34]  Gal A. Kaminka,et al.  Fast and Complete Symbolic Plan Recognition , 2005, IJCAI.

[35]  Geoffrey K. Pullum,et al.  Generalized Phrase Structure Grammar , 1985 .

[36]  Dana S. Nau,et al.  Control Strategies in HTN Planning: Theory Versus Practice , 1998, AAAI/IAAI.

[37]  Robert P. Goldman,et al.  A Bayesian Model of Plan Recognition , 1993, Artif. Intell..

[38]  Marc B. Vilain,et al.  Getting Serious about Parsing Plans : a Grammatical Analysis of Plan Recognition , 1990 .

[39]  John Seely Brown,et al.  Diagnostic Models for Procedural Bugs in Basic Mathematical Skills , 1978, Cogn. Sci..

[40]  David J. Israel,et al.  Plans and resource‐bounded practical reasoning , 1988, Comput. Intell..

[41]  C. Raymond Perrault,et al.  Beyond Question-Answering. , 1981 .

[42]  Tamara Babaian,et al.  A writer's collaborative assistant , 2002, IUI '02.

[43]  Neil T. Heffernan,et al.  Addressing the assessment challenge with an online system that tutors as it assesses , 2009, User Modeling and User-Adapted Interaction.

[44]  Neal Lesh Adaptive Goal Recognition , 1997, IJCAI.

[45]  Roman Barták,et al.  Constraint Processing , 2009, Encyclopedia of Artificial Intelligence.

[46]  Mathias Bauer Acquisition of User Preferences for Plan Recognition , 2007 .

[47]  Stuart M. Shieber,et al.  Recognition of Users' Activities Using Constraint Satisfaction , 2009, UMAP.

[48]  A. White Essays on Actions and Events. , 1981 .

[49]  P. Cochat,et al.  Et al , 2008, Archives de pediatrie : organe officiel de la Societe francaise de pediatrie.

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

[51]  Elif Yamangil,et al.  Towards Collaborative Intelligent Tutors: Automated Recognition of Users' Strategies , 2008, Intelligent Tutoring Systems.

[52]  Kurt VanLehn,et al.  The Andes Physics Tutoring System: Lessons Learned , 2005, Int. J. Artif. Intell. Educ..

[53]  Robert Wilensky,et al.  Why John Married Mary: Understanding Stories Involving Recurring Goals , 1978, Cogn. Sci..