Synthesis of Cost-Optimal Strong Plans in Non-Deterministic Domains

Automatic planning tools can be a valuable aid to build control systems for a wide range of everyday appliances. Many systems which interact with the real world present a non-deterministic behaviou...

[1]  Wheeler Ruml,et al.  On-line Planning and Scheduling: An Application to Controlling Modular Printers , 2008, AAAI.

[2]  Paolo Traverso,et al.  Strong Cyclic Planning Revisited , 1999, ECP.

[3]  Paolo Traverso,et al.  Automatic OBDD-Based Generation of Universal Plans in Non-Deterministic Domains , 1998, AAAI/IAAI.

[4]  Roberto Boselli,et al.  A model-based evaluation of data quality activities in KDD , 2015, Inf. Process. Manag..

[5]  Marcel Schoppers,et al.  Universal Plans for Reactive Robots in Unpredictable Environments , 1987, IJCAI.

[6]  Robert Givan,et al.  Inductive Policy Selection for First-Order MDPs , 2002, UAI.

[7]  Daniele Magazzeni,et al.  A universal planning system for hybrid domains , 2011, Applied Intelligence.

[8]  David W. Aha,et al.  Planning in Dynamic Environments: Extending HTNs with Nonlinear Continuous Effects , 2010, AAAI.

[9]  Amol Dattatraya Mali,et al.  State-space Planning with Variants of A* , 2006, Int. J. Artif. Intell. Tools.

[10]  C.W. Anderson,et al.  Learning to control an inverted pendulum using neural networks , 1989, IEEE Control Systems Magazine.

[11]  Wolfram Burgard,et al.  Coordinating heterogeneous teams of robots using temporal symbolic planning , 2013, Auton. Robots.

[12]  Stefan Edelkamp,et al.  Gamer, a General Game Playing Agent , 2010, KI - Künstliche Intelligenz.

[13]  Bernhard Nebel,et al.  A Planning Based Framework for Controlling Hybrid Systems , 2012, ICAPS.

[14]  Dirk P. Kroese,et al.  Simulation and the Monte Carlo method , 1981, Wiley series in probability and mathematical statistics.

[15]  Robert Mattmüller,et al.  Pattern-Database Heuristics for Partially Observable Nondeterministic Planning , 2010, KI.

[16]  N. Metropolis,et al.  The Monte Carlo method. , 1949 .

[17]  Fabio Mercorio.  Model checking for universal planning in deterministic and non-deterministic domains , 2013, AI Commun..

[18]  Cédric Pralet,et al.  Constraint-Based Controller Synthesis in Non-Deterministic and Partially Observable Domains , 2010, ECAI.

[19]  Michel Barbeau,et al.  Planning Control Rules for Reactive Agents , 1997, Artif. Intell..

[20]  Farokh B. Bastani,et al.  Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence Simple and Fast Strong Cyclic Planning for Fully-Observable Nondeterministic Planning Problems �� , 2022 .

[21]  S. Sanner,et al.  Symbolic Dynamic Programming for Continuous State and Action MDPs , 2012, AAAI.

[22]  Maria Fox,et al.  VAL: automatic plan validation, continuous effects and mixed initiative planning using PDDL , 2004, 16th IEEE International Conference on Tools with Artificial Intelligence.

[23]  Paolo Traverso,et al.  Strong Planning in Non-Deterministic Domains Via Model Checking , 1998, AIPS.

[24]  Zdzislaw Bubnicki,et al.  Modern Control Theory , 2005 .

[25]  Malte Helmert,et al.  Exhibiting Knowledge in Planning Problems to Minimize State Encoding Length , 1999, ECP.

[26]  Blai Bonet,et al.  Planning and Control in Artificial Intelligence: A Unifying Perspective , 2001, Applied Intelligence.

[27]  Blai Bonet,et al.  mGPT: A Probabilistic Planner Based on Heuristic Search , 2005, J. Artif. Intell. Res..

[28]  Marco Pistore,et al.  Weak, strong, and strong cyclic planning via symbolic model checking , 2003, Artif. Intell..

[29]  Hector J. Levesque,et al.  What Is Planning in the Presence of Sensing? , 1996, AAAI/IAAI, Vol. 2.

[30]  Stefan Edelkamp,et al.  Partial Symbolic Pattern Databases for Optimal Sequential Planning , 2008, KI.

[31]  Fausto Giunchiglia,et al.  Planning as Model Checking , 1999, ECP.

[32]  Gaurav S. Sukhatme,et al.  Coordinated sampling of dynamic oceanographic features with underwater vehicles and drifters , 2012, Int. J. Robotics Res..

