×
迈克尔·伍尔德里奇；克莱尔·狄克逊；迈克尔·费希尔

一种基于表格的知识和信念时序逻辑证明方法。 （英语） Zbl 0926.03011号

J.应用。非类别。日志。 8，第3期，225-258（1998年）.
针对两种多智能体时态逻辑，提出了一种基于表的证明方法：知识时态逻辑（KLn），其中一元模态连接词（K_iA）（意思是“智能体（i）知道（A）”）满足与模态逻辑S5（描述理想化的知识）和时间信念逻辑（BLn），其中一元模态连接词（B_iA）（意思是“agent（i）相信（a）”）满足与模态逻辑KD45（描述理想化的信仰）。
审核人：V.是的。克雷诺维奇（埃尔帕索）

引用于11文件

MSC公司：

03B42号 知识和信念的逻辑（包括信念变化）
03B35型 证明和逻辑操作的机械化
68T27型 人工智能中的逻辑
03B44号 时序逻辑
68立方英尺 知识表示

关键词：

知识的逻辑；时序逻辑；表格证明法；信仰逻辑
PDF格式BibTeX公司 XML格式引用
\textit{M.Wooldridge}等人，J.Appl。非类别。日志。8，第3号，225--258（1998；Zbl 0926.03011）
全文： DOI程序

参考文献：

[1] Bhat G.，第十届计算机科学逻辑国际会议论文集（LICS’95），第388页–（1995）
[2] Catach L.，《第七届全国人工智能会议论文集》（AAAI-88），第491页–（1988）
[3] Chellas B.，模态逻辑：导论。(1980) ·Zbl 0431.03009号 ·doi:10.1017/CBO9780511621192
[4] Elliot，I.1996年。”基于表的知识和信念时序逻辑决策过程的实现。曼彻斯特都市大学计算机系硕士论文，10月”。
[5] 艾默生E.A.，《理论计算机科学手册》第996页–（1990）
[6] 费金·R。《知识推理》。(1995) ·Zbl 0839.68095号
[7] Fagin R.，《美国医学会杂志》39（2）第328页–（1992）·Zbl 0799.68179号 ·数字对象标识代码：10.1145/128749.150945
[8] Fisher M.，《形式和应用实践推理国际会议论文集》（FAPR-96），Springer-Verlag（1996）
[9] Fitting M.，模态逻辑和直觉逻辑的证明方法。D.Reidel出版公司：荷兰多德雷赫特（1983）·兹伯利0523.03013 ·doi:10.1007/978-94-017-2794-5
[10] GoréR.，用于命题正规模态逻辑的割自由序列系统。英国剑桥大学计算机实验室博士论文（1992年）
[11] Goré，R.1995年。”模态和时序逻辑的表aux方法。技术报告TR-ARP-15-95，澳大利亚国立大学，5月”。作为表格方法手册的一章出现
[12] Gough，G.D.1984年。”时序逻辑的决策程序。英国曼彻斯特M13 9PL牛津路曼彻斯特大学计算机科学系硕士论文”。
[13] Halpern J.Y.，《计算机科学年度评论》2，第37页–（1987）·doi:10.1146/annurev.cs.02.060187.000345
[14] Halpern J.Y.，《人工智能》第54页第319页——（1992年）·兹比尔0762.68029 ·doi:10.1016/0004-3702（92）90049-4
[15] Halpern J.Y.，《计算机与系统科学杂志》，38页，195–（1989）·Zbl 0672.03015号 ·doi:10.1016/0022-0000（89）90039-1
[16] Kraus S.，《理论计算机科学》58，第155页–（1988）·Zbl 0648.03017号 ·doi:10.1016/0304-3975（88）90024-2
[17] Manna Z.，《反应系统的临时验证：安全性》。(1995) ·doi:10.1007/978-1-4612-4222-2
[18] Meyer J.-J.C.，《剑桥理论计算机科学丛书》。(1995)
[19] Vardi M.Y.，《协议规范、测试和验证国际研讨会论文集》（1995年）
[20] Rao，A.S.和Georgeff，M.P.，1995年。”多智能体系统的形式化模型和决策过程。技术报告61，澳大利亚人工智能研究所，6月”。
[21] Shoham Y.，《关于变化的推理：从人工智能的角度来看时间和因果关系》。(1988)
[22] Smullyan R.M.，《符号逻辑杂志》33（4）（1968）·Zbl 0172.28901号
[23] Smullyan R.M.，一阶逻辑。斯普林格·弗拉格：德国海德堡（1968）·Zbl 0172.28901号
[24] van der Meyden R.，第九届IEEE计算机科学逻辑研讨会论文集，第448页–（1994）·doi:10.1109/LICS.1994.316046
[25] Wolper P.，Logigue et Analyse第110页–（1985）
[26] Wooldridge M.，《计算多智能体系统的逻辑建模》。英国曼彻斯特UMIST计算系博士论文（1992年）
[27] Wooldridge M.，《时间逻辑——第一届国际会议论文集》（LNAI第827卷），第317页——（1994年）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。