Reasoning about 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 works exist in the logic concerning the formalization of the reasoning on the formation of beliefs in non-omniscient agents. We extend this work by inserting the concept of time through a particular function that assigns a “timing” to beliefs, inferences and modal operators.