Memory Management in Resource-Bounded Agents
In intelligent agents, memory has a very important and decisive role for the choice of future behaviors, since it is progressively formed through the agent’s interactions with the external environment. Previous work exists in the logic concerning the formalization of the reasoning on the formation of beliefs and the interaction with the background knowledge in non-omniscient agents. We extend this work by inserting the concept of time through a particular function that assigns a “timing” to beliefs and inferences.