In intelligent agents memory plays a crucial role in the choice of future course of action, as it is progressively formed by means of agent’s interactions with the external environment. Previous work exists in logic concerning formalization of reasoning on the formation of beliefs in non-omniscient agents. We address an aspect which has been hardly considered so far, i.e., the notion of “explicit time”, by introducing timed beliefs, timed inferences, by means of temporal logic operator on time intervals.

Timed Memory in Resource-Bounded Agents

Costantini S.
;
Formisano A.
;
Pitoni V.
2018-01-01

Abstract

In intelligent agents memory plays a crucial role in the choice of future course of action, as it is progressively formed by means of agent’s interactions with the external environment. Previous work exists in logic concerning formalization of reasoning on the formation of beliefs in non-omniscient agents. We address an aspect which has been hardly considered so far, i.e., the notion of “explicit time”, by introducing timed beliefs, timed inferences, by means of temporal logic operator on time intervals.
2018
978-3-030-03839-7
978-3-030-03840-3
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.

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