Self-Healing as a Combination of Consistency Checks and Conformant Planning Problems

We introduce the problem of self healing, in which a system is asked to self diagnose and self repair. The two problems of computing the diagnosis and the repair are often solved separately. We show in this paper how to tie these two tasks together: a planner searches a prospective plan on a sample of the belief state; a diagnoser verifies the applicability of the plan and returns a state of the belief state (added to the sample) in which the plan is not applicable. This decomposition of the self healing process avoids the explicit computation of the belief state. Our experiments demonstrate that it scales much better than the traditional approach.

[1]  Gilles Audemard,et al.  Predicting Learnt Clauses Quality in Modern SAT Solvers , 2009, IJCAI.

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

[3]  Christos G. Cassandras,et al.  Introduction to Discrete Event Systems , 1999, The Kluwer International Series on Discrete Event Dynamic Systems.

[4]  H. Marchand,et al.  Supervision patterns in discrete event systems diagnosis , 2006, 2006 8th International Workshop on Discrete Event Systems.

[5]  Niklas Sörensson,et al.  An Extensible SAT-solver , 2003, SAT.

[6]  Bart Selman,et al.  Pushing the Envelope: Planning, Propositional Logic and Stochastic Search , 1996, AAAI/IAAI, Vol. 2.

[7]  Roberto Micalizio.  Plan repair driven by model-based agent diagnosis , 2014, Intelligenza Artificiale.

[8]  Brian Charles Williams,et al.  Chance-Constrained Consistency for Probabilistic Temporal Plan Networks , 2014, ICAPS.

[9]  Alban Grastien,et al.  Diagnosis of Discrete Event Systems Using Satisfiability Algorithms: A Theoretical and Empirical Study , 2007, IEEE Transactions on Automatic Control.

[10]  David E. Smith,et al.  Conformant Graphplan , 1998, AAAI/IAAI.

[11]  Torta Gianluca,et al.  Hypothesis Discrimination with Abstractions based on Observation and Action Costs , 2008 .

[12]  Henry Kautz,et al.  Pushing the envelope: planning , 1996 .

[13]  Gianfranco Lamperti,et al.  Diagnosis of Active Systems , 1998, ECAI.

[14]  Raja Sengupta,et al.  Diagnosability of discrete-event systems , 1995, IEEE Trans. Autom. Control..

[15]  Jana Kosecka,et al.  Control of Discrete Event Systems , 1992 .

[16]  Marco Roveri,et al.  Conformant Planning via Symbolic Model Checking , 2000, J. Artif. Intell. Res..

[17]  Adi Botea,et al.  Learning in Planning with Temporally Extended Goals and Uncontrollable Events , 2008, ECAI.

[18]  Ronen I. Brafman,et al.  Conformant planning via heuristic forward search: A new approach , 2004, Artif. Intell..