×
雷娜特·施密特（Renate A.Schmidt）。;蒂什科夫斯基，德米特里;乌尔里希·赫斯塔特

agent动态逻辑中知识、行动和承诺之间的交互。 （英语） 邮编1077.03007

螺柱日志。 78，第3期，381-415（2004）.
本文引入了一类所谓的{主体动态逻辑}（ADL），旨在通过将命题动态逻辑PDL扩展为具有这些认知和意向算子的命题动态逻辑，为主体的行为、知识、承诺和愿望的推理提供一个框架。因此，ADL与提出的KARO框架密切相关J.-J.C.Meyer、W.van der Hoek和B.范·林德[《承诺动态的逻辑方法》，Artif.Intell.113，1-40（1999；Zbl 0939.68831号)]. 作者提供了基本ADL的完整Hilbert-style公理化，并通过特殊修改的过滤技术、可判定性和可满足性的复杂性（EXPTIME-complete）获得了小模型性质。本文最后简要讨论了一些扩展，并与KARO框架进行了比较。
审核人：瓦伦丁·F·戈兰科（约翰内斯堡）

引用于1审查
引用于4文件

MSC公司：

03B42号 知识和信念的逻辑（包括信念变化）
03B45号 模态逻辑（包括规范逻辑）
68T27型 人工智能中的逻辑

关键词：

代理逻辑;多模态逻辑;动态逻辑;知识;行动;能力;承诺;可靠性;完整性;可判定性

引文：

Zbl 0939.68831号

软件：

加罗
PDF格式BibTeX公司 XML格式引用
\textit{R.A.Schmidt}等人，研究日志。78，第3号，381--415（2004；Zbl 1077.03007）
全文： 内政部

参考文献：

[1] Blackburn，P.、M.De Rijke和Y.Venema，《剑桥理论计算机科学丛书》第53卷，剑桥大学出版社，2001年。
[2] Chagrov，A.和M.Zakharyaschev，《牛津逻辑指南》第35卷，克拉伦登出版社，1997年。
[3] Fagin，R.、J.Y.Halpern、Y.Moses和M.Y.Vardi，《知识推理》，麻省理工学院出版社，1995年·Zbl 0839.68095号
[4] M.J.Fischer和R.E.Ladner？正则程序的命题动态逻辑？，计算机与系统科学杂志，18（2）：194-2112979·Zbl 0408.03014号 ·doi:10.1016/0022-0000（79）90046-1
[5] Gabbay，D.M.、A.Kurucz、F.Wolter和M.Zakharyaschev，《多维模态逻辑：理论与应用》，《逻辑与数学基础研究》第148卷，北荷兰，2003年·Zbl 1051.03001号
[6] D.M.Gabbay和V.Shehtman？模态逻辑产品，第1部分？，IGPL逻辑杂志，6（1）：73-1461998·Zbl 0902.03008号 ·doi:10.1093/jigpal/6.1.73
[7] Halpern，J.Y.和Y.Moses？知识和信念模态逻辑的完整性和复杂性指南？，人工智能，54（2）：319-3791992·Zbl 0762.68029号 ·doi:10.1016/0004-3702（92）90049-4
[8] J.Y.Halpern和M.Y.Vardi？关于知识和时间的推理的复杂性。I.下限？，计算机与系统科学杂志，38（1）：195-2371989·Zbl 0672.03015号 ·doi:10.1016/0022-0000（89）90039-1
[9] Harel，D.，D.Kozen，J.Tiuryn，《动态逻辑》，麻省理工学院计算机基础出版社，2000年。
[10] A.Herzig、J.Lang、D.Longin、T.Polacsek？部分可观测性下的规划逻辑？《第17届全国人工智能大会论文集》（AAAI？00），第768-773页，AAAI出版社/麻省理工学院出版社，2000年。
[11] A.D.Longin Herzig？合作对话中的信念动力？语义学杂志17（2）：91-1182000·doi:10.1093/jos/17.291
[12] Hustadt U.、C.Dixon、R.A.Schmidt、M.Fisher、J.-J.C.Meyer、W.van der Hoek？推理KARO框架中的代理？，C.Bettini和A.Montanari，（编辑），《第八届时间表示与推理国际研讨会论文集》（TIME？01），第206-213页，IEEE计算机学会，2001年。
[13] Hustadt，U.，C.Dixon，R.A.Schmidt，M.Fisher，J.-J.C.Meyer，W.van der Hoek？KARO代理理论中的验证？J.L.Rash，C.A.Rouff，W.Truszkowski，D.F.Gordon，M.G.Hinchey，（编辑），《第一届基于代理系统的形式化方法国际研讨会论文集》（FAABS？2000），人工智能讲义第1871卷，第33-47页，Springer-Verlag，2001年·Zbl 0988.68180号
[14] Kracht，M？通往危险区的公路？，逻辑与计算杂志，5（1）：93-109。1995. ·Zbl 0818.03009号 ·doi:10.1093/log/5.1.93
[15] Kracht，M.模态逻辑工具和技术，《逻辑研究》第142卷，爱思唯尔科学出版社。B.V.，1999年·Zbl 0927.03002号
[16] Meyer，J.-J.C.，W.van der Hoek，B.van Linder？承诺动态的逻辑方法？，人工智能113（1-2）：1-401999·Zbl 0939.68831号 ·doi:10.1016/S0004-3702（99）00061-2
[17] R·帕里克？程序的命题动态逻辑：一项调查？，E.Engeler（编辑），《程序逻辑研讨会论文集》，计算机科学讲稿第125卷，第102-144页，Springer-Verlag，1979年。
[18] Rao，A.S？命题线性时间信念期望逻辑的判定程序？，在M.Wooldridge、J.P.Müller和M.Tambe主编的《智能代理II？代理理论、架构和语言，IJCAI？95 Workshop（ATAL-II），Proceedings，vol.1037 of Teach Notes in Artificial Intelligence，pp.33-48，Springer-Verlag，1996年。
[19] Rao，A.S.和M.P.Georgieff？在BDI架构中建模rational代理？，R.E.Fikes和E.Sandewall，（编辑），《第二届知识表示和推理原则国际会议论文集》（KR？91），第473-484页，摩根考夫曼出版社。，1991. ·兹伯利0765.68194
[20] H.Sahlqvist？模态逻辑一阶和二阶语义的完备性和对应性？，S.Kanger（编辑），《第三届斯堪的纳维亚逻辑研讨会论文集》，第110-143页，北荷兰，1975年·Zbl 0319.02018号
[21] 施密特、R.A.和D.蒂什科夫斯基？动态信念与知识的多智能体逻辑？，见S.Greco、S.Flesca、N.Leone和G.Ianni，（编辑），《第八届欧洲人工智能逻辑会议论文集》（JELIA？02），《人工智能讲义》第2424卷，第38-49页，施普林格出版社，2002年·Zbl 1013.68211号
[22] 施密特、R.A.和D.蒂什科夫斯基？论PDL和S5的公理化产物：替代、检验和知识？，逻辑科公报，31（1）：27-362002·Zbl 1037.03032号
[23] Schmidt，R.A.、D.Tishkovsky和U.Hustadt，《智能体动态逻辑中知识、行动和承诺之间的相互作用》，印前CSPP-27，曼彻斯特大学，2003年·邮编1077.03007
[24] 范德霍克？基于代理计算的逻辑基础？，M.Luck、V.Marík、O.Stepánková和R.Trapp l，（编辑），《多智能体系统与应用》，人工智能讲义第2086卷，第50-73页，施普林格出版社，2001年·Zbl 0989.68137号
[25] 范德霍克，W.，B.van Linder，和J.-J.C.Meyer？关于有选择能力的代理人？，Studia Logica，66（1）：79-1192000·Zbl 0971.03022号 ·doi:10.1023/A:1026796912842
[26] 范·林德（B.van Linder）、W.van der Hoek和J.-J.C.Meyer？将代理人的能力和机会形式化？，信息学基础，34（1-2）：53-1011998·Zbl 0903.68045号
[27] M.Y.瓦尔迪？逆向的驯化：关于双向计算的推理？，R.Parikh（编辑），《程序逻辑研讨会论文集》，《计算机科学讲稿》第193卷，第413-424页，Springer-Verlag出版社，1985年·Zbl 0603.68031号
[28] F.沃尔特？逆向PDL与多模K？的乘积？，逻辑与计算杂志，10（2）：223-2512000·Zbl 0959.03013号 ·doi:10.1093/log.com/10.2.223
[29] Zakharyaschev，M.、F.Wolter和A.Chagrov？高级模态逻辑？，D.M.Gabbay和F.Guenthner，（编辑），《哲学逻辑手册》，第3卷，第83-266页，Kluwer学院。出版物。，2001年第2版·Zbl 1003.03516号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。