[33]  Jeremy Frank,et al.  Planning solar array operations on the international space station , 2011, TIST.

[34]  Yixin Chen,et al.  Subgoal Ordering and Granularity Control for Incremental Planning , 2007, Int. J. Artif. Intell. Tools.

[35]  Kurt Mehlhorn,et al.  Faster algorithms for the shortest path problem , 1990, JACM.

[36]  Blai Bonet,et al.  Planning with Incomplete Information as Heuristic Search in Belief Space , 2000, AIPS.

[37]  G. Kreisselmeier,et al.  Numerical nonlinear regulator design , 1994, IEEE Trans. Autom. Control..

[38]  Manuela M. Veloso,et al.  Guided Symbolic Universal Planning , 2003, ICAPS.

[39]  Mausam,et al.  Planning with Durative Actions in Stochastic Domains , 2008, J. Artif. Intell. Res..

[40]  Ronen I. Brafman,et al.  A Heuristic Search Approach to Planning with Continuous Resources in Stochastic Domains , 2009, J. Artif. Intell. Res..

[41]  Roberto Boselli,et al.  A Model-Based Approach for Developing Data Cleansing Solutions , 2015, JDIQ.

[42]  Piergiorgio Bertoli,et al.  Strong planning under partial observability , 2006, Artif. Intell..

[43]  Stefan Edelkamp,et al.  Solving Fully-Observable Non-deterministic Planning Problems via Translation into a General Game , 2009, KI.

[44]  Ehrhard Behrends,et al.  Introduction to Markov Chains , 2000 .

[45]  Roberto Boselli,et al.  A Policy-Based Cleansing and Integration Framework for Labour and Healthcare Data , 2014, Interactive Knowledge Discovery and Data Mining in Biomedical Informatics.

[46]  Janusz Kacprzyk,et al.  Multistage fuzzy control involving objective and subjective aspects , 1998, 1998 Second International Conference. Knowledge-Based Intelligent Electronic Systems. Proceedings KES'98 (Cat. No.98EX111).

[47]  Sujeet Shenoi,et al.  Evaluating controller robustness using cell mapping , 2001, Fuzzy Sets Syst..

[48]  S.M. Smith,et al.  An algorithm for automated fuzzy logic controller tuning , 1992, [1992 Proceedings] IEEE International Conference on Fuzzy Systems.

[49]  Craig Boutilier,et al.  Decision-Theoretic Planning: Structural Assumptions and Computational Leverage , 1999, J. Artif. Intell. Res..

[50]  Maria Fox,et al.  Plan-based Policies for Efficient Multiple Battery Load Management , 2012, J. Artif. Intell. Res..

[51]  Sergiy Bogomolov,et al.  Planning as Model Checking in Hybrid Domains , 2014, AAAI.

[52]  Sergiy Bogomolov,et al.  PDDL+ Planning with Hybrid Automata: Foundations of Translating Must Behavior , 2015, ICAPS.

[53]  Piergiorgio Bertoli,et al.  A Hybridized Planner for Stochastic Domains , 2007, IJCAI.

[54]  Yeung Sam Hung,et al.  Global Path-Planning for Constrained and Optimal Visual Servoing , 2007, IEEE Transactions on Robotics.

[55]  Manuela M. Veloso,et al.  OBDD-based Universal Planning for Synchronized Agents in Non-Deterministic Domains , 2000, J. Artif. Intell. Res..

[56]  Enrico Tronci,et al.  Exploiting transition locality in automatic verification of finite-state concurrent systems , 2004, International Journal on Software Tools for Technology Transfer.

[57]  Bernhard Nebel,et al.  The FF Planning System: Fast Plan Generation Through Heuristic Search , 2011, J. Artif. Intell. Res..

[58]  Enrico Tronci,et al.  Finite horizon analysis of Markov Chains with the Murϕ verifier , 2006, International Journal on Software Tools for Technology Transfer.

[59]  Marta Z. Kwiatkowska,et al.  Probabilistic symbolic model checking with PRISM: a hybrid approach , 2004, International Journal on Software Tools for Technology Transfer.

[60]  Blai Bonet,et al.  Automatic Derivation of Memoryless Policies and Finite-State Controllers Using Classical Planners , 2009, ICAPS.

[61]  Robert P. Goldman,et al.  Using Classical Planners to Solve Nondeterministic Planning Problems , 2008, ICAPS.

[62]  Hector Geffner,et al.  Compiling Uncertainty Away in Non-Deterministic Conformant Planning , 2010, ECAI.

[63]  Piergiorgio Bertoli,et al.  Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking , 2001, IJCAI.