A Temporal Module for Logical Frameworks
This work addresses the need for temporal modeling in logic-based multi-agent systems, which is incremental as it builds on existing logic frameworks.
The paper tackles the problem of modeling time in multi-agent systems by defining a temporal module that can be integrated into various logic representations, aiming to enhance verification, explainability, and validation.
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 than other approaches, and provides explainability and potential validation. In this paper we define a time module suitable to add time to many logic representations of agents.