Memory Management With Explicit Time in Resource-Bounded Agents

Authors

  • Valentina Pitoni University of L'Aquila

DOI:

https://doi.org/10.1609/aaai.v32i1.12136

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.

AAAI 2018 Proceedings Cover

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). https://doi.org/10.1609/aaai.v32i1.12136

Issue

Vol. 32 No. 1 (2018): Thirty-Second AAAI Conference on Artificial Intelligence

Section

Student Abstract Track