Multivalued action languages with constraints in CLP(FD)

Action description languages, such as A andB (Gelfond and Lifschitz 1998), are expressive instruments introduced for formalizing planning domains and plan ning problem instances. The paper starts by proposing a methodology to encode an action language (wit h conditional effects and static causal laws), a slight variation of B, usingConstraint Logic Programming over Finite Domains . The approach is then generalized to raise the use of constraints to the level of the action language itself. A prototype implementation has been developed, and the prel iminary results are presented and discussed. To appear inTheory and Practice of Logic Programming (TPLP).

[1]  Krzysztof R. Apt,et al.  Principles of constraint programming , 2003 .

[2]  Michael Thielscher,et al.  From Situation Calculus to Fluent Calculus: State Update Axioms as a Solution to the Inferential Frame Problem , 1999, Artif. Intell..

[3]  Enrico Pontelli,et al.  A Constructive semantic characterization of aggregates in answer set programming , 2007, Theory Pract. Log. Program..

[4]  Nicola Muscettola,et al.  Planning in Interplanetary Space: Theory and Practice , 2000, AIPS.

[5]  Joohyung Lee,et al.  Describing Additive Fluents in Action Language C+ , 2003, IJCAI.

[6]  Agostino Dovier,et al.  An empirical study of constraint logic programming and answer set programming solutions of combinatorial problems , 2009, J. Exp. Theor. Artif. Intell..

[7]  Chitta Baral,et al.  Knowledge Representation, Reasoning and Declarative Problem Solving , 2003 .

[8]  Fangzhen Lin,et al.  ASSAT: computing answer sets of a logic program by SAT solvers , 2002, Artif. Intell..

[9]  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.

[10]  Tran Cao Son,et al.  A Transition Function Based Characterization of Actions with Delayed and Continuous Effects , 2002, KR.

[11]  Wolfgang Faber,et al.  A logic programming approach to knowledge-state planning: Semantics and complexity , 2004, TOCL.

[12]  Michael J. Maher,et al.  Constraint Logic Programming: A Survey , 1994, J. Log. Program..

[13]  Michael Gelfond,et al.  Action Languages , 1998, Electron. Trans. Artif. Intell..

[14]  Agostino Dovier,et al.  An Experimental Comparison of Constraint Logic Programming and Answer Set Programming , 2007, AAAI.

[15]  Hector J. Levesque,et al.  Foundations for the Situation Calculus , 1998, Electron. Trans. Artif. Intell..

[16]  Agostino Dovier,et al.  A Comparison of CLP(FD) and ASP Solutions to NP-Complete Problems , 2005, ICLP.

[17]  Chitta Baral,et al.  Logic Programming and Nonmonotonic Reasoning, 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings , 2007, LPNMR.

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

[19]  Alfredo Gabaldon,et al.  Non-Markovian control in the situation calculus , 2002, Artif. Intell..

[20]  Agostino Dovier,et al.  Representing Multi-agent Planning in CLP , 2009, LPNMR.

[21]  François Laburthe,et al.  CLAIRE: combining sets, search and rules to better express algorithms , 1999, Theory and Practice of Logic Programming.

[22]  Martin Gebser,et al.  clasp : A Conflict-Driven Answer Set Solver , 2007, LPNMR.

[23]  Jörg Hoffmann,et al.  Ordered Landmarks in Planning , 2004, J. Artif. Intell. Res..

[24]  Tran Cao Son,et al.  Planning with Different Forms of Domain-Dependent Control Knowledge - An Answer Set Programming Approach , 2001, LPNMR.

[25]  Hector Geffner,et al.  Branching and pruning: An optimal temporal POCL planner based on constraint programming , 2004, Artif. Intell..

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

[27]  Danny De Schreye,et al.  Answer Set Planning , 1999 .

[28]  John McCarthy,et al.  Elephant 2000: a programming language based on speech acts , 2007, OOPSLA '07.

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

[30]  Michael Thielscher.  Pushing the Envelope: Programming Reasoning Agents , 2002 .

[31]  Enrico Pontelli,et al.  CPP: A Constraint Logic Programming Based Planner with Preferences , 2007, LPNMR.

[32]  Fahiem Bacchus,et al.  Generalizing GraphPlan by Formulating Planning as a CSP , 2003, IJCAI.

[33]  Suzanne Daneau,et al.  Action , 2020, Remaking the Real Economy.

[34]  Peter Szolovits,et al.  What Is a Knowledge Representation? , 1993, AI Mag..

[35]  Yuliya Lierler,et al.  SAT-Based Answer Set Programming , 2004, AAAI.

[36]  Enrico Giunchiglia,et al.  Nonmonotonic causal theories , 2004, Artif. Intell..

[37]  Michael Thielscher.  Reasoning about Actions with CHRs and Finite Domain Constraints , 2002, ICLP.