×
约瑟夫·霍尔珀（Joseph Y.Halpern）。;摩西，约拉姆

知识和信念模态逻辑的完整性和复杂性指南。 （英语） Zbl 0762.68029号

Artif公司。智力。 54，第3期，319-379（1992）.
摘要：我们审查并重新审查知识和信念命题逻辑的可能世界语义，重点有三点：
（1） 我们展示了寻找决策过程和完整公理化的通用技术如何应用于知识和信念模型，
（2） 我们展示了决策过程的难度对模态算子和公理系统的选择等问题的敏感性，以及
（3） 我们讨论了一组代理之间的公共知识和分布式知识的概念如何适合于possible-worlds框架。
就复杂性而言，除其他结果外，我们还表明，虽然用一个代理确定S5公式的可满足性问题是NP完全的，但PSPACE中的多个代理的问题是完全的。添加分布式知识操作符并不会改变复杂性，但一旦将公共知识操作符添加到语言中，问题将在指数时间内完成。

引用于2评论
引用于163文件

MSC公司：

65年第68季度 算法和问题复杂性分析
68立方英尺 知识表示
03B45号 模态逻辑（包括规范逻辑）

关键词：

关于知识和信念的推理;可能世界语义;决策程序;分布式知识;\（NP）-完成;PSPACE完成
PDF格式BibTeX公司 XML格式引用
\textit{J.Y.Halpern}和textit{Y.Moses}，Artif。智力。54，第3号，319--379（1992；Zbl 0762.68029）
全文： DOI程序

参考文献：

