In this paper we present RDDPlan a problem solving algorithm for generating plans of actions which satisfy logical goals and numerical goals on uncertain resources. Planning with resources has many applications with range from automated manifacturing and software composition. In the classical planning model the actions describe purely logical state transictions and do not take into account the numerical aspects of real world. Some extensions to the classical model have been recently proposed with planners able to manage numerical resources which can be produced/consumed by the action execution. Unfortunately in real domains is not possible to make accurate exact previsions about resource production/consumption because of the inherent uncertainty of real world. In this work a planning model allowing to manage uncertainty about the initial value of resources, and about the modifications induced by the action executions; in this model actions can modify logical aspects of the world and, at the same time, can make uncertain updates of numerical resources. The proposed uncertainty is based on the notion of fuzzy trapezoidal intervals. Moreover the system RDPPlan, implemented the model, is presented; this system is built on the top of the planner DPPlan, a system based on propagation rules and the Davis Putnam algorithm.

Action Reasoning with Uncertain Resources

MILANI, Alfredo;POGGIONI, VALENTINA
2004

Abstract

In this paper we present RDDPlan a problem solving algorithm for generating plans of actions which satisfy logical goals and numerical goals on uncertain resources. Planning with resources has many applications with range from automated manifacturing and software composition. In the classical planning model the actions describe purely logical state transictions and do not take into account the numerical aspects of real world. Some extensions to the classical model have been recently proposed with planners able to manage numerical resources which can be produced/consumed by the action execution. Unfortunately in real domains is not possible to make accurate exact previsions about resource production/consumption because of the inherent uncertainty of real world. In this work a planning model allowing to manage uncertainty about the initial value of resources, and about the modifications induced by the action executions; in this model actions can modify logical aspects of the world and, at the same time, can make uncertain updates of numerical resources. The proposed uncertainty is based on the notion of fuzzy trapezoidal intervals. Moreover the system RDPPlan, implemented the model, is presented; this system is built on the top of the planner DPPlan, a system based on propagation rules and the Davis Putnam algorithm.
2004
3-540-22060-7
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/11391/17030
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? 0
social impact