克劳斯·希尔德 关于BDI逻辑和并发标准逻辑之间的关系。 （英语） 兹伯利0927.03056 Müller，Jörg P.（编辑）等人，《智能代理V.代理理论、架构和语言》。第五届国际研讨会，98年安乐。1998年7月4日至7日，法国巴黎。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1555, 47-61 (1999). 概述：代理人的行为主要取决于其处理信息和审议之间合理平衡的具体方式。在获得这种平衡的形式主义中，最流行的是拉奥和乔治夫的BDI理论。这种形式主义被提议作为一种语言，用于以抽象的方式指定代理，或者用于验证其他编程语言中实现的代理的各种属性。在主流计算机科学中，有一些形式主义设计用于与BDI理论类似的目的，虽然不是专门针对代理，但一般是针对并发。这些形式被称为并发程序的逻辑。本文首次将这两个框架进行了比较。结果表明，基本BDI理论{BDI}（BDI）_{\text{CTL}^*}\），可以在标准并发逻辑中捕获。这里相关的逻辑是Kozen的命题演算。微积分的表达能力甚至比（text）更强{BDI}（BDI）_{\text{CTL}^*}\），同时享受不高于\（\text）的计算复杂性{BDI}（BDI）_{\text{CTL}^*}\）的小片段CTL。这种对应使我们能够对拉奥和乔治夫的完整理论进行第一次完整的公理化。关于整个系列，请参见[Zbl 0912.00024号]。 引用于1文件 理学硕士： 03B70型 计算机科学中的逻辑 68T27型 人工智能中的逻辑 03B45号 模态逻辑（包括规范逻辑） 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 关键词：代理人行为;信仰、欲望和意图之间的理性平衡;BDI理论;并发;并发程序的逻辑;命题\（\mu\）-演算;公理化 PDF格式BibTeX公司 XML格式引用 \textit{K.Schild}，莱克特。注释计算。科学。1555，47-61（1999；Zbl 0927.03056）