[1] 巴林格，H。；Gough，G.D.，时间逻辑的机械化，第1部分：技术（1988），曼彻斯特大学，草稿
[2] Beth，E.W.（《数学基础》（1959年），北荷兰：北荷兰阿姆斯特丹）·Zbl 0085.24104号
[3] 钱德拉，A.K。；Kozen，D。；Stockmeyer，L.J.，Alternation，J.ACM，28，114-133（1981）·Zbl 0473.68043号
[4] Chellas，B.F.，（模态逻辑（1980），剑桥大学出版社：剑桥大学出版社，英国剑桥）·Zbl 0431.03009号
[5] 克拉克·H·H。；Marshall，C.R.，《明确参考和相互了解》（Joshi，A.K.；Webber，B.L.；Sag，I.A.，《话语理解的要素》（1981），剑桥大学出版社：剑桥大学出版社，英国剑桥）
[6] 库克，S.A.，定理证明过程的复杂性，（第三届ACM计算理论研讨会论文集（1971）），151-158·Zbl 0363.68125号
[7] 克雷斯韦尔，M.J.（《逻辑学与语言》（1973），梅特伦：梅特伦伦敦）
[8] 德沃克，C。；Moses，Y.，《拜占庭环境中的知识和常识：崩溃故障》，Inf.Compute。，88, 2, 156-186 (1990) ·Zbl 0705.68019号
[9] 艾默生，E.A。；Halpern，J.Y.，分支时间的时间逻辑中的决策过程和表现力，J.Comput。系统。科学。，30, 1, 1-24 (1985) ·兹伯利0559.68051
[10] 费金，R。；Halpern，J.Y.，《信念、意识和有限推理》，Artif。智力。，34, 39-76 (1988) ·Zbl 0634.03013号
[11] J.ACM（1992）·Zbl 0799.68179号
[12] 费金，R。；Vardi，M.Y.，《分布式环境中的知识和隐含知识：初步报告》，（Halpern，J.Y.著，《知识推理的理论方面：1986年会议论文集》（1986），Morgan Kaufmann:Morgan Koufmann Los Altos，CA），187-206
[13] 费舍尔，M.J。；Immerman，N.，《用逆向、信息处理解释命题动态逻辑中的知识逻辑》。莱特。，25, 3, 175-182 (1987) ·Zbl 0634.03012号
[14] 费舍尔，M.J。；Ladner，R.E.，正则程序的命题动态逻辑，J.Compute。系统。科学。，18, 2, 194-211 (1979) ·Zbl 0408.03014号
[15] Gettier，E.，正义的真信仰知识吗？，分析，23121-123（1963）
[16] Goldblatt，R.，（时间和计算的逻辑（1987），CSLI:CSLI斯坦福，加利福尼亚州），CSLI课堂笔记7·Zbl 0635.03024号
[17] Goldwasser，S。；米卡利，S。；Rackoff，C.，交互证明系统的知识复杂性，SIAM J.Compute。，18, 1, 186-208 (1989) ·Zbl 0677.68062号
[18] Halpern，J.Y.，《使用知识推理分析分布式系统》，（Traub，J.F.；Grosz，B.J.；Lampson，B.W.；Nilsson，N.J.，《计算机科学年度评论》，2（1987），《年度评论公司：年度评论公司》，加利福尼亚州帕洛阿尔托），37-68
[19] Halpern，J.Y。；Moses，Y.，《知识和信仰的模态逻辑指南》（Proceedings IJCAI-85）。IJCAI-85会议记录，加利福尼亚州洛杉矶（1985），480-490
[20] （《第三届ACM分布式计算原理研讨会论文集》（1984年））·Zbl 0699.68115号
[21] Halpern，J.Y。；摩西，Y。；Tuttle，M.R.，《零知识的知识分析》，（美国计算机学会第20届计算理论研讨会论文集（1988）），132-147
[22] Halpern，J.Y。；Vardi，M.Y.，《关于知识和时间的推理的复杂性》，I：《下限》，J.Compute。系统。科学。，38, 1, 195-237 (1989) ·Zbl 0672.03015号
[23] Hintikka，J.，模态与量化，Theoria，27，61119-128（1961）
[24] Hintikka，J.（《知识与信仰》（1962），康奈尔大学出版社：康奈尔学院出版社，纽约州伊萨卡）
[25] 辛提卡（J.Hintikka），《维护不可能的世界》（J.Philos）。逻辑，4475-484（1975）·Zbl 0334.02003号
[26] 霍普克罗夫特，J.E。；Ullman，J.D.（自动化理论、语言和计算导论（1979），Addison-Wesley：Addison-Whesley纽约）·兹标0426.68001
[27] 休斯，G.E。；克雷斯韦尔，M.J.（模态逻辑导论（1978），Methuen:Methuen London）
[28] 休斯，G.E。；Cresswell，M.J.，（模态逻辑指南（1984），Methun:Methuen伦敦）·Zbl 0625.03005号
[29] Imielinski，T.，分布式数据库中的相关知识，（第六届ACM数据库系统原理研讨会论文集（1987）），197-209
[30] Kanger，S.，《论形式的表征》，《理论》，第23期，第152-155页（1957年）·Zbl 008725201号
[31] Kanger，S.，《逻辑的可证明性》（1957），斯德哥尔摩哲学研究I·Zbl 0077.01202号
[32] 卡普兰，D.，《模态逻辑的语义分析I：正常模态命题演算》，《符号逻辑杂志》，第31期，第120-122页（1966年）
[33] Kozen，D。；Parikh，R.，PDL完备性的基本证明，Theor。计算。科学。，14, 1, 113-118 (1981) ·Zbl 0451.03006号
[34] J.符号逻辑，24323（1959）·Zbl 0118.01305号
[35] Ladner，R.E.，《模态命题逻辑系统可证明性的计算复杂性》，SIAM J.Comput。，6, 3, 467-480 (1977) ·Zbl 0373.02025号
[36] Lehmann，D.J.，《知识、常识和相关谜题》（第三届ACM分布式计算原理研讨会论文集，1984年），62-67
[37] Lenzen，W.，《认知逻辑近期研究》，《哲学学报》。芬恩。，30, 1-219 (1978) ·Zbl 0397.0302号
[38] Levesque，H.J.，《知识表示的功能方法基础》，Artif。智力。，23, 155-212 (1984) ·Zbl 0548.68090号
[39] Levesque，H.J.，《内隐和外显信念的逻辑》（Proceedings AAAI-84）。会议记录AAAI-84，德克萨斯州奥斯汀（1984），198-202
[40] Levesque，H.J.，《我所知道的一切：自认知逻辑研究》，Artif。智力。，42, 3, 263-309 (1990) ·Zbl 0724.03019号
[41] Makinson，D.，关于模态逻辑中的一些完备性定理，Z.数学。Logik Grundl公司。数学。，12, 379-384 (1966) ·Zbl 0295.0204号
[42] 麦克阿瑟，G.L.，《关于知识和信仰的推理：调查》，《计算》。智力。，4, 223-243 (1988)
[43] 麦卡锡，J。；佐藤，M。；Hayashi，T。；Igarishi，S.，《关于知识的模型理论》（技术报告STAN-CS-78-657（1979），斯坦福大学斯坦福：斯坦福大学加州大学）
[44] 麦卡锡，J.M。；Hayes，P.J.，《从人工智能的角度来看的一些哲学问题》，（Michie，D.，《机器智能》，4（1969），爱丁堡大学出版社：爱丁堡，苏格兰爱丁堡），463-502·Zbl 0226.68044号
[45] Merritt，M.J.，《密码协议》（1983年乔治亚理工学院博士论文：乔治亚理学院亚特兰大分校）
[46] Milgrom，P.，《公共知识的公理化表征》，《计量经济学》，49，1，219-222（1981）·Zbl 0453.90028号
[47] Moore，R.C.，《知识与行动的形式理论》（Hobbs，J.；Moore R.C.），《常识世界的形式理论（1985）》，Ablex:Ablex Norwood，NJ），319-358
[48] Moses，Y.，Resource-bounded knowledge，（Vardi，M.Y.，Proceedings Second Conference on Theory Aspects of Reasoning about knowledge（1988），摩根考夫曼：摩根考夫曼·圣马特奥，加利福尼亚州），261-276·Zbl 0725.68097号
[49] 摩西，Y。；Tuttle，M.R.，使用公共知识编程同时动作，《算法》，3121-169（1988）·Zbl 0646.68031号
[50] Pratt，V.R.，《程序逻辑模型》（第20届IEEE计算机科学基础研讨会论文集（1979）），115-122
[51] Rantala，V.，《不可能的世界——语义和逻辑全知》，《哲学学报》。芬恩。，35, 18-24 (1982) ·Zbl 0519.03002号
[52] Reiter，R.，《关于完整性约束》（Vardi，M.Y.，《关于知识推理理论方面的第二次会议论文集》（1988），Morgan Kaufmann:Morgan Koufmann San Mateo，CA），97-112·Zbl 0725.68099号
[53] Rosenschein，S.J.，《知识和机器人领域人工智能的形式理论》，《新一代计算》。，3, 345-357 (1985) ·Zbl 0596.68061号
[54] Sato，M.，《用Gentzen的序列方法研究某些模态逻辑的Kripke型方法》，Publ。Res.Inst.数学。科学。京都大学，13，2（1977）·Zbl 0405.03013号
[55] Smullyan，R.（一阶逻辑（1968），Springer:Springer New York）·Zbl 0172.28901号
[56] 斯托克迈耶，L.J。；Meyer，A.R.，《需要指数时间的单词问题：初步报告》（第五届ACM计算机理论研讨会论文集（1973）），1-9·Zbl 0359.68050号
[57] 范·本特姆（J.F.A.K.van Benthem），（模态逻辑和经典逻辑（1983），《图书馆》）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。