×
范德霍克，威比;沃伊切赫，詹罗加;迈克尔·伍尔德里奇

走向意图修正理论。 （英语） Zbl 1120.03013号

合成 155，第2期，265-290（2007）.
本文的目的是进一步发展当前的意图逻辑，以便他们能够讨论意图的修正。正如标题所示，本文是一篇探索性很强的文章，试图迈出一些第一步。它首先重建现有的意图逻辑，将著名的科恩和列夫斯克系统的元素与乔治夫和拉奥系统BDI（信念、欲望、意图）的各个方面结合起来。修订等动态操作就是在此基础上构建的。注意仅限于单一代理案例。
审核人：David Makinson（伦敦）

引用于11文件

理学硕士：

03B42号 知识和信念的逻辑（包括信念变化）
03B45号 模态逻辑（包括规范逻辑）
03A05号 逻辑和基础的哲学和批判性方面

关键词：

意图;修订;BDI公司

软件：

代理峰值
PDF格式BibTeX公司 XML格式引用
\textit{W.van der Hoek}等人，Synthese 155，No.2，265--290（2007；Zbl 1120.03013）
全文： 内政部

参考文献：

[1] Alchourrón C.E.、Gärdefors P.和Makinson D.（1985年）。论理论变革的逻辑：部分满足收缩和修正功能。符号逻辑杂志50，510–530·Zbl 0578.03011号 ·doi:10.2307/2274239
[2] 艾伦J.F.、亨德勒J.、泰特A.（编辑）。(1990). 计划中的阅读。Morgan Kaufmann Publishers，加利福尼亚州圣马特奥
[3] 亚里士多德（1998）。尼科马赫伦理。英国牛津：牛津大学出版社。D.Ross、J.R.Ackrill和O.Urmson翻译。
[4] Atkinson，K.（2005）。我们该怎么办？利物浦大学计算机科学系博士论文。www.csc.liv.ac.uk/\（\sim\）katie/ThesisFinal.pdf，2006年7月19日检索。
[5] Baltag，A.和Moss，L.S.（2004年）。认知程序逻辑。合成，139165-224。知识、合理性和行动1-60·Zbl 1100.03010号
[6] Bratman M.E.（1987年）。意图、计划和实际理由。哈佛大学出版社，马萨诸塞州剑桥
[7] Bratman M.E.（1990年）。什么是意图？。收件人：Cohen P.R.、Morgan J.L.、Pollack M.E.（编辑）。沟通中的意图。麻省理工学院出版社，马萨诸塞州剑桥，第15-32页
[8] Bratman M.E.、Israel D.J.、Pollack M.E.（1988年）。计划和基于资源的实际推理。计算智能4，349–355·doi:10.1111/j.1467-8640.1988.tb00284.x
[9] Cohen P.R.，Levesque H.J.（1990年）。意图是选择和承诺。人工智能42，213–261·Zbl 0721.03017号 ·doi:10.1016/0004-3702（90）90055-5
[10] Cohen P.R.，Levesque H.J.（1990年）。理性互动是沟通的基础。收件人：Cohen P.R.、Morgan J.、Pollack M.E.（编辑）。沟通中的意图。麻省理工学院出版社，马萨诸塞州剑桥，第221-256页
[11] Cohen P.R.，Levesque H.J.（1991年）。团队合作。努斯25（4）：487–512·doi:10.2307/2216075
[12] Dennett D.C.（1987）。故意的立场。麻省理工学院出版社，马萨诸塞州剑桥
[13] Dignum，F.、Dunin-Keplicz，B.和Verbrugge，R.（2001）。通过对话组建团队的代理理论。在C.Castelfranchi和Y.Lesperance（编辑）的《诉讼代理理论、架构和语言》（Proceedings agent theorys，architecture and languages ATAL）中，LNAI 1986年出版（第150–166页）。柏林：斯普林格·Zbl 1056.68558号
[14] Dignum F.，Conte R.（1998年）。意图代理人和目标形成。In:Singh M.P.、Rao A.、Wooldridge M.J.（编辑）。智能代理IV（LNAI第1365卷）。施普林格·弗拉格，柏林，海德堡，纽约，德国，第231-244页
[15] 艾默生E.A.（1990）。时间逻辑和模态逻辑。在van Leeuwen J.（编辑）中。计算机科学理论手册B卷：形式模型和语义。Elsevier Science Publishers B.V.，荷兰阿姆斯特丹，第996-1072页·Zbl 0900.03030号
[16] Fagin R.、Halpern J.Y.、Moses Y.、Vardi M.Y.（1995年）。关于知识的推理。麻省理工学院出版社，马萨诸塞州剑桥·Zbl 0839.68095号
[17] Galliers，J.R.（1988）。多智能体合作对话的战略框架。《第八届欧洲人工智能会议论文集》（ECAI-88），慕尼黑，德意志联邦共和国，第415-420页。
[18] Galliers，J.R.（1988）。合作对话计算机模型的理论框架，承认多智能体冲突。英国开放大学博士论文。
[19] Georgeff M.P.、Lansky A.L.（编辑）。（1986）关于行动和计划的推理——1986年研讨会的会议记录。Morgan Kaufmann Publishers，加利福尼亚州圣马特奥
[20] Georgeff，M.P.和Lansky，A.L.（1987）。反应式推理和计划。《第六届全国人工智能会议论文集》（AAAI-87），西雅图，华盛顿州，第677-682页。
[21] Georgeff，M.P.和Rao，S.（1995年）。理性代理的意图维护语义。《国际JCAI会议记录》（第704-710页）。加利福尼亚州圣马特奥：摩根·考夫曼。
[22] Harel D.、Kozen D.、Tiuryn J.（2000年）。动态逻辑。麻省理工学院出版社，马萨诸塞州剑桥·Zbl 0976.68108号
[23] Hindriks K.V.、de Boer F.S.、van der Hoek W.、Meyer J.-J.Ch.（1999）。3APL中的代理编程。自治代理和多代理系统2（4）：357–402·doi:10.1023/A：1010084620690
[24] Jennings N.R.（1992）。关于负责任。收录人：Werner E.、Demazeau Y.（编辑）。去中心化AI 3——关于在多智能体世界中建模自主智能体的第三次欧洲研讨会（MAAMAW-91）的会议记录。Elsevier Science Publishers B.V.，荷兰阿姆斯特丹，第93–102页
[25] Jennings，N.R.（1992年）。面向合作解决问题的合作知识水平。《第十届欧洲人工智能会议论文集》（ECAI-92），奥地利维也纳，第224-228页。
[26] Jennings N.R.（1993年）。承诺和约定：多智能体系统中协调的基础。知识工程评论8（3）：223-250·doi:10.1017/S0269888900000205
[27] Jennings N.R.（1993）。用于协作问题解决的信念-愿望联合意图体系结构的规范和实现。智能与合作信息系统杂志2（3）：289–318·doi:10.1142/S0218215793000137
[28] Kaelbling L.P.，Rosenschein S.J.（1990年）。嵌入式代理中的操作和规划。收件人：Maes P.（eds）。设计自主代理。麻省理工学院出版社，马萨诸塞州剑桥，第35-48页
[29] 卡普兰R.，卡普兰S.（1989）。自然体验：心理学视角。剑桥大学出版社·Zbl 0673.60075号
[30] Katsuno H.、Mendelzon A.（1991年）。关于更新知识库和修改知识库之间的差异。摘自：Allen J.a.、Fikes R.、Sandewall E.（编辑）。知识表示和推理的原则。Morgan Kaufmann，加利福尼亚州圣马特奥，第387–394页·Zbl 0765.68197号
[31] Kinny，D.和Georgeff，M.（1991年）。指定代理人的承诺和效力。《第十二届国际人工智能联合会议论文集》（IJCAI-91），澳大利亚悉尼，第82-88页·Zbl 0745.68106号
[32] Levesque，H.J.、Cohen，P.R.和Nunes，J.H.T.（1990年）。一起行动。《第八届全国人工智能会议论文集》（AAAI-90），马萨诸塞州波士顿，第94-99页。
[33] 麦克德莫特D.（1982）。对过程和计划进行推理的时间逻辑。认知科学6，101–155·doi:10.1207/s15516709cog0602_1
[34] Meyer J.-J.Ch.，van der Hoek W.，van Linder B.（1999）。对承诺动态的逻辑方法。人工智能113，1-40·Zbl 0939.68831号 ·doi:10.1016/S0004-3702（99）00061-2
[35] Meyer J.-J.Ch.，van der Hoek W.（1995）。人工智能和计算机科学的认识论逻辑。剑桥大学出版社，英国剑桥·Zbl 0868.03001号
[36] Pollack M.E.（1992年）。计划的使用。人工智能57（1）：43–68·doi:10.1016/0004-3702（92）90104-6
[37] Rao A.S.（1996）。AgentSpeak（L）：BDI代理使用逻辑计算语言发出声音。收录人：Van de Velde W.、Perram J.W.（编辑）。代理分离：第七届欧洲多代理世界自主代理建模研讨会论文集（LNAI第1038卷）。施普林格·弗拉格，柏林，海德堡，纽约，德国，第42-55页
[38] Rao A.S.、Georgeff M.（1998年）。BDI逻辑的决策程序。逻辑与计算杂志8（3）：293–344·Zbl 0904.68158号 ·doi:10.1093/log.com/8.3.293
[39] Rao A.S.、Georgeff M.P.（1991年）。在BDI架构中对理性代理进行建模。收录：Fikes R.、Sandewall E.（编辑）。知识表示和推理程序（KR&R-91）。Morgan Kaufmann Publishers，加州圣马特奥，第473–484页·Zbl 0765.68194号
[40] Rao A.S.、Georgeff M.P.（1992年）。理性代理的抽象架构。收录人：Rich C.、Swartout W.、Nebel B.（编辑）。知识表示和推理程序（KR&R-92）。Morgan Kaufmann，加利福尼亚州圣马特奥，第439–449页
[41] Searle J.R.（2001）。行动中的合理性。麻省理工学院出版社，美国马萨诸塞州剑桥
[42] Singh，M.P.（1992年）。对科恩-列夫斯克意图理论的批判性检验。《第十届欧洲人工智能会议论文集》（ECAI-92），奥地利维也纳，第364-368页。
[43] Skubch H.、Thielscher M.（2005）。推理代理的策略学习。收录：Gama J.等人（编辑）。ECML 2005，LNAI第3720号。施普林格，柏林，海德堡，纽约，第733–740页
[44] van Benthem，J.和Liu，F.（2005年）。偏好升级的动态逻辑。《技术报告PP-2005-2029》，阿姆斯特丹大学，2005年。发表于《应用非经典逻辑杂志》，17（2），2007·Zbl 1186.03034号
[45] van der Hoek W.、van Linder B.、Meyer J.-J.Ch.（1999）。理性代理的集成模式方法。收录：Wooldridge M.，Rao A.（编辑）。理性代理的基础。Kluwer学术出版社，荷兰多德雷赫特，第133-168页·Zbl 0926.68108号
[46] van Ditmarsch H.P.、van der Hoek W.、Kooi B.（2003）。并发动态认知逻辑。收录人：Hendricks V.F.、Jörgensen K.F.、Pedersen S.A.（编辑）。知识贡献者，综合图书馆第322卷。荷兰多德雷赫特Kluwer出版社，第45-82页·Zbl 1067.03025号
[47] van Linder B.、van der Hoek W.、Meyer J.-J.Ch.（1995年）。让你改变主意的行动。收录：Laux A.，Wansing H.（编辑）。哲学和人工智能方面的知识和信仰。Akademie Verlag，柏林，第103–146页·Zbl 0839.03016号
[48] Vidal J.、Durfee E.（1998年）。学习信息经济中的嵌套代理模型。实验与理论人工智能杂志10，291–308·Zbl 1053.68658号 ·doi:10.1080/095281398146770
[49] 伍尔德里奇M.（2000）。关于理性主体的推理。麻省理工学院出版社，马萨诸塞州剑桥·Zbl 0998.68094号
[50] 伍尔德里奇M.，詹宁斯N.R.（1999）。合作解决问题的过程。逻辑与计算杂志9（4）：563–592·Zbl 0935.68099号 ·doi:10.1093/log.com/9.4.563
[51] Wooldridge M.，Parsons S.D.（1999年）。重新考虑意向。作者：Müller J.P.、Singh M.P.、Rao A.S.（编辑）。智能代理V（LNAI第1555卷）。施普林格，柏林，海德堡，纽约，德国，第63-80页
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。