×
迈克尔·卡明斯基

非单调模态逻辑的非参照语义。 （英语） Zbl 1173.03014号

安。数学。Artif公司。智力。 53，编号1-4，205-223（2008）.
在带有连接词的模态逻辑中，扩展通常被定义为适当操作的不动点。一个例外是G.Schwartz，他在1992年为这种逻辑设计了一种语义，其中一组公式的展开被视为该组模型的理论，该组模型在适当的偏好关系下是最小的。在本文中，作者构造了另一个非固定点语义，但没有偏好关系。其中，一组公式的展开式被视为该组规范模型的“孤立簇”理论。
审核人：David Makinson（伦敦）

理学硕士：

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

关键词：

非单调模态逻辑;消极内省;固定点;偏好关系;集群;标准模型
PDF格式BibTeX公司 XML格式引用
\textit{M.Kaminski}，Ann.数学。Artif公司。智力。53，编号1--4，205-223（2008；Zbl 1173.03014）
全文： 内政部

参考文献：

[1] Donini，F.M.，Nardi，D.，Rosati，R.：基础非单调模态逻辑。J.日志。计算。7, 523–548 (1997) ·Zbl 0881.03018号 ·doi:10.1093/log.com/7.4.523
[2] Fitting，M.：基本模态逻辑。收录于：Gabbay，D.M.、Hogger，C.J.、Robinson，J.A.（编辑）《人工智能和逻辑编程逻辑手册》，第1卷：逻辑基础，第368–448页。牛津大学出版社，牛津（1993）
[3] Grimberg，B.，Kaminski，M.：一阶基态非单调模态逻辑。芬丹。通知。83, 253–276 (2008) ·Zbl 1148.03016号
[4] Hughes，G.E.，Cresswell，M.J.：模态逻辑的伴侣。Methuen and Co.，伦敦（1984）·Zbl 0625.03005号
[5] Hughes，G.E.，Cresswell，M.J.：模态逻辑新导论。劳特利奇，纽约，纽约（1996）·Zbl 0855.0302号
[6] Lemmon，E.J.（与D.Scott合作）：in:Segerberg，K.（编辑）《Lemmon笔记：模态逻辑导论》。牛津大学巴兹尔·布莱克威尔（1977）·Zbl 0388.03006号
[7] Konolige，K.：关于缺省逻辑和自认知逻辑之间的关系。Artif公司。智力。35, 343–382 (1988) ·Zbl 0647.68088号 ·doi:10.1016/0004-3702（88）90021-5
[8] Marek，W.，Truszczynski，M.：非单调逻辑。柏林施普林格（1993）·Zbl 0784.03018号
[9] 麦克德莫特：非单调逻辑II：非单调模态理论。J.ACM 29，33–57（1982）·Zbl 0477.68099号 ·doi:10.1145/322290.322293
[10] McDermott，D.，Doyle，J.：非单调逻辑I.Artif。智力。13, 41–72 (1980) ·Zbl 0435.68074号 ·doi:10.1016/0004-3702（80）90012-0
[11] 摩尔，R.C.：非单调逻辑的语义考虑。Artif公司。智力。25, 75–94 (1985) ·Zbl 0569.68079号 ·doi:10.1016/0004-3702（85）90042-6
[12] 摩尔，R.C.：自认知逻辑的可能世界语义。收录于：Ginsberg，M.L.（编辑）《非单调推理阅读》，第137-142页。Morgan Kaufmann，Los Altos，California（1987年）
[13] Schwarz，G.：非单调模态逻辑的最小模型语义。摘自：第七届IEEE计算机科学逻辑年会论文集，第34-43页。IEEE计算机学会出版社，加利福尼亚州洛斯阿拉米托斯（1992）
[14] Segerberg，K.：经典模态逻辑论文。菲洛斯。螺柱13（1971）·Zbl 0311.02028号
[15] Shvarts，G.：自认知模态逻辑。摘自：Parikh，R.（编辑）《关于知识推理理论方面的第三届会议论文集》，第97-110页。Morgan Kaufmann，加利福尼亚州洛斯阿尔托斯（1990）
[16] Stalnaker，R.：关于非单调模态逻辑的注释。Artif公司。智力。64, 183–196 (1993) ·doi:10.1016/0004-3702（93）90104-J
[17] Tiomkin，M.，Kaminski，M.：集群可分解Kripke解释的模态逻辑。圣母院J.Form.Log。48, 511–520 (2007) ·Zbl 1145.03010号 ·doi:10.1305/ndjfl/1193667708
[18] 沃尔布拉克：客观知识和理性信念的逻辑。摘自：van Eijck，J.（编辑）《欧洲人工智能逻辑研讨会论文集——JELIA’90》，《人工智能讲义》第478卷，第499-515页。柏林施普林格（1990）·Zbl 0789.68132号
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。