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 / Alberto, Finzi; PIRRI ARDIZZONE, Maria Fiora. - STAMPA. - (2001), pp. 1331-1336. (Intervento presentato al convegno 17th International Joint Conference on Artificial Intelligence, IJCAI 2001 tenutosi a Seattle, WA nel 4 August 2001 through 10 August 2001).
Combining probabilities, failures and safety in robot control
PIRRI ARDIZZONE, Maria Fiora
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.