Most real world domains are non-deterministic: the state of the world can be incompletely known, the effect of actions can not be completely foreseen, and the environment can change in unpredictable ways. Automatic plan formation in non-deterministic domain is, however, still an open problem. In this paper we show how to do strong planning in non-deterministic domains, i.e. finding automatically plans which are guaranteed to achieve the goal regardless of non-determinism. We define a notion of planning solution which is guaranteed to achieve the goal independently of non-determinism, a notion of plan including conditionals and iterations, and an automatic decision procedure for strong planning based on model checking techniques. The procedure is correct, complete and returns optimal plans. The work has been implemented in MBP, a planner based on model checking techniques

Strong Planning in Non-Deterministic Domains via Model Checking / Cimatti, Alessandro; Roveri, Marco; Traverso, Paolo. - (1998). (Intervento presentato al convegno Fourth International Conference on Artificial Intelligence Planning Systems [AIPS-98] tenutosi a Pittsburgh, USA nel 1998).

Strong Planning in Non-Deterministic Domains via Model Checking

Alessandro Cimatti;Marco Roveri;
1998-01-01

Abstract

Most real world domains are non-deterministic: the state of the world can be incompletely known, the effect of actions can not be completely foreseen, and the environment can change in unpredictable ways. Automatic plan formation in non-deterministic domain is, however, still an open problem. In this paper we show how to do strong planning in non-deterministic domains, i.e. finding automatically plans which are guaranteed to achieve the goal regardless of non-determinism. We define a notion of planning solution which is guaranteed to achieve the goal independently of non-determinism, a notion of plan including conditionals and iterations, and an automatic decision procedure for strong planning based on model checking techniques. The procedure is correct, complete and returns optimal plans. The work has been implemented in MBP, a planner based on model checking techniques
1998
Fourth International Conference on Artificial Intelligence Planning Systems [AIPS-98]
Pittsburgh, Pennsylvania, USA
AAAI
Cimatti, Alessandro; Roveri, Marco; Traverso, Paolo
Strong Planning in Non-Deterministic Domains via Model Checking / Cimatti, Alessandro; Roveri, Marco; Traverso, Paolo. - (1998). (Intervento presentato al convegno Fourth International Conference on Artificial Intelligence Planning Systems [AIPS-98] tenutosi a Pittsburgh, USA nel 1998).
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11572/258805
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact