×
Ågotnes，托马斯；德克·沃尔特

有限记忆下的战略能力逻辑。 （英语） Zbl 1163.68037号

J.逻辑语言信息。 18，第1期，55-77（2009）.
摘要：通过引入交替时间有界记忆时序逻辑（ATLBM），即交替时间时序逻辑的一种变体，我们研究了有界记忆智能体联盟的战略能力逻辑。ATLBM解释了代理具有有限内存这一假设的两个主要结果。首先，代理只能记住在有限数量的不同环境中指定操作的策略。虽然ATL公式（{langle\！\langle{C}\rangle\！\rangle\square\varphi}\）意味着联盟（C）有一个联合策略，可以使（varphi\）永远成立，但ATLBM公式（{langle\指定在不超过\（n\）种不同的情况下要做什么，以及哪种情况将使\（\varphi\）永远为真。第二，一个代理有边界重新调用——一种策略只能考虑系统的最后状态。我们使用逻辑来研究战略能力、有限决策数、有限召回和不完全信息之间的相互作用。我们讨论了ATLBM的逻辑属性和表示性，以及它与ATL的关系。我们证明了ATLBM可以表达有界记忆下的策略能力特性，而这些特性在ATL中是无法表达的。

引用于4文件

MSC公司：

68T27型 人工智能中的逻辑
03B44号 时间逻辑

关键词：

交替时间时序逻辑；多智能体系统；基于资源的推理；战略能力
PDF格式BibTeX公司 XML格式引用
\textit{T.奥戈特斯}和\textit{D.Walther}，J.Logic Lang.Inf.18，No.1，55--77（2009；Zbl 1163.68037）
全文： 内政部

参考文献：

[1] Ågotnes，T.（2004年）。有限句法认知状态的逻辑。卑尔根大学信息学系博士论文。
[2] 奥戈特内斯·T、戈兰科·V、贾姆罗加·W（2007）《具有不可撤销策略的交替时间时序逻辑》。摘自：Samet D.（编辑）《第十一届理性与知识理论方面会议论文集》（TARK XI）。比利时布鲁塞尔，第15-24页
[3] Alur R.、Henzinger T.A.、Kupferman O.（2002）《交替时间时序逻辑》。美国医学会杂志49（5）：672–713·Zbl 1326.68181号 ·doi:10.1145/585265.585270
[4] Belnap N.，Perloff M.（1990年）《看到它：代词的规范形式》。收录：Kyburg H.E.、Loui R.P.、Carlson G.N.（编辑）《知识表示和可废止推理》。波士顿Kluwer，第167-190页
[5] Belnap N.D.、Perloff M.和Xu M.（2001）《面向未来：我们非决定论世界中的代理人和选择》。美国牛津大学出版社
[6] 艾默生E.A.（1990）时间和模态逻辑。收录：van Leeuwen J.（eds）理论计算机科学手册B卷：形式模型和语义。Elsevier Science Publishers B.V.，荷兰阿姆斯特丹，第996-1072页·Zbl 0900.03030号
[7] Goranko V.，van Drimmelen G.（2006）交替时间时序逻辑的完全公理化和可判定性。理论计算机科学353（1-3）：93–117·Zbl 1089.03013号 ·doi:10.1016/j.tcs.2005.07.043
[8] Herzig，A.和Troquard，N.（2006年）。知道如何玩：代理逻辑中的统一选择。G.Weiss&P.Stone（编辑），AAMAS’06：第五届自治代理和多代理系统国际联合会议（第209-216页）。日本箱根，2006年5月8日至12日。
[9] Jamroga W.，Au gotnes T.（2007）《建构性知识：代理人在不完全信息下可以实现什么》。应用非经典逻辑杂志17（4）：423–475·Zbl 1186.03031号 ·doi:10.3166/jancl.17.423-475
[10] Jamroga W.，van der Hoek W.（2004）知道如何打球的经纪人。基础信息学63（2–3）：185–219·Zbl 1102.68106号
[11] Jonker，G.（2003）。交替时间认知逻辑中的可行策略。荷兰乌得勒支大学硕士论文。
[12] Pauly M.（2002）游戏中联盟力量的模态逻辑。逻辑与计算杂志12（1）：149-166·Zbl 1003.91006号 ·doi:10.1093/log.com/12.1.149
[13] Schobbens P.-Y.（2004）具有不完全回忆的交替时间逻辑。理论计算机科学电子笔记85（2）：82–93·Zbl 1270.68287号 ·doi:10.1016/S1571-0661（05）82604-0
[14] van der Hoek W.，Wooldridge M.（2003）合作、知识与时间：交替时间认知逻辑及其应用。逻辑研究75:125-157·Zbl 1034.03013号 ·doi:10.1023/A:1026185103185
[15] Wooldridge，M.和van der Hoek，W.（2002年）。时间、知识与合作：交替时间认知逻辑及其应用。第五届国际协调模式和语言会议记录（第4页）·Zbl 1053.68581号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。