×
吉安尼·阿马蒂;路易吉亚·卡卢奇·埃利罗（Luigia Carlucci Aiello）;菲奥拉·皮里

可定义性和常识推理。 （英语） Zbl 1017.68538号

Artif公司。智力。 93，第1-2号，169-199（1997）.
概述：概念的定义是常识推理中的一个中心问题。非单调推理中的许多主题都涉及隐式和显式可定义性。非单调逻辑中的隐含可定义性总是与上下文相关的，即当前的世界理论。我们表明，不动点方程提供了显式可定义性的一般化，它正确地捕获了相对化上下文。在这个逻辑框架内表达的理论提供了概念的隐含定义。此外，完全可以在逻辑中推导出这些不动点。

引用于1文件

理学硕士：

68T27型 人工智能中的逻辑
03B60号 其他非经典逻辑

关键词：

常识推理;无法定义;固定点;可证明逻辑;默认逻辑;上下文推理;自我参考
PDF格式BibTeX公司 XML格式引用
\textit{G.Amati}等人，Artif。智力。93，No.1--2，169--199（1997；Zbl 1017.68538）
全文： 内政部 欧洲DML

参考文献：

[1] 阿马蒂，G。；艾略·卡卢奇（L.Carlucci Aiello）；Gabbay博士。；Pirri，F.，表征默认逻辑的模态框架的结构属性，J.IGPL，4，1-24（1996）·Zbl 0844.03013号
[2] 阿马蒂，G。；Carlucci Aiello，L。；Pirri，F.，KD4Z的演绎方法，（《技术报告》第VI.94页（1994年），罗马大学：罗马大学
[3] G.Amati、L.Carlucci Aiello和F.Pirri，直觉主义自认知逻辑，螺柱Logica; G.Amati、L.Carlucci Aiello和F.Pirri，直觉主义自认知逻辑，螺柱Logica·兹伯利0888.03013
[4] Bernardi，C.，可对角化代数的不动点定理，Stud.Logica，34239-251（1975）·Zbl 0318.02031
[5] 贝斯纳德，P。；Schaub，T.，默认逻辑的可能世界语义，（第四届非单调推理国际研讨会工作笔记（1992）），34-40
[6] Beth，E.，《关于帕多亚定义理论中的方法》，Indag。数学。，15, 330-339 (1953) ·Zbl 0053.34402号
[7] Boolos，G.（《论一致性的不可证实性》（1979），牛津大学出版社：牛津大学出版社·Zbl 0409.03009号
[8] Doyle，J.，《思考、行动和反省的模型》（AI-TR 581（1980），麻省理工学院人工智能实验室：麻省理工科学院剑桥人工智能实验室）
[9] Doyle，J.，《心理学的数学基础》（1981），未出版手稿
[10] Doyle，J.，《推理假设的一些理论：理性心理学的一篇论文》（《技术报告》，CMU-CS-83-125（1983），卡内基梅隆大学计算机科学系：卡内基梅隆大学匹兹堡计算机科学系，宾夕法尼亚州）
[11] Doyle，J.，《包围和隐含可定义性》，J.自动推理，1391-405（1985）·兹比尔0614.68070
[12] Etherington，D.（不完全信息推理（1988），Morgan Kaufman：Morgan Koufman San Mateo，CA）·兹比尔0694.68003
[13] Fitting，M.（模态和直觉主义逻辑的证明方法（1983），Reidel:Reidel Dordrecht）·Zbl 0523.03013号
[14] Gabbay，D.M.，《以失败否定的模式可证明性解释》，（Shroeder-Heister，P.，《逻辑编程的扩展》，《逻辑程序设计的扩展》（Extensions of Logic Programming），计算机科学课堂讲稿，475（1991），Springer:Springer Berlin），179-222·Zbl 1502.68064号
[15] Gärdenfors，P.，概念形成的几何模型，（信息建模和知识库，III（1992），IOS出版社：阿姆斯特丹IOS出版社），1-17
[16] Gelfond，M。；Lifschitz，V.，逻辑编程的稳定模型语义，（第五届逻辑编程国际会议论文集（ICLP-88）（1988）），230-237
[17] Goldblatt，R.，《时间与计算的逻辑》（1992），CSLI
[18] Halpern，J。；Moses，Y.，（《非单调推理AAAI研讨会论文集》。《非单调理性AAAI会议论文集》，纽约州新帕尔茨。《非单一推理AAAI-研讨会论文集。非单调推理会议论文集AAAI，纽约州新帕尔茨，走向知识与无知理论：初步报告》（1984），Morgan Kaufmann:摩根·考夫曼·洛斯阿尔托斯，加利福尼亚州），125-143
[19] Konolige，K.，《关于缺省逻辑和自认知逻辑之间的关系》，Artif。智力。，35, 343-382 (1988) ·Zbl 0647.68088号
[20] Levsque，H.J.，《我所知道的：关于自我认识逻辑的研究》，Artif。智力。，42, 381-386 (1990) ·Zbl 0724.03019号
[21] Lifschitz，V.，《计算范围》（Proceedings IJCAI-85）。IJCAI-85会议记录，加利福尼亚州洛杉矶（1985），121-127
[22] Lifschitz，V.，《行为的形式理论》（The Frame Problem in Artificial Intelligence，1987），Morgan Kaufmann:Morgan Koufmann Los Altos，CA），35-57
[23] Lin，F.，《指定不确定性行为的影响》（技术报告（1996），多伦多大学计算机科学系：安大略省多伦多大学计算科学系）
[24] 林，F。；Reiter，R.，《重新审视状态约束》，J.Logic Comput。，4, 655-678 (1994) ·Zbl 0815.68096号
[25] 林，F。；Shoham，Y.，《定点非单调逻辑的认识语义学》（Proceedings Third Conference on Theory Aspects of Reasoning about Knowledge），第三届知识推理理论会议论文集，加州太平洋格罗夫（1990），111-120
[26] 马雷克，V.W。；施瓦兹，G。；Truszczynski，M.，模态非单调逻辑：范围、表征、计算，美国计算机学会，40963-990（1993）·Zbl 0783.68121号
[27] 马雷克，V.W。；Truszczynski，M.，《默认推理的模态逻辑》（Ann.Math.Artif.Intell.，1（1990）），275-302·Zbl 0871.03009号
[28] 马雷克，V.W。；Truszczynski，M.（非单调逻辑，上下文相关推理（1993），施普林格：施普林格-柏林）·Zbl 0784.03018号
[29] McCarthy，J.，《界限——非单调推理的一种形式》，Artif。智力。，13, 27-39 (1980) ·Zbl 0435.68073号
[30] McDermott，D.，《非单调逻辑II：非单调模态理论》，J.ACM，29，33-57（1982）·Zbl 0477.68099号
[31] 麦克德莫特，D。；Doyle，J.，非单调逻辑I，Artif。智力。，13, 41-72 (1980) ·Zbl 0435.68074号
[32] Mervis，C。；Rosh，E.，《自然物体的分类》，《心理学年度评论》。，32, 89-115 (1981)
[33] Montagna，F.，《可证明性的谓词模态逻辑》，《圣母院J.形式逻辑》，25179-189（1984）·Zbl 0549.03013号
[34] Montague，R.，《情态的句法处理，关于反身原则和有限公理化的推论》，《哲学学报》。费尼卡，16，153-167（1963）·兹比尔0117.01302
[35] Moore，R.，《非单调逻辑的语义考虑》，Artif。智力。，25, 75-94 (1985) ·Zbl 0569.68079号
[36] Moore，R.，《自认知逻辑的可能世界语义》（Ginsberg，M.，《非单调推理阅读》（1987），Morgan Kaufmann:Morgan Koufmann Los Altos，CA），137-142
[37] Perlis，D.，《语言与自我参照I：基础》，Artif。智力。，25, 301-322 (1985) ·Zbl 0581.03005号
[38] Perlis，D.，《语言与自我参照II：知识、信念和情态》，Artif。智力。，34, 179-212 (1988) ·Zbl 0642.03017号
[39] Reiter，R.，默认推理逻辑，Artif。智力。，13, 81-132 (1980) ·Zbl 0435.68069号
[40] Reiter，R.，《分词意味着谓词完成（有时）》（Proceedings AAAI-82）。《AAAI-82会议记录》，宾夕法尼亚州匹兹堡（1982），183-188
[41] Reiter，R.，非单调推理，（计算机科学年度评论，2（1987），年度评论公司：年度评论公司，加利福尼亚州帕洛阿尔托），147-186
[42] 施瓦兹，G.，自认知模态逻辑，（《关于知识推理的理论方面的第三次会议论文集》，《关于知识的推理的理论部分的第三届会议论文集，加利福尼亚州太平洋格罗夫（1990）》），97-109
[43] Schwarz，G.，非单调模态逻辑的最小模型语义，（《逻辑编程和非单调推理第一国际研讨会论文集》，华盛顿特区，1991年），260-274
[44] Schwarz，G.，非单调模态逻辑的最小模型语义，（第七届IEEE计算机科学逻辑研讨会论文集。第七届EEE计算机科学逻辑会议论文集，加州圣克鲁斯（1992）），34-43
[45] Schwarz，G.，《寻找“真正的”知识逻辑：非单调视角》，Artif。智力。，79, 39-63 (1995) ·Zbl 1014.03507号
[46] 施瓦兹，G。；Truszczynski，M.，模态逻辑S4f和最小知识范式，（关于知识推理理论方面的第三次会议论文集。关于知识推理的理论方面的会议论文集，加利福尼亚州太平洋格罗夫（1990）），97-109
[47] 施瓦兹，G。；Truszczynski，M.，《最小知识问题：一种新方法》，Artif。智力。，67, 113-141 (1994) ·Zbl 0820.68115号
[48] Smorynski，C.（自参考与模态逻辑（1985），施普林格出版社：施普林格柏林出版社）·Zbl 0596.03001号
[49] Smorynski，C.，量化模态逻辑和自我参照，《圣母院J.形式逻辑》，28，356-370（1987）·Zbl 0635.03014号
[50] Smullyan，R.，《可能自我参照的语言》，J.符号逻辑，22，55-67（1957）·Zbl 0218.02026号
[51] Smullyan，R.（对角化与自我参照（1994），牛津大学出版社：牛津大学出版社）·Zbl 0810.03001号
[52] Solovay，R.，模态逻辑的可证明性解释，以色列数学杂志。，25, 287-304 (1976) ·Zbl 0352.02019号
[53] Stalnaker，R.，非单调模态逻辑注释，Artif。智力。，64, 183-196 (1993)
[54] Tarski，A.（《关于概念可定义性的一些方法学研究》（1956），牛津大学出版社：牛津大学出版社
[55] Truszczynski，M.，默认逻辑的模态解释（Proceedings IJCAI-91）。诉讼记录IJCAI-91，悉尼（1991）），393-398·Zbl 0747.68088号
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。