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）。