A Temporal Module for Logical Frameworks

TL;DR

This paper introduces a time module designed to incorporate temporal reasoning into logical frameworks for multi-agent systems, enhancing their modeling, verification, and explainability capabilities.

Contribution

It presents a novel temporal module that can be integrated into various logical representations of agents, expanding their applicability in AI and social modeling.

Findings

Enables temporal reasoning in logical agent models

Improves verification and explainability of multi-agent systems

Facilitates modeling of dynamic social interactions

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 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.