×
唐纳德·佩利斯

具有自我参照的语言。二： 知识、信仰和情态。 （英语） Zbl 0642.03017号

Artif公司。智力。 34，第2期，179-212（1988）.
[第一部分见同上25、301-322（1985年；兹伯利0581.03005).]
蒙塔古和托马森的负面结果使命题态度的研究偏离了句法（“一阶”）方法，反而鼓励模态形式主义，尤其是在表示认知概念方面。我们表明，当模态逻辑同样具有替代性自我参照时，它的基础并不比一阶逻辑更坚实。尽管如此，仍然可能有补救办法，部分取决于可证明性和信念的“动态”和“静态”概念之间的区别（本文件的早期版本强调了某种不同的区别）。

引用于8文件

理学硕士：

03B65号 自然语言逻辑
68T99型 人工智能
03B45号 模态逻辑（包括规范逻辑）

关键词：

模态逻辑;替代性自我参照;可证明性;信仰

引文：

Zbl 0581.03005号
PDF格式BibTeX公司 XML格式引用
\textit{D.Perlis}，Artif。因特尔。34，第2号，179--212（1988；Zbl 0642.03017）
全文： 内政部

参考文献：

[1] Asher，N。；Kamp，H.，《认知者的悖论和态度表征理论》，（关于知识推理理论方面的会议论文集（1986）），131-147
[2] Boolos，G.（The Unprovability of Consistency（1979），剑桥大学出版社：剑桥大学出版社，英国剑桥）·Zbl 0409.03009号
[3] 布洛斯，G。；Jeffrey，R.（可计算性和逻辑（1980），剑桥大学出版社：剑桥大学出版社，英国剑桥）
[4] Burge，T.，认识悖论，J.Philos。，81, 5-29 (1984)
[5] Chellas，B.（模态逻辑（1980），剑桥大学出版社：剑桥大学出版社，英国剑桥）·Zbl 0431.03009号
[6] Drapkin，J。；Perlis，D.，《步骤逻辑：有限推理的替代方法》（Proceedings ECAI-86）。ECAI-86会议记录，英国布莱顿（1986），160-163
[7] Eberle，R.，《相信、知道和推断的逻辑》，《综合》，26，356-382（1974）·兹伯利0285.02026
[8] 费金，R。；Halpern，J.，《信念、意识和有限推理》，人工智能，34，39-76（1988）·Zbl 0634.03013号
[9] Feferman，S.，公理理论的无限递归进展，符号逻辑，27259-316（1962）·Zbl 0117.25402号
[10] Feferman，S.，《走向有用的无类型理论》，I，J.符号逻辑，49，75-111（1984）·Zbl 0574.03043号
[11] Gettier，E.，正义的真信仰知识吗？，分析，23121-123（1963）
[12] Gilmore，P.，《没有外延的部分集理论的一致性》（Jech，T.，公理集理论（1974），Amer。数学。Soc：美国。数学。Soc普罗维登斯，RI）·兹伯利0309.02065
[13] Gödel，K.，将正式的未经审查的数学原理Satze der Principia Mathematica and verwanter Systeme I，Monatsh。数学。物理。，38, 173-198 (1931)
[14] Halpern，J。；Moses，Y.，《知识和信仰的模态逻辑指南：初稿》（Proceedings IJCAI-85）。IJCAI-85会议记录，加利福尼亚州洛杉矶（1985），480-490
[15] Hintikka，J.（《知识与信仰》（1962），康奈尔大学出版社：康奈尔学院出版社，纽约州伊萨卡）
[16] Konolige，K.，《多智能体规划系统的知识和行动的一阶形式化》（Hayes，J.E.；Michie，D.；Mikulich，L.I.，《机器智能》，10（1982），威利：威利纽约），503-508
[17] Konolige，K.，《信念内省的计算理论》（Proceedings IJCAI-85）。IJCAI-85会议记录，加利福尼亚州洛杉矶（1985年），502-508
[18] 克里普克，S.，《真理理论纲要》，J.菲洛斯。，72, 690-716 (1975) ·Zbl 0952.03513号
[19] Levesque，H.，《内隐和外显信念的逻辑》（Proceedings AAAI-84）。《AAAI-84会议记录》，德克萨斯州奥斯汀（1984），198-202
[20] Levesque，H.，《知识表示的功能方法基础》，人工智能，23155-212（1984）·Zbl 0548.68090号
[21] McCarthy，J.，《个体概念和命题的一阶理论》（Hayes，J.E.；Michie，D.；Mikulich，L.I.，《机器智能》，9（1979），Wiley:Wiley New York）。（Brachman，R.；Levesque，H.，《知识表征阅读》（1982），Morgan Kaufmann:Morgan Koufmann Palo Alto，CA），129-147，也在
[22] Mendelson，E.（《数理逻辑导论》（1987），华兹华斯：华兹华斯·贝尔蒙特，加利福尼亚州）·Zbl 0681.03001号
[23] Montague，R.，《情态的句法处理，关于反身原则和有限公理化的推论》，《哲学学报》。芬恩。，16, 153-167 (1963) ·Zbl 0117.01302号
[24] Moore，R.，非单调逻辑的语义考虑，人工智能，2575-94（1984）·Zbl 0569.68079号
[25] （Partee，B.，Montague Grammars（1976），学术出版社：纽约学术出版社）
[26] Perlis，D.，《语言、计算与现实》（博士论文（1981年），罗切斯特大学：纽约罗切斯特州立大学）
[27] Perlis，D.，非单调性和实时推理，（AAAI非单调推理研讨会。AAAI关于非单调推理的研讨会，Mohonk（1984））
[28] Perlis，D.，《具有自我参考的语言I：基础》，人工智能，25101-322（1985）·Zbl 0581.03005号
[29] Perlis，D.，《关于常识推理的一致性》，Comput。智力。，2, 180-190 (1986)
[30] Perlis，D.，《自我参照、知识、信念和情态》（Proceedings AAAI-86）。美国宾夕法尼亚州费城AAAI-86会议记录（1986），416-420
[31] 奎因，W.，《作为算术基础的串联》，J.符号。逻辑，11（1946）·Zbl 0063.06362号
[32] 里格，C.，《概念记忆……》（博士论文（1974），斯坦福大学：斯坦福大学，加利福尼亚州斯坦福）
[33] des Rivieres，J。；Levsque，H.，知识句法处理的一致性，（《关于知识推理的理论方面会议论文集》（1986）），115-130
[34] Smith，B.，《自我参照的多样性》（1986年知识推理理论方面会议论文集），19-43
[35] Smorynski，C.（自参考和模态逻辑（1985），Springer:Springer New York）·Zbl 0596.03001号
[36] Stich，S.（《从民间心理学到认知科学：反对信仰的案例》（1983），麻省理工学院出版社：麻省理学院出版社，马萨诸塞州剑桥）
[37] Tarski，A.，Der Wahrheitsbegriff in den formalizesten Sprachen，Studia Philos，《德瓦尔海茨贝格里夫在斯普拉钦的书房》。，1, 261-405 (1936)
[38] 托马森，R.，《情态的句法处理》，《综合》，44，391-395（1980）·Zbl 0449.03005号
[39] Vardi，M.，《单调知识的模型理论分析》（Proceedings IJCAI-85）。IJCAI-85会议记录，加利福尼亚州洛杉矶（1985），509-512
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。