马尔

状态约束下多智能体域中agent信念的推理:动作语言mAL。动作推理是动态域中预测、规划和诊断等许多任务的基础。在关于动作的推理社区中,一种被称为动作语言的广泛的语言类别已经被开发出来,并提供了一种用于表示动态域的方法。除了一些值得注意的例外,这些工作的重点主要集中在单代理系统上。然而,代理人很少在真空中运作,而且几乎是同时进行的,在动态认知逻辑社区中,已经进行了大量的工作,以了解代理人的行为如何影响其同伴的知识和/或信仰。两个社区都不太了解的是,如何在多智能体环境中表现和推理本体和认知行为的直接和间接影响。本文提出了一种新的动作语言,$mmathcal{AL}$,它汇集了两个社区开发的技术,用于推理涉及本体和认知行为的动态多智能体域,以及这些行为可能对域产生的间接影响。