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.
Reasoning about memory management in resource-bounded agents
Costantini S.;Pitoni V.
2019-01-01
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 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.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.
