用于建模辩论与对话博弈的时序论证并发语言的交错语义
人工智能
2023-07-11 v2
摘要
在建模智能体动态行为时，时间是一个关键因素：在真实世界环境中活动具有确定的时间持续时间，且先前的动作会影响智能体的行为。本文中，我们提出一种用于建模智能体间并发交互的语言，其亦允许指定特定动作发生的时间区间。该语言利用抽象论证框架的时序版本来实现共享内存，供智能体就给定时间区间内其信念的可接受性进行通信与推理。在单处理器上采用交错模型用于基本计算步骤，而对时间流逝采用最大并行。遵循此方法，每个时刻仅执行一个被使能的智能体。为展示该语言的能力，我们还说明其如何用于建模智能体间发生的辩论与对话博弈等交互。最后，我们给出了可通过Web界面访问的该语言实现。该文正在Theory and Practice of Logic Programming (TPLP) 审稿中。
引用
@article{arxiv.2306.07675,
title = {An Interleaving Semantics of the Timed Concurrent Language for Argumentation to Model Debates and Dialogue Games},
author = {Stefano Bistarelli and Maria Chiara Meo and Carlo Taticchi},
journal= {arXiv preprint arXiv:2306.07675},
year = {2023}
}
备注
Under consideration in Theory and Practice of Logic Programming (TPLP)