×
马克·德纳克;维克托·马雷克。;特鲁什琴斯基，米洛斯奥

缺省逻辑和自认知逻辑的统一语义处理。 （英语） 兹比尔1010.03021

Artif公司。智力。 143，第1期，79-122（2003）.
摘要：我们重新审视了自动认识逻辑和默认逻辑的认识论和语义基础问题，这是非单调推理中的两种主要形式主义。我们开发了一种通用的自认知逻辑和缺省逻辑语义方法，该方法基于信念对的概念，并利用了所有信念对集合的格结构。对于每个逻辑，我们在信念对格上引入一个单调算子。然后我们表明，可以根据该运算符的不动点（或某些密切相关的运算符的不动点），以系统和原则的方式定义整个语义家族。我们的方法阐明了主体形成其信念集的基本构造原则，并导致了自认知逻辑和缺省逻辑的近似语义。它还允许我们在缺省逻辑的语义家族和自认知逻辑的语义系列之间建立精确的一对一对应关系。通信利用了Konolige提出的默认模式解释。我们的结果最终确立了默认逻辑可以被视为自认知逻辑的一个片段，这是一个早就预料到的结果。同时，他们解释了Reiter的默认扩展和Moore的自认知扩展的语义难以形式化关联的根源。这两种语义在缺省逻辑和自认知逻辑的相应语义家族中占据不同的位置。

引用于24文件

理学硕士：

03B70号 计算机科学中的逻辑
68T27型 人工智能中的逻辑
03B60号 其他非经典逻辑

关键词：

默认逻辑;自认知逻辑;近似值;晶格算符;定点语义
PDF格式BibTeX公司 XML格式引用
\textit{M.Denecker}等人，Artif。智力。143，编号1，79-122（2003；Zbl 1010.03021）
全文： 内政部

参考文献：

