In intelligent agents memory plays a crucial role in the choice of future course of action, as it is progressively formed by means of agent’s interactions with the external environment. Previous work exists in logic concerning formalization of reasoning on the formation of beliefs in non-omniscient agents. We address an aspect which has been hardly considered so far, i.e., the notion of “explicit time”, by introducing timed beliefs, timed inferences, by means of temporal logic operator on time intervals.
Timed Memory in Resource-Bounded Agents
Costantini S.
;Formisano A.
;Pitoni V.
2018-01-01
Abstract
In intelligent agents memory plays a crucial role in the choice of future course of action, as it is progressively formed by means of agent’s interactions with the external environment. Previous work exists in logic concerning formalization of reasoning on the formation of beliefs in non-omniscient agents. We address an aspect which has been hardly considered so far, i.e., the notion of “explicit time”, by introducing timed beliefs, timed inferences, by means of temporal logic operator on time intervals.File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
