杰夫·布莱；大卫·比林顿；圭多州长；阿卜杜勒·萨塔尔 BDI逻辑的模态级别。 （英语） Zbl 1248.68469号 J.应用。日志。 9，第4期，250-273（2011）. 摘要：理性代理建模现实世界问题的使用已经过大量研究，并得到了广泛接受，BDI（信念、欲望和意图）逻辑是一种广泛使用的架构，用于表示和推理理性代理。然而，在现实世界中，我们经常不得不处理对我们所持有的信念、欲望和承诺的意图的不同程度的信心。本文扩展了我们之前的框架，该框架将信念、欲望和意图的定性水平集成到BDI逻辑中。我们描述了扩展逻辑的公理和属性的扩展集。我们提出了一种模块化的语义结构，它涉及一种非正规的克里普克类型语义，可用于其他代理系统。此外，我们通过一个调度任务示例演示了我们的框架的有用性。 MSC公司： 68T27型 人工智能中的逻辑 03B42号 知识和信念的逻辑（包括信念变化） 68T42型 Agent技术与人工智能 关键词：模态逻辑；代理人；BDI代理；信仰；目标；关于信念和知识的推理 软件：代理发言；杰森 PDF格式BibTeX公司 XML格式引用 \textit{J.Blee}等人，J.Appl。日志。9，第4号，250--273（2011；Zbl 1248.68469） 全文： 内政部 链接 参考文献： [1] 安东尼奥，G。；比林顿，D。；总督，G。；Maher，M.J.，可解逻辑的表示结果，ACM Trans。计算。日志。，2, 2, 255-287 (2001) ·兹比尔1171.68740 [2] Billington，D.，Defeasible logic is stable，J.逻辑计算。，3, 4, 379-400 (1993) ·Zbl 0808.03011号 [3] 布莱，J。；比林顿，D。；Sattar，A.，《BDI逻辑中模式层次的推理》，（Ghose，A.K.；Governatori，G.；Sadananda，R.，《代理计算和多代理系统》，第十届环太平洋多代理国际会议，2007年PRIMA。代理计算和多代理系统，第十届环太平洋多代理国际会议，2007年PRIMA，计算讲义。科学。，第5044卷（2007），施普林格-弗拉格），410-415 [4] 布莱，J。；比林顿，D。；总督，G。；Sattar，A.，bdi逻辑的模式层次，（智能代理和多代理系统逻辑研讨会论文集（WLIAMAS08）（2008），IEEE:IEEE悉尼，澳大利亚），647-650 [5] R.H.Bordini，J.F.Hubner，Jason：AgentSpeak扩展版本的基于Java的AgentSpeark解释器，第9版，2007年2月，URLhttp://jason.sourceforge.net/jason.pdf; R.H.Bordini，J.F.Hubner，Jason：AgentSpeak扩展版本的基于Java的AgentSpeark解释器，第9版，2007年2月，URLhttp://jason.sourceforge.net/jason.pdf [6] Bordini，R.H。；Hübner，J.F。；Vieira，R.，Jason和面向代理编程的金羊毛，（Bordini，R.H.；Dastani，M.；Dix，J.；Fallah Seghrouchni，A.E.，多代理编程。多代理编程，多代理系统，人工社会和模拟组织，第15卷（2005），施普林格），3-37·Zbl 1101.68456号 [7] Bratman，M.E.，《意图、计划和实践理性》（1987），哈佛大学出版社：哈佛大学出版社，马萨诸塞州剑桥 [8] P.Busetta，R.Ronnquist，A.Hodgson，A.Lucas，Jack intelligent agents-Java中智能代理的组件，技术代表，面向代理软件私人有限公司。有限公司，澳大利亚墨尔本，1998年。；P.Busetta，R.Ronnquist，A.Hodgson，A.Lucas，Jack intelligent agents-Java中智能代理的组件，技术代表，面向代理软件私人有限公司。澳大利亚墨尔本，1998年。 [9] 卡萨利，A。；戈多，L。；Sierra，C.，代理架构的分级bdi模型，（Leite，J.A.；Torroni，P.，CLIMA V.CLIMA V，《计算科学讲义》，第3487卷（2004），Springer），126-143·Zbl 1081.68681号 [10] A.Casali，L.Godo，C.Sierra，分级bdi制剂的多控制规范，见：context-05会议记录，研究报告LIP 62005。；A.Casali，L.Godo，C.Sierra，分级bdi制剂的多控制规范，见：context-05会议记录，研究报告LIP 62005·Zbl 1081.68681号 [11] Chellas，B.F.，《模态逻辑：导论》（1980），剑桥大学出版社：剑桥大学出版社，马萨诸塞州剑桥·Zbl 0431.03009号 [12] Hintikka，J.，《知识与信仰》。《两个概念的逻辑导论》（1962），康奈尔大学出版社 [13] van der Hoek，W.，《关于分级模式的语义》，《应用非经典逻辑杂志》，2，1（1992）·Zbl 0797.03013号 [14] 范德霍克，W。；Lomuscio，A.，《无知的逻辑》，LCMAS 2003，《多代理系统中的逻辑和通信》。LCMAS 2003，多代理系统中的逻辑和通信，电子。注释Theor。计算。科学。，85, 2, 117-133 (2004) ·Zbl 1270.03042号 [15] M.Luck，P.McBurney，C.Preist，代理技术路线图：概述和咨询报告，2005年，URLhttp://www.agentlink.org/roadmap/roadmap报告.pdf; M.Luck、P.McBurney、C.Preist，代理技术路线图：概述和咨询报告，2005年，URLhttp://www.agentlink.org/roadmap/roadmap报告.pdf [16] Nute，D.，《可击败逻辑》（Bartenstein，O.；Geske，U.；Hannebauer，M.；Yoshie，O.，INAP）（LNCS卷）。INAP（LNCS卷），计算机课堂讲稿。科学。，第2543卷（2001），施普林格），151-169·Zbl 1033.68656号 [17] Rao，A.S.，Agentspeak（l）：Bdi代理用逻辑计算语言说话，（de Velde，W.V.；Perram，J.W.，MAAMAW.MAAMAW，《计算科学讲义》，第1038卷（1996），Springer），42-55 [18] A.S.Rao，M.P.Georgeff，《在bdi架构中建模理性代理》，KR，1991年，第473-484页。；A.S.Rao，M.P.Georgeff，《在bdi架构中建模理性代理》，KR出版社，1991年，第473-484页·Zbl 0765.68194号 [19] Rao，A.S。；Georgeff，M.P.，《bdi逻辑的决策程序》，J.Logic Comput。，8, 3, 293-342 (1998) ·Zbl 0904.68158号 [20] Wooldridge，M.，《基于计算的代理理论》（ICMAS（2000），IEEE计算机学会），13-22 [21] 伍尔德里奇，M。；Lomuscio，A.，可见性、感知和知识的计算基础逻辑，Log。J.IGPL，9，2（2001）·Zbl 0974.68203号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。