ML Anthology

Memory Management with Explicit Time in Resource-Bounded Agents

Valentina Pitoni
AAAI 2018 pp. 8133-8134
doi:10.1609/AAAI.V32I1.12136 /aaai/2018/pitoni2018aaai-memory/

Abstract

The objective of my research project is the formal treatment of memory issues in Intelligent Software Agents. I extend recent work which proposed a (partial) formalization of SOAR architecture in modal logic, reasoning on a particular type of agents: resource-bounded agents. I introduce explicit treatment of time instants and time intervals by means of Metric Temporal Logic, both in the background logic and in mental operations.

PDF AAAI Semantic Scholar

Cite

Text

Pitoni. "Memory Management with Explicit Time in Resource-Bounded Agents." AAAI Conference on Artificial Intelligence, 2018. doi:10.1609/AAAI.V32I1.12136

Markdown

[Pitoni. "Memory Management with Explicit Time in Resource-Bounded Agents." AAAI Conference on Artificial Intelligence, 2018.](https://mlanthology.org/aaai/2018/pitoni2018aaai-memory/) doi:10.1609/AAAI.V32I1.12136

BibTeX

@inproceedings{pitoni2018aaai-memory,
  title     = {{Memory Management with Explicit Time in Resource-Bounded Agents}},
  author    = {Pitoni, Valentina},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2018},
  pages     = {8133-8134},
  doi       = {10.1609/AAAI.V32I1.12136},
  url       = {https://mlanthology.org/aaai/2018/pitoni2018aaai-memory/}
}