Solving Goal Recognition Design Using ASP

Goal Recognition Design involves identifying the best ways to modify an underlying environment that agents operate in, typically by making a subset of feasible actions infeasible, so that agents are forced to reveal their goals as early as possible. Thus far, existing work has focused exclusively on imperative classical planning. In this paper, we address the same problem with a different paradigm, namely, declarative approaches based on Answer Set Programming (ASP). Our experimental results show that one of our ASP encodings is more scalable and is significantly faster by up to three orders of magnitude than the current state of the art.

[1]  Michael Gelfond,et al.  Logic Programs with Classical Negation , 1990, ICLP.

[2]  Vladimir Lifschitz,et al.  Answer set programming and plan generation , 2002, Artif. Intell..

[3]  Martin Gebser,et al.  Conflict-Driven Answer Set Enumeration , 2007, LPNMR.

[4]  Thomas Eiter,et al.  Answer Set Programming: A Primer , 2009, Reasoning Web.

[5]  Victor W. Marek,et al.  Stable models and an alternative logic programming paradigm , 1998, The Logic Programming Paradigm.

[6]  Martin Gebser,et al.  Complex optimization in answer set programming , 2011, Theory and Practice of Logic Programming.

[7]  Froduald Kabanza,et al.  Opponent Behaviour Recognition for Real-Time Strategy Games , 2010, Plan, Activity, and Intent Recognition.

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

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

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

[11]  Timo Soininen,et al.  Extending and implementing the stable model semantics , 2000, Artif. Intell..

[12]  Siegfried Handschuh,et al.  Reasoning Web. Semantic Technologies for Information Systems, 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures , 2009, Reasoning Web.

[13]  Hector Geffner,et al.  Goal Recognition over POMDPs: Inferring the Intention of a POMDP Agent , 2011, IJCAI.

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

[15]  Ilkka Niemelä,et al.  Logic programs with stable model semantics as a constraint programming paradigm , 1999, Annals of Mathematics and Artificial Intelligence.

[16]  Martin Gebser,et al.  Clingo = ASP + Control: Preliminary Report , 2014, ArXiv.

[17]  Blai Bonet,et al.  A Concise Introduction to Models and Methods for Automated Planning , 2013, A Concise Introduction to Models and Methods for Automated Planning.