Logic-Based Approaches to Intention Recognition

In this paper we discuss intention recognition in general, and the use of logic-based formalisms, and deduction and abduction in particular. We consider the relationship between causal theories used for planning and the knowledge representation and reasoning used for intention recognition. We look at the challenges and the issues, and we explore eight case studies.

[1]  Luciano Serafini,et al.  Mental States Recognition from Communication , 2002, J. Log. Comput..

[2]  Boris Kerkez,et al.  Case-Based Plan Recognition with Novel input , 2006, Control. Intell. Syst..

[3]  Stephanie Elzer Schwartz,et al.  Exploiting Evidence Analysis in Plan Recognition , 2007, User Modeling.

[4]  Parsons,et al.  Robust and Efficient Plan Recognition for Dynamic Multi-agent Teams ( Short Paper ) , 2008 .

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

[6]  José Gabriel Pereira Lopes,et al.  Unified Logic Programming Approach to the Abduction of Plans and Intentions in Information-Seeking Dialogues , 1995, J. Log. Program..

[7]  Robert A. Kowalski,et al.  Integrating Logic Programming and Production Systems in Abductive Logic Programming Agents , 2009, RR.

[8]  Gita Reese Sukthankar,et al.  Hypothesis Pruning and Ranking for Large Plan Recognition Problems , 2008, AAAI.

[9]  Frank Dignum,et al.  Mental State Abduction of BDI-Based Agents , 2008, DALT.

[10]  José Júlio Alferes,et al.  Contradiction Removal Semantics with Explicit Negation , 1992, Logic at Work.

[11]  Robert A. Kowalski,et al.  The Iff Proof Procedure for Abductive Logic Programming , 1997, J. Log. Program..

[12]  Marek J. Sergot,et al.  A logic-based calculus of events , 1989, New Generation Computing.

[13]  Henry A. Kautz,et al.  Privacy-Preserving Recognition of Activities in Daily Living from Multi-view Silhouettes and RFID-based Training , 2008, AAAI Fall Symposium: AI in Eldercare: New Solutions to Old Problems.

[14]  Anand S. Rao,et al.  BDI Agents: From Theory to Practice , 1995, ICMAS.

[15]  Robert Suzic,et al.  Capabilities-based plan recognition , 2006, 2006 9th International Conference on Information Fusion.

[16]  Luís Moniz Pereira,et al.  Modelling morality with prospective logic , 2007, Int. J. Reason. based Intell. Syst..

[17]  R. Goldman,et al.  Partial Observability and Probabilistic Plan/Goal Recognition , 2005 .

[19]  Robert P. Goldman,et al.  Plan recognition in intrusion detection systems , 2001, Proceedings DARPA Information Survivability Conference and Exposition II. DISCEX'01.

[20]  Frans Voorbraak,et al.  A formal description of tactical plan recognition , 2003, Inf. Fusion.

[21]  Diane J. Litman,et al.  On the interaction between plan recognition and intelligent interfaces , 1992, User Modeling and User-Adapted Interaction.

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

[23]  J. Barbenel,et al.  The Use of Artificial Intelligence in the Design of an Intelligent Cognitive Orthosis for People with Dementia , 2001, Assistive technology : the official journal of RESNA.

[24]  Luís Moniz Pereira,et al.  Elder Care via Intention Recognition and Evolution Prospection , 2009, INAP.

[25]  Jesús Favela,et al.  Activity Recognition for the Smart Hospital , 2008, IEEE Intelligent Systems.

[26]  Karen L. Myers.  Abductive Completion of Plan Sketches , 1997, AAAI/IAAI.

[27]  Dana S. Nau,et al.  Semantics for hierarchical task-network planning , 1994 .

[28]  Candace L. Sidner,et al.  Using plan recognition in human-computer collaboration , 1999 .

[29]  Martha E. Pollack,et al.  Weighted abduction for plan ascription , 1992, User Modeling and User-Adapted Interaction.

[30]  Alex M. Andrew,et al.  Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems , 2002 .

[31]  Henry Kautz,et al.  Hierarchical recognition of activities of daily living using multi-scale, multi-perspective vision and RFID , 2008 .

[32]  M. Georgeff,et al.  A Study of an Approach to the Collective Iterative Task Allocation Problem , 2007, 2007 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT'07).

[33]  Paolo Mancarella,et al.  The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments , 2009, Theory and Practice of Logic Programming.

[34]  Hector J. Levesque,et al.  GOLOG: A Logic Programming Language for Dynamic Domains , 1997, J. Log. Program..

[35]  Henry A. Kautz,et al.  Improving the recognition of interleaved activities , 2008, UbiComp.

[36]  N. S. Sridharan,et al.  The Plan Recognition Problem: An Intersection of Psychology and Artificial Intelligence , 1978, Artif. Intell..

[37]  Kurt Konolige,et al.  Ascribing Plans to Agents , 1989, IJCAI.

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

[39]  Gal A. Kaminka,et al.  Incorporating Observer Biases in Keyhole Plan Recognition (Efficiently!) , 2007, AAAI.

[40]  Michael Gelfond,et al.  Representing Actions in Extended Logic Programming , 1992, JICSLP.

[41]  Tran Cao Son,et al.  Reasoning and planning with sensing actions, incomplete information, and static causal laws using answer set programming , 2006, Theory and Practice of Logic Programming.

[42]  Wenji Mao,et al.  A Utility-Based Approach to Intention Recognition , 2004, AAMAS 2004.

[43]  Sylvain Giroux,et al.  Pervasive behavior tracking for cognitive assistance , 2008, PETRA '08.

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

[45]  Ruck Thawonmas,et al.  CASE-BASED PLAN RECOGNITION FOR REAL-TIME STRATEGY GAMES , 2004 .

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

[47]  Karen L. Myers,et al.  Identifying Terrorist Activity with AI Plan Recognition Technology , 2005, AI Mag..

[48]  Drew McDermott,et al.  Introduction to artificial intelligence , 1986, Addison-Wesley series in computer science.

[49]  Patrice C. Roy,et al.  A Hybrid Plan Recognition Model for Alzheimer's Patients: Interleaved-Erroneous Dilemma , 2007, 2007 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT'07).

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

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

[52]  Henry Kautz,et al.  Inferring ADLs from interactions with objects , 2004 .

[53]  James Mayfield,et al.  Evaluating Plan Recognition Systems: Three Properties of a Good Explanation , 2000, Artificial Intelligence Review.

[54]  Luís Moniz Pereira,et al.  Intention Recognition via Causal Bayes Networks Plus Plan Generation , 2009, EPIA.

[55]  Robert Demolombe,et al.  Intention Recognition in the Situation Calculus and Probability Theory Frameworks , 2005, CLIMA.

[56]  Antonio L. Furtado,et al.  Applying a Plan-Recognition / Plan-Generation Paradigm to Interactive Storytelling , 2006 .