Abstract
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.
Submitted Version (Free)
Published Version
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have