Memory Management in Resource-Bounded Agents

TL;DR

This paper explores memory management in resource-bounded multi-agent systems using logic, extending previous models by incorporating the concept of time to improve system verification and explainability.

Contribution

It introduces a novel approach to agent memory management by integrating temporal aspects into logical models, enhancing the verification process.

Findings

Improved logical models for agent memory management.

Enhanced verification capabilities with temporal integration.

Framework supports explainability in multi-agent systems.

Abstract

In artificial intelligence, multi agent systems constitute an interesting typology of society modeling, and have in this regard vast fields of application, which extend to the human sciences. Logic is often used to model such kind of systems as it is easier to verify the explainability and validation, so for this reason we have tried to manage agents' memory extending a previous work by inserting the concept of time.