Timed Memory in Resource-Bounded Agents

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.