Memory Management With Explicit Time in Resource-Bounded Agents

Authors

  • Valentina Pitoni University of L'Aquila

Keywords:

Intelligent Software Agents, Memory Management, Metric Temporal Logic

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.

Downloads

Published

2018-04-29

How to Cite

Pitoni, V. (2018). Memory Management With Explicit Time in Resource-Bounded Agents. Proceedings of the AAAI Conference on Artificial Intelligence, 32(1). Retrieved from https://ojs.aaai.org/index.php/AAAI/article/view/12136