Domain Model Acquisition in Domains with Action Costs

This paper addresses the challenge of automated numeric domain model acquisition from observations. Many industrial and commercial applications of planning technology rely on numeric planning models. For example, in the area of autonomous systems and robotics, an autonomous robot often has to reason about its position in space, power levels and storage capacities. It is essential for these models to be easy to construct. Ideally, they should be automatically constructed. Learning the structure of planning domains from observations of action traces has produced successful results in classical planning. In this work, we present the first results in generalising approaches from classical planning to numeric planning. We restrict the numeric domains to those that include fixed action costs. Taking the finite state automata generated by the LOCM family of algorithms, we learn costs associated with machines; specifically to the object transitions and the state parameters. We learn action costs from action traces (with only the final cost of the plans as extra information) using a constraint programming approach. We demonstrate the effectiveness of this approach on standard benchmarks.

[1]  Simon Parkinson,et al.  The Application of Automated Planning to Machine Tool Calibration , 2012, ICAPS.

[2]  Pierre-Yves Oudeyer,et al.  Active learning of inverse models with intrinsically motivated goal exploration in robots , 2013, Robotics Auton. Syst..

[3]  T. L. McCluskey,et al.  Automated Acquisition of Action Knowledge , 2009, ICAART.

[4]  Howard Barringer,et al.  Automata-based Pattern Mining from Imperfect Traces , 2015, SOEN.

[5]  Tristan B. Smith,et al.  The Challenge of Configuring Model-Based Space Mission Planners , 2011 .

[6]  Sanem Sariel,et al.  Learning Behaviors of and Interactions Among Objects Through Spatio–Temporal Reasoning , 2015, IEEE Transactions on Computational Intelligence and AI in Games.

[7]  Bernhard Nebel,et al.  COMPLEXITY RESULTS FOR SAS+ PLANNING , 1995, Comput. Intell..

[8]  Barry O'Sullivan Automated Modelling and Solving in Constraint Programming , 2010, AAAI.

[9]  Marc Cavazza,et al.  Using Social Relationships to Control Narrative Generation , 2015, AAAI.

[10]  Stephen Cresswell,et al.  Generalised Domain Model Acquisition from Action Traces , 2011, ICAPS.

[11]  Marc Cavazza,et al.  Visual Programming of Plan Dynamics Using Constraints and Landmarks , 2011, ICAPS.

[12]  T. L. McCluskey,et al.  Acquisition of Object-Centred Domain Models from Planning Examples , 2009, ICAPS.

[13]  Maria Fox,et al.  Automatic Construction of Efficient Multiple Battery Usage Policies , 2011, IJCAI.

[14]  Andrew Crampton,et al.  ASCoL: A Tool for Improving Automatic Planning Domain Model Acquisition , 2015, AI*IA.

[15]  Daniel Borrajo Learning action durations from executions , 2007 .

[16]  Scott Sherwood Benson,et al.  Learning action models for reactive autonomous agents , 1996 .

[17]  Thomas J. Walsh,et al.  Efficient Learning of Action Schemas and Web-Service Descriptions , 2008, AAAI.

[18]  José Reinaldo Silva,et al.  itSIMPLE 2.0: An Integrated Tool for Designing Planning Domains , 2007, ICAPS.

[19]  Yngvi Björnsson Learning Rules of Simplified Boardgames by Observing , 2012, ECAI.

[20]  Mark Steedman,et al.  Learning STRIPS Operators from Noisy and Incomplete Observations , 2012, UAI.

[21]  Marc Cavazza,et al.  NetworkING: using character relationships for interactive narrative generation , 2013, AAMAS.

[22]  Daniel J. Scheeres,et al.  Heuristic Search and Receding-Horizon Planning in Complex Spacecraft Orbit Domains , 2015, SOCS.

[23]  T. L. McCluskey,et al.  Planning domain definition using GIPO , 2007, The Knowledge Engineering Review.

[24]  Qiang Yang,et al.  ARMS: an automatic knowledge engineering tool for learning action models for AI planning , 2007, The Knowledge Engineering Review.

[25]  Maya Cakmak,et al.  Designing Interactions for Robot Active Learners , 2010, IEEE Transactions on Autonomous Mental Development.

[26]  Lukás Chrpa,et al.  KEWI - A Knowledge Engineering Tool for Modelling AI Planning Tasks , 2014, KEOD.

[27]  S. Sitharama Iyengar,et al.  An Event Drive Integration Reasoning Scheme for Handling Dynamic Threats in an Unstructured Environment , 1997, Artif. Intell..

[28]  Stephan Schiffel,et al.  The GRL System: Learning Board Game Rules with Piece-Move Interactions , 2015, CGW/GIGA@IJCAI.

[29]  Jörg Hoffmann,et al.  SAP Speaks PDDL: Exploiting a Software-Engineering Model for Planning in Business Process Management , 2012, J. Artif. Intell. Res..

[30]  Qiang Yang,et al.  Learning complex action models with quantifiers and logical implications , 2010, Artif. Intell..

[31]  Stephen Cresswell,et al.  Domain Model Acquisition in the Presence of Static Relations in the LOP System , 2015, ICAPS.

[32]  Nona Elizabeth Richardson,et al.  An operator induction tool supporting knowledge engineering in planning , 2008 .