[1] Antoniou，G.，《非单调推理》（1997年），麻省理工学院出版社：马萨诸塞州剑桥·Zbl 0948.68169号
[2] Baral，C。；Subrahmanian，V.S.，逻辑编程和非单调推理的替代语义之间的二重性（扩展抽象）
[3] Besnard，P.，《缺省逻辑导论》（1989），《Springer-Verlag:Springer-Verlag Berlin》·Zbl 0723.68092号
[4] 贝斯纳德，P。；Schaub，T.，默认逻辑的可能世界语义，《信息学基础》，21，39-66（1994）·Zbl 0814.68119号
[5] 比多特，N。；Froidevaux，C.，《默认否定和不可证明逻辑程序》，《理论计算机科学》，78，1，B部分，85-112（1991）·Zbl 0716.68075号
[6] Chellas，B.F.，《模态逻辑》。简介（1980），剑桥大学出版社：剑桥大学出版社，纽约剑桥·Zbl 0431.03009号
[7] Denecker，M。；马雷克，V。；Truszczyński，M.，自动认识逻辑的固定点三值语义，（认知代理的逻辑基础：向Ray Reiter致敬的贡献（1999），Springer Verlag），113-136·Zbl 0938.03046号
[8] Denecker，M。；马雷克，V。；Truszczyñski，M.，缺省逻辑和自认知逻辑的统一语义处理，（知识表示和推理原理，第七届国际会议论文集（KR2000），科罗拉多州布雷肯里奇（2000），摩根考夫曼：摩根考夫曼旧金山，加利福尼亚州），74-84
[9] Denecker，M。；马雷克，V。；Truszczyñski，M.，近似算子，稳定算子，基础良好的不动点和非单调推理的应用，（Logic-Based Artificial Intelligence（2000），Kluwer学术出版社：Kluwer-学术出版社，马萨诸塞州波士顿），第6章，第127-144页·Zbl 0988.68183号
[10] Fitting，M.C.，《逻辑程序设计的定点语义——综述》，《理论计算机科学》，27825-51（2002）·Zbl 1002.68023号
[11] Gelfond，M.，《关于分层自认知理论》（《AAAI-87会议录》，西雅图，华盛顿州（1987年），摩根考夫曼：摩根考夫曼旧金山，加利福尼亚州），207-211
[12] Gottlob，G.，非单调逻辑的复杂性结果，《逻辑与计算》，2，3，397-425（1992）·Zbl 0765.03012号
[13] Gottlob，G.，《将默认逻辑转换为标准自认知逻辑》，J.ACM，42，4，711-740（1995）·Zbl 0884.03025号
[14] 格雷罗，R。；Casanova，M.，《默认逻辑的替代语义》，预印本。第三届非单调推理国际研讨会，南塔霍湖（1990）
[15] 休斯，G.E。；克雷斯韦尔，M.J.，《模态逻辑的伴侣》（1984），梅休恩·Zbl 0625.03005号
[16] Konolige，K.，《关于缺省逻辑和自认知逻辑之间的关系》，《人工智能》，35，3，343-382（1988）·Zbl 0647.68088号
[17] Levesque，H.J.，《我所知道的一切：自认知逻辑研究》，《人工智能》，第42、2-3、263-309页（1990年）·Zbl 0724.03019号
[18] Lifschitz，V.，《开放违约》（On open defaults），（Lloyd，J.，《计算逻辑研讨会论文集》（1990），施普林格-弗拉格：柏林施普林格），80-95
[19] 马雷克·W。；Truszczyñski，M.，《关联自认知和缺省逻辑》，（《第一届知识表示和推理原则国际会议论文集》（多伦多，on，1989）（1989），Morgan Kaufmann:Morgan Koufmann San Francisco，CA），276-288·Zbl 0706.03024号
[20] 马雷克·W。；Truszczyñski，M.，《逻辑程序和默认理论的稳定语义》，（Lusk，E.；Overbeek，R.，《北美逻辑编程会议论文集》（1989），麻省理工学院出版社：麻省理学院出版社，马萨诸塞州剑桥），243-256
[21] 马雷克·W。；非单调逻辑；上下文相关推理（1993），Springer-Verlag:Springer-Verlag Berlin·Zbl 0784.03018号
[22] McDermott，D.，《非单调逻辑II：非单调模态理论》，J.ACM，29，1，33-57（1982）·Zbl 0477.68099号
[23] 麦克德莫特，D。；Doyle，J.，非单调逻辑I，人工智能，13，1-2，41-72（1980）·Zbl 0435.68074号
[24] Moore，R.C.，自认知逻辑的可能世界语义，（非单调推理研讨会论文集（1984）），344-354，重印于：M.Ginsberg（编辑），《非单调推理阅读》，Morgan Kaufmann，加利福尼亚州旧金山，1990年，第137-142页
[25] Moore，R.C.，非单调逻辑的语义考虑，人工智能，25，1，75-94（1985）·Zbl 0569.68079号
[26] 普尔兹穆桑斯卡，H。；Przymusisáski，T.，《固定默认扩展》，《信息基础》，21，1-2，67-87（1994）·Zbl 0835.68111号
[27] Przymusinski，T.C.，有充分依据的语义与三值稳定语义一致，基础信息学，13，4，445-464（1990）·Zbl 0706.68029号
[28] Reiter，R.，《默认推理的逻辑》，《人工智能》，13，1-2，81-132（1980）·Zbl 0435.68069号
[29] Schwarz，G.F.，知识的自认知逻辑，（Nerode，A.；Marek，W.；Subrahmanian，V.S.，逻辑编程和非单调推理（华盛顿特区，1991年）（1991年），麻省理工学院出版社：麻省理工学院出版社，马萨诸塞州剑桥），260-274
[30] Shvarts，G.F.，自认知模态逻辑，（Parikh，R.，《知识推理的理论方面》（Pacific Grove，CA，1990）（1990），Morgan Kaufmann:Morgan Koufmann San Francisco，CA），97-109
[31] Stillman，J.，这不是我的默认：限制命题默认逻辑的隶属度问题的复杂性，（《AAAI-90会议录》，波士顿，MA（1990），Morgan Kaufmann：Morgan Kaufmann Los Altos，CA）
[32] Truszczyñski，M.，默认逻辑的模态解释，（IJCAI-91会议录，悉尼（1991），摩根考夫曼：摩根考夫曼旧金山，加利福尼亚州），393-398·Zbl 0747.68088号
[33] van Emden，M.H。；Kowalski，R.A.，谓词逻辑作为编程语言的语义，J.ACM，23，4，733-742（1976）·Zbl 0339.68004号
[34] Van Gelder，A。；Ross，K.A。；Schlipf，J.S.，《通用逻辑程序的良好语义》，J.ACM，38，3，620-650（1991）·Zbl 0799.68045号
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。