关于模拟辩论和对话游戏的时间并发语言的交错语义
摘要：建模智能代理的动态行为中，时间是一个至关重要的因素：在现实世界环境中，活动有确定的时间持续性，先前的行为会影响代理的行为。本文介绍了一种用于模拟代理之间并发交互的语言，该语言还允许指定特定动作发生的时间间隔。这种语言利用了定时版本的抽象论证框架来实现代理之间的共享内存，代理通过该内存进行沟通并根据给定时间间隔推理其信念的可接受性。在基本计算步骤中使用单处理器上的交织模型，以实现最大并行性来推进时间流逝。根据这种方法，每次只能执行一个激活的代理。为了展示该语言的能力，我们还展示了如何使用它来建模智能代理之间进行的辩论和对话游戏等交互。最后，我们介绍了一个可以通过web界面访问的该语言的实现。正在考虑发表在《逻辑编程的理论与实践》（Theory and Practice of Logic Programming，TPLP）期刊上。
作者：Stefano Bistarelli, Maria Chiara Meo, Carlo Taticchi
论文ID：2306.07675
分类：Artificial Intelligence
分类简称：cs.AI
提交时间：2023-07-11