×
约翰·格兰特;萨里特·克劳斯;唐纳德·佩利斯;迈克尔·伍尔德里奇

修正BDI结构的假设。 （英文） Zbl 1215.03012号

合成 175，补遗1，39-62（2010）.
摘要：根据新信息合理修正信念的过程是人工智能中一个非常重要且长期感兴趣的话题。此外，在理解信念修正的哲学、逻辑和计算基础方面取得了重大进展。然而，关于其他心理状态的修正，尤其是欲望和意图等命题态度的修正，很少有研究报道。在本文中，我们首次尝试制定一个理解心理状态修正的一般框架。我们发展了一个抽象的代理信念-需求-注意模型，并为该模型引入了合理性的概念。然后，我们提出了一系列形式假设，这些假设描述了添加信仰、欲望和意图、更新成本和价值以及删除信仰、愿望和意图的过程。我们还研究了涉及抽象模型的几个问题的计算复杂性，并对修改算法进行了评论。

引用于2文件

MSC公司：

03A05号 逻辑和基础的哲学和批判性方面
68T27型 人工智能中的逻辑

关键词：

修正假设;信念修正;意图修正;BDI代理

软件：

代理发言;杰森
PDF格式BibTeX公司 XML格式引用
\textit{J.Grant}等人，Synthese 175，39--62（2010；Zbl 1215.03012）
全文： 内政部

参考文献：

[1] Alchourron C.E.、Gärdefors P.、Makinson D.（1985）《论理论变革的逻辑：部分满足收缩和修正功能》。符号逻辑杂志50:510-530·Zbl 0578.03011号 ·doi:10.2307/2274239
[2] Baral C.，Zhang Y.（2005）《知识更新：语义和复杂性问题》。人工智能164（1-2）：209–243·Zbl 1132.68720号 ·doi:10.1016/j.artint.2005.01.05
[3] Bordini R.，Hübner J.F.，Wooldridge M.（2007）使用Jason在AgentSpeak中编程多代理系统。奇切斯特·威利·Zbl 1132.68021号
[4] Cohen P.R.，Levesque H.J.（1990）意图是有承诺的选择。人工智能42:213–261·兹比尔0721.03017 ·doi:10.1016/0004-3702（90）90055-5
[5] Dunne P.E.、Wooldridge M.、Laurence M.（2005）《合同谈判的复杂性》。人工智能164（1-2）：23–46·Zbl 1132.68539号 ·doi:10.1016/j.artint.2005.01.006
[6] Gärdefors P.（1988）《流动中的知识》。麻省理工学院出版社，马萨诸塞州剑桥
[7] Genesereth M.R.，Nilsson N.（1987）人工智能的逻辑基础。Morgan Kaufmann Publishers，加利福尼亚州圣马特奥·Zbl 0645.68104号
[8] Georgeff，M.P.和Lansky，A.L.（1987）。反应式推理和计划。第六届全国人工智能会议论文集（AAAI-87）（第677-682页）。华盛顿州西雅图。
[9] Georgeff，M.P.和Rao，A.S.（1995年）。理性代理的意图维护语义。第十四届国际人工智能联合会议记录（IJCAI-95）（第704-710页）。加拿大魁北克省蒙特利尔。
[10] Huber，M.（1999）。JAM：一种BDI理论的移动代理体系结构。第三届国际自治代理人会议记录（agents 99）（第236-243页）。华盛顿州西雅图。
[11] Konolige K.（1986）信念演绎模型。皮特曼出版社：伦敦和摩根·考夫曼，加利福尼亚州圣马特奥·Zbl 0683.68080号
[12] Pollack M.E.（1990）将计划作为复杂的心理态度。Cohen P.R.、Morgan J.、Pollack M.E.（编辑）《沟通中的意图》。麻省理工学院出版社，马萨诸塞州剑桥，第77-104页
[13] Pollack M.E.（1992）《计划的使用》。人工智能57（1）：43–68·doi:10.1016/0004-3702（92）90104-6
[14] Rao，A.S.（1996）。AgentSpeak（L）：BDI代理使用逻辑计算语言发出声音。W.Van de Velde和J.W.Perram（编辑），《Agents breaking away：第七届欧洲多智能体世界自主智能体建模研讨会论文集》（LNAI第1038卷）（第42-55页）。德国柏林：Springer-Verlag。
[15] Rao，A.S.和Georgeff，M.P.（1991年）。在BDI架构中对理性代理进行建模。R.Fikes和E.Sandewall（编辑），《知识表示和推理程序》（KR&R-91）（第473-484页）。加利福尼亚州圣马特奥：摩根·考夫曼出版社·Zbl 0765.68194号
[16] Rao，A.S.和Georgeff，M.P.（1992）理性代理的抽象架构。C.Rich、W.Swartout和B.Nebel（编辑），《知识表示和推理程序》（KR&R-92）（第439-449页）。
[17] Rao A.S.、Georgeff M.P.（1998）《BDI逻辑的决策程序》。逻辑与计算杂志8（3）：293–344·Zbl 0904.68158号 ·doi:10.1093/log.com/8.3.293
[18] Shoham Y.（2009）意图逻辑理论与数据库视角。哲学逻辑杂志38（6）：633–648·Zbl 1211.03030号 ·doi:10.1007/s10992-009-9116-8
[19] van der Hoek W.，Jamroga W.，Wooldridge M.（2007）《走向意图修正理论》。合成155（2）：265–290·Zbl 1120.03013号 ·doi:10.1007/s11229-006-9145-6
[20] Wooldridge M.（2000）关于理性主体的推理。麻省理工学院出版社，马萨诸塞州剑桥·Zbl 0998.68094号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。