We present a formal framework for treating both incomplete information in the initial database and possible failures during an agent's execution of a course of actions. These two aspects of uncertainty are formalized by two different notions of probability. We introduce also a concept of expected probability, which is obtained by combining the two previous notions. Expected probability accounts for the probability of a sentence on the hypothesis that the sequence of actions needed to make it true might have failed. Expected probability leads to the possibility of comparing courses of actions and verifying which is more safe.
Combining probabilities, failures and safety in robot control / Finzi, Alberto; F., Pirri. - STAMPA. - (2001), pp. 1331-1336. (Intervento presentato al convegno Seventeenth International Joint Conference on Artificial Intelligence (IJCAI 2001) tenutosi a Seattle, WA, US nel 4-10 Agosto 2001).
Combining probabilities, failures and safety in robot control
FINZI, ALBERTO;
2001
Abstract
We present a formal framework for treating both incomplete information in the initial database and possible failures during an agent's execution of a course of actions. These two aspects of uncertainty are formalized by two different notions of probability. We introduce also a concept of expected probability, which is obtained by combining the two previous notions. Expected probability accounts for the probability of a sentence on the hypothesis that the sequence of actions needed to make it true might have failed. Expected probability leads to the possibility of comparing courses of actions and verifying which is more safe.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
