We’ve examined various thinkable ways in which plan formation, execution, monitoring and replanning could take advantage from Truth Maintenance techniques. The creation of a plan is based on a set of assumptions about the external environment and task goals. The inconsistency of these sets or the falsehood of some among their elements can cause failures both in plan generation or execution. On failure it becomes important to understand which assumptions were responsible for the flaw in order to get a more updated knowledge base or a consistent goal. Consistency restoration, multisensor information integration and updating knowledge bases, all need knowledge revision techniques. In this paper we report some possible schemes for the interleaving between the activities of an Assumption Based Truth Maintenance System (ATMS) and one or more (STRIPS-like) Planners. We distinguish four cases of useful adoption of an ATMS: to check and eventually resolve inconsistencies during a single planner planning, to update the knowledge base of a single planner from multisensor information integration or on failure during the execution, case 1 but in a multi-planner architecture, case 2 but in a multi-planner architecture.

Integrating Planning and Knowledge Revision: preliminary report

DRAGONI, Aldo Franco
1993

Abstract

We’ve examined various thinkable ways in which plan formation, execution, monitoring and replanning could take advantage from Truth Maintenance techniques. The creation of a plan is based on a set of assumptions about the external environment and task goals. The inconsistency of these sets or the falsehood of some among their elements can cause failures both in plan generation or execution. On failure it becomes important to understand which assumptions were responsible for the flaw in order to get a more updated knowledge base or a consistent goal. Consistency restoration, multisensor information integration and updating knowledge bases, all need knowledge revision techniques. In this paper we report some possible schemes for the interleaving between the activities of an Assumption Based Truth Maintenance System (ATMS) and one or more (STRIPS-like) Planners. We distinguish four cases of useful adoption of an ATMS: to check and eventually resolve inconsistencies during a single planner planning, to update the knowledge base of a single planner from multisensor information integration or on failure during the execution, case 1 but in a multi-planner architecture, case 2 but in a multi-planner architecture.
workshops in computing
9783540197997
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: http://hdl.handle.net/11566/38160
 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