In this paper, we propose a new progression mechanism for a restricted form of incomplete knowledge formulated as a basic action theory in the situation calculus. Specifically, we focus on functional fluents and deal directly with the possible values these fluents may have and how these values are affected by both physical and sensing actions. The method we propose is logically complete and can be calculated efficiently using database techniques under certain reasonable assumptions.
Progression of Situation Calculus Action Theories with Incomplete Information / Vassos, Stavros; Hector, Levesque. - (2007), pp. 2029-2034. (Intervento presentato al convegno 20th International Joint Conference on Artificial Intelligence, IJCAI 2007 tenutosi a Hyderabad; India nel 2007).
Progression of Situation Calculus Action Theories with Incomplete Information
VASSOS, STAVROS;
2007
Abstract
In this paper, we propose a new progression mechanism for a restricted form of incomplete knowledge formulated as a basic action theory in the situation calculus. Specifically, we focus on functional fluents and deal directly with the possible values these fluents may have and how these values are affected by both physical and sensing actions. The method we propose is logically complete and can be calculated efficiently using database techniques under certain reasonable assumptions.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
