Time is a crucial factor in modelling dynamic behaviours of intelligent agents: activities have a determined temporal duration in a real-world environment, and previous actions influence agents' behaviour. In this paper, we propose a language for modelling concurrent interaction between agents that also allows the specification of temporal intervals in which particular actions occur. Such a language exploits a timed version of Abstract Argumentation Frameworks to realise a shared memory used by the agents to communicate and reason on the acceptability of their beliefs with respect to a given time interval. An interleaving model on a single processor is used for basic computation steps, with maximum parallelism for time elapsing. Following this approach, only one of the enabled agents is executed at each moment. To demonstrate the capabilities of language, we also show how it can be used to model interactions such as debates and dialogue games taking place between intelligent agents. Lastly, we present an implementation of the language that can be accessed via a web interface. Under consideration in Theory and Practice of Logic Programming (TPLP).

翻译：时间是建模智能体动态行为的关键因素：在真实环境中，活动具有确定的持续时间，且先前行为会影响智能体的后续行为。本文提出一种用于建模智能体间并发交互的语言，该语言能够指定特定行为发生的时间区间。该语言利用抽象辩论框架的时序版本实现共享内存，智能体通过该内存进行通信，并基于特定时间区间推理其信念的可接受性。基本计算步骤采用单处理器上的交叉模型，时间流逝时则采用最大并行策略。依此方法，每时刻仅执行一个激活的智能体。为展示该语言的能力，我们进一步演示了如何利用其对智能体间的辩论和对话博弈等交互进行建模。最后，我们给出该语言的一种可通过网页界面访问的实现方案。本文正在《逻辑编程理论与实践》（TPLP）审稿中。