×
格哈德·布鲁卡

累积缺省逻辑：为非单调推理规则辩护。 （英语） Zbl 0753.03011号

Artif公司。智力。 50，第2期，183-205（1991）.
作者的目的是修改Reiter默认逻辑，以消除两个明显的形式缺陷。一个是生成的推理关系中的累积性失败：在一组前提中添加从中推断的结论可能会改变一组结论。另一个是理由的联合一致性失败：尽管在生成扩展时应用的每个默认规则中的每个理由公式都必须单独与该扩展一致，但综合起来的理由不必如此。即使对于正常的默认系统，也可能出现前一个缺点；后者仅适用于非正常情况。
作者遵循的策略是“升级本体论”：他认为命题（p_R）不是处理普通命题，而是由表示对（p\）可能的“支持”的命题集（R\）索引。作者重新定义了扩展的概念，即在其生成过程中，（R）中的指数会进行扩展，以跟踪所呼吁的理由以及通过的中间结论。结果表明，“累积缺省逻辑”（CDL）的结果系统确实是累积的，并且满足证明的联合一致性。作者还概述了审稿人获得的其结构的一个变体，以确保累积性，而不需要联合一致的理由。
评审员对后续开发的评论：然而，CDL等系统本身确实存在一个正式缺陷，即“浮动结论”现象。某个命题可能出现在每一个扩展中，但只有不同的索引，因此没有对所有扩展通用的索引实例，因此通过所有扩展的交集无法（怀疑地）推断出它的任何内容。作者、评论家和K.Schlechta公司[“JTMS和逻辑编程的累积推理关系”，in：非单调逻辑和归纳逻辑(J.迪克斯等人（编辑）（柏林：Lect.Notes Artif.Intell.543（1991））。为了消除浮动结论，同时保留其他理想的属性，作者最近提出了进一步完善未解决的结构。参见他的技术报告“累积默认逻辑框架”[TR-92-042，国际计算科学研究所，伯克利/加州（1992）]。
审核人：D.Makinson（阿夫雷村）

引用于45文件

MSC公司：

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

关键词：

非单调逻辑;默认逻辑;累积性
PDF格式BibTeX公司 XML格式引用
\textit{G.Brewka}，阿蒂夫。智力。50，编号2183-205（1991；兹bl 0753.03011）
全文： 内政部

参考文献：

[1] Brewka，G.，《Tweety-sill flying:关于反常鸟类、适用规则和默认证明人的一些评论》（Proceedings AAAI-86）。美国宾夕法尼亚州费城AAAI-86会议记录（1986），8-12
[2] Dressler，O.，扩展基本ATM， （第二届非单调推理国际研讨会论文集。第二届国际非单调推理研讨会论文集，德国格拉索《智慧》，346（1989），《施普林格：柏林施普林格》，143-163·Zbl 0675.68053号
[3] Etherington，D.W.，《默认逻辑的语义》（Proceedings IJCAI-87）。IJCAI-87会议记录，意大利米兰（1987），495-498
[4] Junker，U.，《正确的非单调原子》（Proceedings IJCAI-89）。《IJCAI-89会议记录》，密歇根州底特律（1989），1049-1054·Zbl 0713.68055号
[5] Konolige，K.，《关于缺省逻辑和自认知逻辑之间的关系》，Artif。智力。，35, 343-382 (1988) ·Zbl 0647.68088号
[6] Lifschitz，V.，《计算界限》，（《国际计算机学会学报》第85卷。IJCAI-85会议记录，加利福尼亚州洛杉矶（1985），121-127
[7] Lukaszewicz，W.，《默认逻辑考虑——替代方法》，计算。智力。，4, 1-16 (1988)
[8] 梅金森，D.，累积推理的一般理论， （第二届非单调推理国际研讨会论文集。第二届国际非单调推理研讨会论文集，德国格拉索《智慧》，346（1989），《施普林格：柏林施普林格》，1-18·Zbl 0675.03007号
[9] 马雷克·W。；Truszczynski，M.，《关联自认知和缺省逻辑》（Proceedings First International Conference on Principles of Knowledge Representation and Reasoning），第276-288页·Zbl 0706.03024号
[10] Poole，D.，默认推理的逻辑框架，人工制品。智力。，36, 27-47 (1988) ·Zbl 0647.68094号
[11] Poole，D.，《彩票悖论告诉我们什么是默认推理》（Proceedings First International Conference on Principles of Knowledge Representation and reasoning），（1989年），第333-340页·Zbl 0709.68066号
[12] Reiter，R.，默认推理逻辑，Artif。智力。，13, 81-132 (1980) ·Zbl 0435.68069号
[13] Reiter，R.，《非单调推理》，（《计算机科学年度评论》，2（1987），《年度评论公司：年度评论》（Annual Reviews，Inc Palo Alto，CA），147-186
[14] Reiter，R。；Criscuolo，G.，《交互违约》（Proceedings IJCAI-81）。不列颠哥伦比亚省温哥华市IJCAI-81会议记录（1981），270-276
[15] Schaub，T.，Nichttonone Logiken und ein Default Beweiser，（论文（1990），德国达姆施塔特技术学院：德国达姆施塔特技术学院）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。