×
乔里·恩格弗里特;Herre，Heinrich先生;特雷尔，简

多信念集的非单调推理。 （英语） Zbl 1419.68111号

Gabbay，Dov M.（编辑）等人，《实践推理》。1996年6月3日至7日在德国波恩举行的1996年FAPR正式和应用实践推理国际会议。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1085, 331-344 (1996).
摘要：在本文中，我们引入了非单调信念集算子和选择算子来形式化和分析抽象环境中的多个信念集。我们定义并研究了信念集算子的形式属性，如吸收性、同余性、超演绎性和弱信念单调性。此外，还证明了对于每个满足强信念累积性的信念集算子，其下存在一个最大的单调逻辑，从而推广了非单调推理操作的结果。最后，我们研究了与信念集算子相关的选择推理操作的抽象性质，这些选择推理操作用于选择一个可能的视图。
关于整个系列，请参见[Zbl 0937.00049号].

引用于1文件

MSC公司：

68T27型 人工智能中的逻辑

关键词：

非单调推理;知识表示;信念集
PDF格式BibTeX公司 XML格式引用
\textit｛J.Engelfriet｝等人，Lect。注释计算。科学。1085、331--344（1996年；Zbl 1419.68111）
全文： 内政部

参考文献：

[1] Apt，K.R.，Blair，H.A.，Walker，A.：走向声明性知识理论，摘自：Minker，J.（ed），演绎数据库和逻辑编程基础，Morgan Kaufmann，1988年，第89-142页·Zbl 0699.68009号
[2] Alchourrón，C.E.，Gärdefors，P.，Makinson，D.：论理论变革的逻辑：部分满足收缩和修正功能；符号逻辑杂志50，510-530（1985）·Zbl 0578.03011号
[3] Besnard，P.：违约逻辑导论；柏林，施普林格·弗拉格，1989年·Zbl 0723.68092号
[4] Brewka，G.：《非单调推理：常识的逻辑基础》，剑桥大学出版社，1991年·Zbl 0723.68099号
[5] Brewka，G.：为默认逻辑添加优先级和特定性；收录：C.MacNish、D.Pearce、L.M.Pereira（编辑）《人工智能中的逻辑》，JELIA’94，Springer Verlag，1994·Zbl 0988.68614号
[6] Dietrich，J.：非单调推理操作的演绎基础：NTZ报告，7/94，莱比锡大学，1994
[7] Dietrich，J.，H.Herre:非单调模型理论概述，NTZ报告，5/94，莱比锡大学，1994
[8] Engelfriet，J.，H.Herre，J.Treur:非单调信仰状态框架和推理框架，收录于：C.Froidevaux，J.Kohlas（编辑），Proc。ECSQARU’95，AI课堂讲稿，第946卷，施普林格出版社，1995年，第189-196页
[9] Engelfriet，J.，J.Treur:缺省逻辑的时间模型理论，收录于：M.Clarke，R.Kruse，S.Moral（eds），Proc。ECSQARU'93，《计算机科学讲义》，第747卷，施普林格出版社，1993年，第91-96页
[10] Engelfriet，J.，J.Treur:推理的时间理论。收录于：C.MacNish、D.Pearce、L.M.Pereira（编辑）《人工智能中的逻辑》，第四届欧洲人工智能中逻辑研讨会论文集，JELIA’94，《人工智能课堂讲稿》，第838卷，Springer Verlag，第279-299页；另见：《应用非经典逻辑杂志》，第5卷（2），1995年，第239-261页·Zbl 0988.03513号
[11] 以太灵顿，D.W.：缺省逻辑语义，Proc。IJCAI-87，第495-498页；另见：D.W.Etherington，《不完全信息推理》，摩根·考夫曼，1988年·兹比尔0694.68003
[12] Gabbay，D.：专家系统中非单调推理的理论基础；在Apt，K.（编辑）：并发系统的逻辑和模型，Springer，柏林，1985·Zbl 0581.68068号
[13] 格罗夫，A.：理论变革的两种模型；《哲学逻辑杂志》17，157-170（1988）·Zbl 0639.03025号 ·doi:10.1007/BF00247909
[14] Herre，H.：非单调推理操作的紧性，In:C.MacNish，D.Pearce，L.M.Pereira（eds.）《人工智能中的逻辑》，第四届欧洲人工智能逻辑研讨会论文集，JELIA’94，《人工智能讲义》，第838卷，Springer Verlag，第19-33页；另见：《应用非经典逻辑杂志》，第5卷，1995年，第121-136页（JELIA’94精选论文特刊）
[15] 科诺利奇，K.：《非单调推理的层次自认知理论》，摘自：《88年AAAI学报》，明尼阿波利斯，1988年
[16] Lindström，S.：非单调推理的语义方法：推理操作和选择；乌普萨拉大学哲学系，预印本，1991年
[17] Makinson，D.：非单调推理的一般模式；in：D.M.Gabbay、C.J.Hogger、J.A.Robinson（编辑），《人工智能和逻辑编程中的逻辑手册》，第3卷，牛津科学出版社，1994年
[18] Marek，V.，M.Truszczynski:非单调逻辑，Springer-Verlag，1993年·Zbl 0784.03018号
[19] Marek，V.，J.Treur，M.Truszczynski：默认逻辑的表示理论，Proc。1996年人工智能与数学研讨会·Zbl 0890.68121号
[20] Poole，D.：默认推理的逻辑框架；人工智能，36:27-47（1988）·Zbl 0647.68094号 ·doi:10.1016/0004-3702（88）90077-X
[21] 波普尔，K.：科学发现的逻辑；哈钦森，伦敦，1977年，第9版·Zbl 0083.24104号
[22] Reiter，R.：默认推理的逻辑；A.I.，第13卷，81-1321980·Zbl 0435.68069号
[23] Shoham，Y.：关于变革的推理；MIT-Press，剑桥/美国·Zbl 0662.03014号
[24] 塔斯基，A.：逻辑，语义，元数学。1923-1938年的论文。克拉伦登出版社，牛津，1956年·Zbl 0075.00702号
[25] Tan，Y.H.，J.Treur：建构缺省逻辑与可延迟推理的控制；在：B.Neumann（编辑），Proc。ECAI'92，威利父子出版社，1992年，第299-303页
[26] 福尔布拉克，F。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。