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

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.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11697/178953
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 3
  • ???jsp.display-item.citation.isi??? ND
social impact