×
尤尔根·迪克斯;迈克尔·费希尔

逻辑和代理相遇的地方。 （英语） Zbl 1230.68188号

安。数学。Artif公司。智力。 61，第1期，15-28（2011）.
摘要：在本文中，我们提供了一个简短且非常主观的描述，描述了数学技术，主要是来自逻辑基础的技术，是如何在多智能体系统中使用的。这当然不是一个全面的调查，但也表明了近年来“逻辑”和“代理”领域的交汇点。本期刊在这一领域包含了数量惊人的文章，其中有几期特刊关注计算逻辑及其在代理系统中的应用。

MSC公司：

68T27型 人工智能中的逻辑
68立方英尺 知识表示
68T42型 Agent技术与人工智能

关键词：

多代理系统;计算逻辑

软件：

3APL公司;SCIFF公司;贾德克斯;加罗;杰森;MCMAS公司;高尔夫;代理发言;冲击
PDF格式BibTeX公司 XML格式引用
\textit{J.Dix}和\textit{M.Fisher}，安.数学。Artif公司。智力。61，第1号，第15--28号（2011；Zbl 1230.68188）
全文： 内政部

参考文献：

[1] Alberti，M.、Chesani，F.、Gavanelli，M.，Lamma，E.、Mello，P.、Torroni，P.:诱拐逻辑编程中的可验证代理交互：SCIFF框架。ACM Trans。计算。日志。9(4) 440–454 (2008) ·Zbl 1185.68419号
[2] Alechina，N.，Dastani，M.，Logan，B.，Meyer，J.：代理程序的逻辑。In：程序。第22届美国人工智能全国会议（AAAI），第795-800页。AAAI出版社，门罗公园（2007）
[3] Alferes，J.-J.，Brogi，A.，Leite，J.A.，Pereira，L.M.：进化代理的逻辑编程。In：程序。第七届合作情报机构国际研讨会。LNCS，第2782卷，第281-297页。施普林格，纽约（2003）
[4] Alur，R.，Henzinger，T.A.：实时逻辑和模型：一项调查。In：程序。REX实时研讨会：理论与实践。LNCS，第600卷，第74-106页。施普林格，纽约（1991）
[5] Alur，R.，Henzinger，T.A.，Kupferman，O.：交替时间时序逻辑。J.ACM 49672–713（2002年）·Zbl 1326.68181号 ·doi:10.1145/585265.585270
[6] Amgoud，L.，Cayrol，C.：基于可接受论据生成的推理模型。安。数学。Artif公司。智力。34(1–3), 197–215 (2002) ·Zbl 1002.68172号 ·doi:10.1023/A:1014490210693
[7] Astefanoaei，L.，Dastani，M.，Meyer，J.-J.，de Boer，F.S.：关于规范化多智能体系统的语义和验证。J.大学。计算。科学。15(13), 2629–2652 (2009)
[8] Ayala，A.P.：本体代理及其在网络教育系统中的应用：走向适应性和智能服务。In：Web和应用程序进化中的智能代理。计算智能研究，第167卷，第249-278页。施普林格，纽约（2009年）
[9] Baader，F.、Calvanee，D.、McGuinness，D.、Nardi，D.、Patel-Schneider，P.F.（编辑）：《描述逻辑手册：理论、实现和应用》。剑桥大学出版社，剑桥（2003）·Zbl 1058.68107号
[10] Baldoni，M.、Baroglio，C.、Mascardi，V.、Omicini，A.、Torroni，P.：代理、多代理系统和声明式编程：什么、何时、何地、为什么、谁、如何？In：Dovier，A.，Pontelli，E.（编辑）25 Years GULP。《计算机科学讲义》，第6125卷，第204-230页。施普林格，纽约（2010）·Zbl 1285.68188号
[11] Baldoni，M.，Martelli，A.，Patti，V.，Giordano，L.：在模态动作逻辑中为理性主体编程。安。数学。Artif公司。智力。41(2–4), 207–257 (2004) ·Zbl 1077.68088号 ·doi:10.1023/B:AMAI.0000031196.24935.b5
[12] Bassiliades，N.，Governatori，G.，Paschke，A.，Dix，J.：客座编辑介绍：分布式异构环境中的规则表示、交换和推理。IEEE传输。知识。数据工程22（11），1489–1491（2010）·doi:10.1109/TKDE.2010.179
[13] Behrens，T.M.、Dastani，M.、Dix，J.、Novák，P.：代理竞赛，第4版。In：程序。第六届多代理系统编程国际研讨会（ProMAS）。LNCS，第5442卷，第211-222页。施普林格，纽约（2009年）
[14] Behrens，T.M.，Dix，J.：使用基于逻辑的petri网对多代理系统进行模型检查。安。数学。Artif公司。智力。51(2–4), 81–121 (2007) ·Zbl 1137.68054号 ·doi:10.1007/s10472-008-9092-7
[15] Benerecetti，M.，Giunchiglia，F.，Serafini，L.：模型检查多智能体系统。J.日志。计算。8(3), 401–423 (1998) ·Zbl 0904.68159号 ·doi:10.1093/logcom/8.3.401
[16] Birna van Riemsdijk，M.、Dastani，M.和Meyer，J.-J.：冲突中的目标：代理编程中目标的语义基础。自治代理和多代理系统18（3），471-500（2009）·doi:10.1007/s10458-008-9067-4
[17] Blackburn，P.，van Benthem，J.，Wolter，F.（编辑）：模态逻辑手册。Elsevier，阿姆斯特丹（2006）·兹比尔1114.03001
[18] Bonatti，P.A.，Kraus，S.，Subrahmanian，V.S.：安全代理。安。数学。Artif公司。智力。37(1–2), 169–235 (2003) ·Zbl 1010.68105号 ·doi:10.1023/A:1020233522878
[19] Bordini，R.H.，Dastani，M.，Dix，J.，El Fallah-Seghrouchni，A.（编辑）：多代理编程：语言、平台和应用。施普林格，纽约（2005）·Zbl 1101.68456号
[20] Bordini，R.H.，Dastani，M.，Dix，J.，El Fallah-Seghrouchni，A.（编辑）：多代理编程：语言、工具和应用。施普林格，纽约（2009）·Zbl 1169.68001号
[21] Bordini，R.H.，Dennis，L.A.，Farwer，B.，Fisher，M.：多代理程序的自动验证。In：程序。第23届IEEE/ACM国际自动化软件工程会议（ASE），第69–78页。IEEE计算机学会出版社，洛斯阿拉米托斯（2008）
[22] Bordini，R.H.，Fisher，M.，Visser，W.，Wooldridge，M.:模型检验理性代理。IEEE智能。系统。19(5), 46–52 (2004) ·doi:10.1010/MIS.2004.47
[23] Bordini，R.H.，Fisher，M.，Visser，W.，Wooldridge，M.：通过模型检查验证多智能体程序。《自治代理和多代理系统杂志》12（2），239–256（2006）·doi:10.1007/s10458-006-5955-7
[24] Bordini，R.H.，Fisher，M.，Wooldridge，M..，Visser，W.：基于属性的切片，用于试剂验证。J.日志。计算。19(6), 1385–1425 (2009) ·Zbl 1185.68751号 ·doi:10.1093/log.com/exp029
[25] Bordini，R.H.，Hübner，J.F.，Vieira，J.F.:Jason和面向代理编程的金羊毛。收录：Bordini，R.H.，Dastani，M.，Dix，J.，El Fallah-Seghrouchni，A.（编辑）《多代理编程：语言、平台和应用》，第1章，第3-37页。施普林格，纽约（2005）
[26] Bordini，R.H.，Hübner，J.F.，Wooldridge，M.：使用Jason在AgentSpeak中编程多代理系统。威利，纽约（2007）·Zbl 1132.68021号
[27] R.H.Bordini，阿拉斯加Moreira。F.：证明面向代理编程语言的BDI属性。安。数学。Artif公司。智力。42(1–3), 197–226 (2004) ·Zbl 1059.68126号 ·doi:10.1023/B:AMAI.0000034527.45635.e5
[28] Bratman，M.E.：意图、计划和实际理由。哈佛大学出版社，剑桥（1987）
[29] Brewka，G.：论证的非单调工具。收录：Janhunen，T.，Niemelä，I.（编辑）JELIA。计算机科学课堂讲稿，第6341卷，第1-6页。施普林格，纽约（2010）·兹比尔1306.68185
[30] Bulling，N.，Dix，J.：使用论证和ATL对联盟进行建模和验证。Artif公司。智力。14(46), 45–73 (2010)
[31] Bulling，N.，Dix，J.，Chesñevar，C.：使用ATL建模联盟的论证方法。In：程序。第五届辩论与多智能体系统国际研讨会（ArgMAS）。LNCS，第5384卷，第190-211页。施普林格（2009）
[32] Bulling，N.，Dix，J.，Jamroga，W.：战略能力的模型检验逻辑：复杂性。摘自：Dastani，M.、Hindriks，K.V.、Meyer，J.-J.（编辑）《多代理系统的规范和验证》。施普林格（2010）·Zbl 1201.68070号
[33] Bulling，N.，Farver，B.：表示资源边界系统的属性：逻辑RBTL和RBTL*。收录人：Dix，J.、Fisher，M.、Novak，P.（编辑）Proc。第十届多智能体系统计算逻辑国际研讨会（CLIMA X）。LNAI，第6214卷。柏林施普林格出版社（2010年）·兹比尔1309.68066
[34] Bulling，N.，Farwer，B.：关于模型选择资源型代理的（不）可判定性。In：程序。第19届欧洲人工智能会议（ECAI）。《人工智能与应用前沿》，第215卷，第567-572页。IOS出版社（2010）·Zbl 1211.68246号
[35] Bulling，N.，Jamroga，W.：代理人可能会强制执行什么。芬丹。通知。93, 81–96 (2009) ·Zbl 1191.68648号
[36] Bulling，N.，Jamroga，W.，Dix，J.：理性游戏的时间属性推理。安。数学。Artif公司。智力。53(1–4), 51–114 (2009) ·Zbl 1187.03016号 ·doi:10.1007/s10472-009-9110-4
[37] Ciampolini，A.，Lamma，E.，Mello，P.，Toni，F.，Torroni，P.:ALIAS中的合作与竞争：谈判代理的逻辑框架。安。数学。Artif公司。智力。37(1–2), 65–91 (2003) ·Zbl 1023.68095号 ·doi:10.1023/A:1020259411066
[38] Clancey，W.，Sierhuis，M.，Kaskiris，C.，van Hoof，R.：Brahms在指定和实现多智能体人机探索系统方面的优势。In：程序。第16届国际佛罗里达人工智能研究学会会议（FLAIRS），第7-11页。AAAI出版社（2003）
[39] Clancey，W.J.：模拟活动：关联动机、深思熟虑和专注协调。认知。系统。第3（3）号决议，471-499（2002）·doi:10.1016/S1389-0417（02）00053-0
[40] 克拉克、K.L.、麦卡贝、F.G.：加油一种用于实现多线程代理的多范例编程语言。安。数学。Artif公司。智力。41(2–4), 171–206 (2004) ·Zbl 1048.68027号 ·doi:10.1023/B:AMAI.0000031195.87297.d9
[41] Clarke，E.，Emerson，E.，Sistla，A.：使用时序逻辑规范对有限状态并发系统进行自动验证。ACM事务处理。程序。语言系统。8(2), 244–263 (1986) ·Zbl 0591.68027号 ·doi:10.1145/5397.5399
[42] Clarke，E.，Grumberg，O.，Peled，D.：模型检查。麻省理工学院出版社（1999）
[43] Clarke，E.M.，Emerson，E.A.：使用分支时间时序逻辑设计和合成同步骨架。In：程序。程序逻辑研讨会。LNCS，第131卷，第52-71页（1981年）
[44] Cliffe，O.：使用答案集编程指定和分析多代理系统中的机构。知识。工程修订版24（4），411（2009）·doi:10.1017/S0269888909990270
[45] Cohen，P.R.，Levsque，H.J.：意图是有承诺的选择。Artif公司。智力。42, 213–261 (1990) ·Zbl 0721.03017号 ·doi:10.1016/0004-3702（90）90055-5
[46] Cohen，P.R.，Levesque，H.J.：理性互动是沟通的基础。摘自：Cohen，P.R.，Morgan，J.，Pollack，M.E.（编辑）《沟通中的意图》，第221-256页。麻省理工学院出版社（1990）
[47] Cohn，A.G.，Renz，J.：定性空间表示和推理。摘自：van Harmelen，F.、Porter，B.、Lifschitz，V.（编辑）《知识表示手册》，第13章，第551-596页。爱思唯尔出版社（2007）
[48] Costantini，S.：将答案集模块集成到代理程序中。In：程序。第十届逻辑程序设计和非单调推理国际会议（LPNMR）。LNCS，第5753卷，第613-615页。施普林格（2009）
[49] Dastani，M.，Dignum，F.，Meyer，J.-J.C.：自治与代理人审议。主题：代理和计算自主——潜力、风险和解决方案。LNCS，第2969卷，第114-127页。斯普林格（2004）·Zbl 1098.68911号
[50] Dastani，M.，Dix，J.，Novák，P.：第一场基于计算逻辑的多智能体系统竞赛。In：程序。第六届多智能体系统计算逻辑国际研讨会（CLIMA）。LNCS，第3900卷，第373–384页。斯普林格（2006）·Zbl 1176.68217号
[51] Dastani，M.，Dix，J.，Novák，P.：基于计算逻辑的多智能体系统第二次竞赛。In：程序。第七届多智能体系统计算逻辑国际研讨会（CLIMA）。LNCS，第4371卷，第266-283页（2006年）·Zbl 1177.68222号
[52] Dastani，M.，Dix，J.，Novák，P.：代理人竞赛：第三版。In：程序。第五届多代理系统编程国际研讨会（ProMAS）。LNCS，第4908卷，第221-240页。施普林格（2008）
[53] Dastani，M.，Hindriks，K.V.，Meyer，J.-J.（编辑）：多代理系统的规范和验证。施普林格（2010）·Zbl 1201.68005号
[54] Dastani，M.，van Riemsdijk，M.B.，Meyer，J.-J.C.：3APL中的多代理系统编程。收录于：Bordini，R.H.，Dastani，M.，Dix，J.，El Fallah-Seghrouchni，A.（编辑）《多代理编程：语言、平台和应用》，第2章，第39-67页。施普林格，纽约（2005）
[55] de Boer，F.S.，Hindriks，K.V.，van der Hoek，W.，Meyer，J.-J.C.：具有声明性目标的代理编程验证框架。J.应用。逻辑5（2），277–302（2007）·Zbl 1122.68078号 ·doi:10.1016/j.jal.2005.12.014
[56] Dix，J.：异构代理系统的计算逻辑方法。In：程序。第六届逻辑编程与非单调推理国际会议（LPNMR）。LNCS，第2173卷，第1-20页。斯普林格（2001）·Zbl 1007.68584号
[57] Dix，J.、Fisher，M.、Levesque，H.J.、Sterling，L.：简介：基于逻辑的代理实现专题。安。数学。Artif公司。智力。41(2–4), 131–133 (2004) ·doi:10.1023/B:AMAI.0000031230.18901.7b
[58] Dix，J.、Fisher，M.、Novak，P.（编辑）：Proc。第十届多智能体系统计算逻辑国际研讨会（CLIMA X）。LNAI，第6214卷。施普林格，柏林（2010）
[59] Dix，J.、Kraus，S.、Subrahmanian，V.S.：处理时间和不确定性的代理。收录于：AAMAS，第912-919页。ACM（2002）
[60] Dix，J.、Kraus，S.、Subrahmanian，V.S.：异质时间概率代理。ACM事务处理。计算。日志。7(1), 151–198 (2006) ·Zbl 1367.68316号 ·数字对象标识代码：10.1145/1119439.1119444
[61] Dix，J.、Leite，J.，Governatori，G.、Jamroga，W.（编辑）：Proc。第十一届多智能体系统计算逻辑国际研讨会（CLIMA）。LNCS，第6245卷。施普林格（2010）·Zbl 1194.68025号
[62] Dix，J.、Leite，J.A.、Satoh，K.：简介。安。数学。Artif公司。智力。42(1–3), 1–3 (2004) ·doi:10.1023/B:AMAI.0000034534.36300.73
[63] Dix，J.、Muñoz-Avila，H.、Nau，D.S.、Zhang，L.：影响商店：将人工智能规划师放入多智能体环境。安。数学。Artif公司。智力。37（4），381–407（2003）·Zbl 1010.68171号 ·doi:10.1023/A:1021560510377
[64] Dix，J.、Parsons，S.、Prakken，H.、Simari，G.R.：论证的研究挑战。计算。科学——研发；D 23（1），27–34（2009）·doi:10.1007/s00450-009-0051-2
[65] Dix，J.、Sadri，F.、Satoh，K.：简介。安。数学。Artif公司。智力。37(1–2), 1–3 (2003) ·doi:10.1023/A:1020215020635
[66] Dix，J.，Zhang，Y.：IMPACT：具有声明语义的多代理框架。收录于：Bordini，R.H.，Dastani，M.，Dix，J.，El Fallah-Seghrouchni，A.（编辑）《多代理编程：语言、平台和应用》，第3章，第69-94页。施普林格，纽约（2005年）
[67] 德拉戈尼，A.F.：作为多语境系统的精神状态。安。数学。Artif公司。智力。54(4), 265–292 (2008) ·Zbl 1180.68208号 ·doi:10.1007/s10472-008-9100-y
[68] Emerson，E.，Halpern，J.：“有时”和“不可能”重温：关于分支与线性时间时序逻辑。J.ACM 33（1），151–178（1986）·Zbl 0629.68020号 ·doi:10.1145/4904.4999
[69] Emerson，E.A.：时间和模态逻辑。摘自：van Leeuwen，J.（编辑）《理论计算机科学手册》，第996-1072页。Elsevier（1990）·Zbl 0900.03030号
[70] 费金，R.，哈尔佩恩，J.，摩西，Y.，瓦尔迪，M.：关于知识的推理。麻省理工学院出版社（1996）·Zbl 0839.68095号
[71] Fisher，M.：《可执行时间框架中的代理审议》，《应用逻辑杂志》（2011年出版）·Zbl 1248.68502号
[72] Fisher，M.，Ghidini，C.：资源受限代理的可执行规范。JAAMAS 21（3），368–396（2010）
[73] Fisher，M.，Hepple，A.：执行逻辑代理规范。收录：Bordini，R.H.，Dastani，M.，Dix，J.，El Fallah-Seghrouchni，A.（编辑）：《多代理编程：语言、工具和应用》，第1-27页。施普林格，纽约（2009）·Zbl 1185.68205号
[74] Fisher，M.、Singh，M.，Spears，D.、Wooldridge，M.:客座编辑：基于逻辑的代理验证。J.应用。逻辑5（2），193-195（2007）·doi:10.1016/j.jal.2005.12.012
[75] Fisher，M.，Wooldridge，M.:关于多智能体系统的形式化规范和验证。JCIS 6（1），37-65（1997）
[76] Franklin，S.，Graesser，A.：它是一个代理，还是一个程序自治代理的分类。In：智能代理III（第三届代理理论、架构和语言国际研讨会）。LNCS，第1193卷，第21-35页。斯普林格（1996）
[77] Georgeff，M.P.，Lansky，A.L.：反应性推理和规划。In：程序。第六届全国人工智能会议（AAAI），第677–682页（1987年）
[78] Giordano，L.，Martelli，A.：验证代理与多方协议的一致性。In：程序。第九届多智能体系统计算逻辑国际研讨会（CLIMA）。LNCS，第5405卷，第17-36页。施普林格（2008）·Zbl 1250.68267号
[79] Giordano，L.，Martelli，A.，Schwind，C.：在时序动作逻辑中指定和验证交互协议。J.应用。逻辑5（2），214–234（2007）·兹比尔1122.68122 ·doi:10.1016/j.jal.2015年12月1日
[80] Giunchiglia，F.，Serafini，L.：多语言层次逻辑（或者：没有模态逻辑我们怎么办）。Artif公司。智力。65, 29–70 (1994) ·Zbl 0787.68093号 ·doi:10.1016/0004-3702（94）90037-X
[81] Gordon，T.F.：用法律知识交换格式（LKIF）中的规则构建法律论点。在：法律、语言、对话、游戏、本体论的可计算模型。LNCS，第4884卷，第162-184页。施普林格（2008）
[82] Gouveia，P.，Ramos，J.：多代理系统规范和认证：一种情境和状态演算方法。安。数学。Artif公司。智力。41(2–4), 301–338 (2004) ·Zbl 1081.68053号 ·doi:10.1023/B:AMAI.0000031198.84824.45
[83] Governatori，G.，Rotolo，A.：机构代理的计算框架。Artif公司。智力。第16（1）、25–52号法律（2008年）·doi:10.1007/s10506-007-9056-y
[84] Governatori，G.，Rotolo，A.：代理人如何遵守规范？参见：Web Intelligence/IAT Workshops，第488-491页。IEEE（2009年）
[85] Hansson，H.，Jonsson，B.：关于时间和可靠性的推理逻辑。表Asp。计算。6, 102–111 (1994) ·Zbl 0820.68113号
[86] Harel，D.，Kozen，D.，Tiuryn，J.：动态逻辑。麻省理工学院出版社（2000）·Zbl 0976.68108号
[87] Harland，J.，Winikoff，M.：线性逻辑中通过混合模式计算的代理。安。数学。Artif公司。智力。42(1–3), 167–196 (2004) ·Zbl 1059.68128号 ·doi:10.1023/B:AMAI.0000034526.31830.45
[88] 他，M.，詹宁斯，N.R.：南安普顿TAC：一个自适应的自主交易代理。ACM事务处理。国际技术3（3），218–235（2003）·doi:10.1145/857166.857168
[89] Hindriks，K.V.，de Boer，F.S.，van der Hoek，W.，Meyer，J.-J.：具有声明性目标的代理编程。In:Intelligent Agents VII（第六届Agent理论、架构和语言研讨会——安乐）。LNAI，第1986卷，第228-243页。斯普林格（2001）·Zbl 1056.68562号
[90] Huang，J.，Gutierrez，R.L.Z.，García，B.M.，Huhns，M.N.：协调web服务应用程序的代理本体。In：程序。第三届德国多智能体系统技术会议（MATES）。LNCS，第3550卷，第106-117页。斯普林格（2005）
[91] Hustadt，U.、Dixon，C.、Schmidt，R.A.、Fisher，M.、Meyer，J.-J.、van der Hoek，W.：KARO代理理论中的验证。摘自：《从形式角度看代理技术》，NASA系统和软件工程专著，Springer（2006）·Zbl 0988.68180号
[92] Inoue，K.，Iwanuma，K.：通过多智能体环境中的结果发现进行推测计算。安。数学。Artif公司。智力。42（1-3）、255–291（2004）·Zbl 1059.68129号 ·doi:10.1023/B:AMAI.0000034529.83643.ce
[93] Jamroga，W.，Dix，J.：《代理的模型检查能力：更详细的研究》。理论比较。系统。42(3), 366–410 (2008) ·Zbl 1136.68036号 ·doi:10.1007/s00224-007-9080-z
[94] Jennings，N.R.，Wooldridge，M.：代理技术的应用。主题：代理技术：基础、应用和市场。斯普林格（1998）·Zbl 0894.68039号
[95] Jongmans，S.-S.T.Q.，Hindriks，K.V.，van Riemsdijk，M.B.：使用程序解释器检查代理程序模型。In：程序。第十一届多智能体系统计算逻辑国际研讨会（CLIMA）。LNCS，第6245卷，第219-237页。施普林格（2010）
[96] Kakas，A.C.，Mancarella，P.，Sadri，F.，Stathis，K.，Toni，F.：KGP代理的计算逻辑基础。J.人工制品。智力。第33、285–348号决议（2008年）·Zbl 1182.68279号
[97] Konolige，K.：多智能体规划系统的知识和行动的一阶形式化。收录：Hayes，J.E.、Michie，D.、Pao，Y.（编辑）《机器智能》，第10卷，第41-72页。埃利斯·霍伍德（1982）
[98] Kowalski，R.A.，Sadri，F.：从逻辑编程到多代理系统。安。数学。Artif公司。智力。25(3–4), 391–419 (1999) ·Zbl 0940.68017号 ·doi:10.1023/A:1018934223383
[99] 克劳斯，S.：自主主体之间多次遭遇谈判中的信念、时间和不完整信息。安。数学。Artif公司。智力。20(1–4), 111–159 (1997) ·Zbl 0880.68129号 ·doi:10.1023/A:1018928310720
[100] Kurucz，A.：结合模态逻辑。收录：Blackburn，P.，van Benthem，J.，Wolter，F.（编辑）：模态逻辑手册，第869-924页。Elsevier，阿姆斯特丹（2006）
[101] Laroussinie，F.，Markey，N.，Oreiby，G.：关于ATL的表现力和复杂性。计算机科学中的逻辑方法4（2）（2008）·Zbl 1143.68044号
[102] Lesser，V.，Ortiz，C.L.，Tambe，M.（编辑）：分布式传感器网络：多智能体视角。Kluwer学术出版社（2003）·Zbl 1033.68009号
[103] Levesque，H.、Reiter，R.、Lespérance，Y.、Lin，F.、Scherl，R.：GOLOG：动态域的逻辑编程语言。J.日志。程序。31(1–3), 59–83 (1997) ·Zbl 0880.68008号 ·doi:10.1016/S0743-1066（96）00121-5
[104] Lomuscio，A.，Qu，H.，Raimondi，F.：MCMAS：用于多智能体系统验证的模型检查器。In：程序。第21届国际计算机辅助验证会议（CAV）。LNCS，第5643卷，第682-688页。施普林格（2009）
[105] MCMAS：多代理系统的模型检查器。网址：http://www-lai.doc.ic.ac.uk/mcmas
[106] Monteiro，A.M.，Wainer，J.：优先多智能体非单调逻辑：初步报告。收录于：KR，第446–452页（1996年）
[107] 摩尔，R.C.：逻辑与表征（CSLI第39号讲稿）。美国斯坦福大学逻辑与信息研究中心（CSLI）（1995年）（由芝加哥大学出版社发行）
[108] Moore，S.A.：KQML&amp；FLBC：对比代理通信语言。In:HICSS（1999）
[109] Muldoon，C.，O'Hare，G.M.P.，Collier，R.W.，O'Grady，M.J.：代理工厂微型版：环境应用框架。In：程序。第六届国际计算科学会议；第三部分：LNCS，第3993卷，第727–734页。斯普林格（2006）
[110] Muscettola，N.，Nayak，P.P.，Pell，B.，Williams，B.：远程代理：大胆前往以前没有人工智能系统的地方。Artif公司。智力。103(1–2), 5–48 (1998) ·Zbl 0909.68167号 ·doi:10.1016/S0004-3702（98）00068-X
[111] Nguyen-Duc，M.，Guessoum，Z.，Marin，O.，Perrot，J.-F.，Briot，J.-P.，Duong，V.：实现可靠的空中交通管制。In：程序。第七届自主代理和多代理系统国际联合会议（AAMAS），工业和应用轨道，第101–104页（2008年）
[112] Nitschke，G.：合作空中交通管制机构。申请。Artif公司。智力。15（2），209–235（2001）·doi:10.1080/088395101750065778
[113] Novák，P.：具有非单调推理的认知代理。收录于：AAMAS（博士），第1746-1747页。IFAAMAS（2008）
[114] Odelstad，J.，Boman，M.：代理规范调节代数。安。数学。Artif公司。智力。42(1–3), 141–166 (2004) ·Zbl 1059.68130号 ·doi:10.1023/B:AMAI.0000034525.49481.4a
[115] Padget，J.A.，Artikis，A.，Vasconcelos，W.W.，Stathis，K.，da Silva，V.T.，Matson，E.T.，Polleres，A.（编辑）Proc。第五届代理系统协调、组织、制度和规范国际研讨会。LNCS，第6069卷。施普林格（2010）
[116] 普努利：程序的时序逻辑。In：程序。第18届计算机科学基础研讨会（FOCS），第46-57页。IEEE计算机学会（1977）
[117] Pokahr，A.，Braubach，L.，Lamersdorf，W.：Jadex：BDI推理引擎。收录于：Bordini，R.H.，Dastani，M.，Dix，J.，El Fallah-Seghrouchni，A.（编辑）《多代理编程：语言、平台和应用》，第6章，第149-174页。施普林格，纽约（2005）
[118] Rahwan，I.，Moraitis，P.（编辑）：多智能体系统中的论证。参加：第五届国际研讨会，2008年5月12日，葡萄牙埃斯托里尔，ArgMAS 2008。修订精选论文和邀请论文。计算机科学讲义，第5384卷。施普林格（2009）·Zbl 1155.68306号
[119] Rahwan，I.，Pasquier，P.，Sonenberg，L.，Dignum，F.：基于利益的谈判的正式分析。安。数学。Artif公司。智力。55(3–4), 253–276 (2009) ·Zbl 1186.68477号 ·doi:10.1007/s10472-009-9145-6
[120] Raimondi，F.，Lomuscio，A.：通过有序二进制决策图进行模型检查，对多智能体系统进行自动验证。J.应用。逻辑5（2），235-251（2007）·Zbl 1122.68076号 ·doi:10.1016/j.jal.2005.12.010
[121] Rao，A.：AgentSpeak（L）：BDI代理用逻辑可计算语言说话。In：特工逃跑：程序。第七届多智能体世界自主智能体建模欧洲研讨会（MAAMAW）。LNCS，第1038卷，第42-55页。斯普林格（1996）
[122] Rao，A.S.：命题线性时间信念需求注意逻辑的决策程序。J.日志。计算。8(3), 293–342 (1998) ·Zbl 0904.68158号 ·doi:10.1093/log.com/8.3.293
[123] Rao，A.S.，Georgeff，M.：BDI代理：从理论到实践。In：程序。第一届多代理系统国际会议（ICMAS），第312–319页（1995年）
[124] Rao，A.S.，Georgeff，M.P.：BDI体系结构中的代理建模。In：程序。第二届知识表示与推理原则国际会议，第473–484页。摩根·考夫曼（1991）·Zbl 0765.68194号
[125] Rao，A.S.，Georgeff，M.P.：理性代理的抽象架构。In：程序。知识表示与推理国际会议（KR&R），第439–449页（1992年）
[126] Rao，A.S.，Georgeff，M.P.：验证情境推理系统的模型理论方法。In：程序。第十三届国际人工智能联合会议（IJCAI），第318-324页（1993年）
[127] Rogers，A.、Corkill，D.D.、Jennings，N.R.：传感器网络的代理技术。IEEE智能。系统。24(2), 13–17 (2009) ·doi:10.1109/MIS.2009.22
[128] Sandewall，E.：非单调时间逻辑和自治代理：每一个都为另一个提供了严格的基础。收录：Herzog，O.，Christaller，T.，Schütt，D.（编辑）KI，Informatik Aktuell，第107–124页。斯普林格（1993）
[129] Sardiña，S.、Giacomo，G.D.、Lespérance，Y.、Levesque，H.J.：关于Indigolog中审议的语义——从理论到实施。安。数学。Artif公司。智力。41(2–4), 259–299 (2004) ·Zbl 1048.68100号 ·doi:10.1023/B:AMAI.0000031197.13122.aa
[130] Sayda，A.，Taylor，J.H.：走向石油生产设施集成控制和资产管理的实用多代理系统。In：程序。IEEE智能控制国际研讨会（2007）
[131] Schild，K.：关于BDI逻辑和并发标准逻辑之间的关系。In:Intelligent Agents V（第五届代理理论、架构和语言国际研讨会——ATAL）。LNAI，第1555卷，第47-61页。斯普林格（1999）·Zbl 0927.03056号
[132] Schmidt，R.A.，Tishkovsky，D.：具有信息测试的多代理动态逻辑。安。数学。Artif公司。智力。42(1–3), 5–36 (2004) ·Zbl 1059.68131号 ·doi:10.1023/B:AMAI.0000034521.22009.8d
[133] Schulte，O.，Delgrand，J.P.：在情境演算中代表冯·诺依曼-摩根斯顿游戏。安。数学。Artif公司。智力。42（1-3），73–101（2004）·兹比尔1061.68150 ·doi:10.1023/B:AMAI.0000034523.18162.6b
[134] 塞尔，J.R.：《言语行为：语言哲学论文》。剑桥大学出版社（1969）
[135] Shertov，A.A.，Stone，P.：三种自动化股票交易代理：一项比较研究。In：程序。第六届代理中介电子商务研讨会。LNCS，第3435卷，第173-187页。斯普林格（2005）
[136] Sichman，J.S.、Padget，J.A.、Ossowski，S.、Noriega，P.（编辑）：Proc。第三届代理系统中的协调、组织、制度和规范国际研讨会（COIN）。LNCS，第4870卷。施普林格（2008）
[137] 辛格，M.P.：言语行为语义学。安。数学。Artif公司。智力。8(1–2), 47–71 (1993) ·Zbl 0998.68551号 ·doi:10.1007/BF02451549
[138] Subrahmanian，V.S.，Bonatti，P.，Dix，J.，Eiter，T.，Kraus，S.，Ozcan，F.，Ross，R.：异构代理系统：理论与实现。麻省理工学院出版社（2000）
[139] van der Hoek，W.，Lomuscio，A.，Wooldridge，M.：关于实际ATL模型检查的复杂性。In：程序。第五届国际自治代理和多代理系统联合会议（AAMAS），第201-208页。ACM出版社，纽约（2006）
[140] van Ditmarsch，H.，van der Hoek，W.，Kooi，B.：动态认识逻辑。综合图书馆系列，第337卷。施普林格（2007）·Zbl 1156.03320号
[141] van Linder，B.、van der Hoek，W.、Meyer，J.J.C.：规范代理人的动机态度。In:Intelligent Agents II（代理理论、架构和语言第二次研讨会——安乐）。LNCS，第1037卷，第17-32页。斯普林格（1996）
[142] Van Nieuwenborgh，D.，De Vos，M.，Heymans，S.，Vermeir，D.：使用答案集编程的多智能体系统中的分层决策。In：程序。第七届多智能体系统计算逻辑国际研讨会（CLIMA）。LNCS，第4371卷，第20-40页。施普林格（2007）·Zbl 1177.68229号
[143] Vasconcelos，W.W.，Robertson，D.S.，Sierra，C.，Esteva，M.，Sabater，J.，Wooldridge，M.：通过逻辑编程实现大型多智能体系统的快速原型设计。安。数学。Artif公司。智力。41（2-4）、135–169（2004年）·Zbl 1077.68014号 ·doi:10.1023/B:AMAI.0000031194.57352.e7
[144] 维埃拉·R、莫雷拉·A。F.，Wooldridge，M.，Bordini，R.H.：关于面向代理编程语言中基于言语行为的通信的形式语义。J.人工制品。智力。第29、221–267号决议（2007年）·Zbl 1182.68110号
[145] Visser，W.、Havelund，K.、Brat，G.、Park，S.：模型检查程序。In：程序。第15届IEEE自动化软件工程国际会议（ASE），第3-12页。IEEE计算机学会（2000）
[146] Winikoff，M.：JACK智能代理：一个工业实力平台。收录于：Bordini，R.H.，Dastani，M.，Dix，J.，El Fallah-Seghrouchni，A.（编辑）《多代理编程：语言、平台和应用》，第7章，第175-193页。施普林格，纽约（2005）
[147] Wooldridge，M.：理性代理人的推理。麻省理工学院出版社（2000）·Zbl 0998.68094号
[148] Wooldridge，M.，Fisher，M..，Huget，M.-P.，Parsons，S.：多智能体系统的模型检查：MABLE语言及其应用。国际艺术杂志。智力。工具15（2），195–225（2006）·doi:10.1142/S0218213006002631
[149] Wooldridge，M.，Jennings，N.R.：智能代理：理论与实践。知识。工程修订版10（2），115–152（1995）·doi:10.1017/S0269888900008122
[150] Wooldridge，M.，Rao，A.（编辑）：理性代理的基础。应用逻辑系列。Kluwer学术出版社（1999）·Zbl 0912.00011号
[151] Xiao，L.，Lewis，P.H.，Dasmahapatra，S.：HealthAgents系统的安全交互模型。In：程序。第27届计算机安全、可靠性和安全国际会议（SAFECOMP），LNCS，第5219卷，第167-180页。施普林格（2008）
[152] Yolum，P.，Singh，M.P.：事件演算中承诺的推理：指定和执行协议的方法。安。数学。Artif公司。智力。42(1–3), 227–253 (2004) ·Zbl 1059.68133号 ·doi:10.1023/B:AMAI.0000034528.55456.d9
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。