×
弗兰兹·巴德;伯恩哈德·霍兰德

具有先决条件的缺省优先级，以及它们在处理术语缺省逻辑中的特殊性方面的应用。 （英语） 兹比尔0842.68081

J.汽车。推理 第15期，第1期，第41-68页（1995年）.
摘要：在最近的一篇论文中，我们提出术语默认逻辑作为一种形式主义，它结合了类和对象的结构化表示以及属性的默认继承的方法。术语默认逻辑继承自一般默认逻辑的主要缺点是，它没有考虑更具体的默认而不是更一般的默认。这种行为已经在默认逻辑的一般上下文中受到了批评，但在术语案例中更是有问题，因为术语的重点在于概念的层次结构。
本文件解决了修改术语缺省逻辑的问题，以便首选更具体的缺省。我们假设特定性排序是由概念的层次结构引起的，这意味着在计算优先级时不考虑默认信息。事实证明，现有的表示默认值之间优先级的方法似乎不适合具有先决条件的默认值。因此，我们考虑在Reiter的默认逻辑框架中处理优先级的另一种方法。形式主义是在默认逻辑的一般设置中提出的，其中优先级是由默认值的任意部分排序给定的。我们展示了新形式主义的一些有趣特性，将其与现有方法进行了比较，并描述了一种计算扩展的算法。在术语的情况下，我们因此获得了一个考虑到特殊性的自动默认推理过程。

引用于18文件

MSC公司：

68立方英尺 知识表示
68T27型 人工智能中的逻辑
03B80号 逻辑的其他应用

关键词：

默认逻辑;自动默认推理
PDF格式BibTeX公司 XML格式引用
\textit{F.Baader}和\textit{B.Hollander}，J.Autom。推理15，No.1，41--68（1995；Zbl 0842.68081）
全文： 内政部

参考文献：

[1] Baader，F.和Hollander，B.：将默认值嵌入术语知识表示形式，inProc。第三届知识表示与推理国际会议，马萨诸塞州剑桥，1992年。
[2] Baader，F.和Hollander，B.：如何在术语默认逻辑中选择更具体的默认值，inProc。第13届国际人工智能联合会议，法国尚贝里，1993年。
[3] Besnard，P.：《缺省逻辑导论》，《符号计算系列》，施普林格出版社，1989年·Zbl 0723.68092号
[4] Brachman，R.J.、McGuinness，D.L.、Patel-Schneider，P.F.、Resnick，L.A.和Borgida，A.：与经典共存：何时以及如何使用类似KL-ONE的语言，收录于J.Sowa（编辑）《语义网络原理》，Morgan Kaufmann，San Mateo，CA，1991年，第401-456页。
[5] Brass，S.：超正规缺省演绎，收录于G.Brewka、K.P.Jantke和P.H.Schmitt（编辑），《非单调和归纳逻辑》，第二国际研讨会，Springer LNCS 6591992年·Zbl 0819.68121号
[6] Brewka，G.：为默认逻辑添加优先级和特殊性，见C.MacNish、D.Pearce和L.M.Pereira（编辑），《人工智能中的逻辑》，欧洲研讨会，JELIA’94，英国约克，Springer LNAI 8381994，第247-260页·Zbl 0988.68614号
[7] Brewka，G.：首选子理论：默认推理的扩展逻辑框架，inProc。第11届国际人工智能联合会议，密歇根州底特律，1989年·Zbl 0713.68053号
[8] Brewka，G.：《非单调推理：常识的逻辑基础》，剑桥大学出版社，剑桥，1991年·兹比尔0723.68099
[9] Delgrade，J.P.和Jackson，W.K.：《程序》中重新审视了默认逻辑。第二届知识表示与推理国际会议，马萨诸塞州剑桥市，1991年·兹比尔0760.003008
[10] Junker，U.和Brewka，G.：处理TMS中的部分排序默认值，inProc。第一届欧洲不确定性符号和定量方法会议，法国马赛，1991年。
[11] Kobsa，A.：SB-ONE知识表示工作台，《语义网络的形式方面研讨会预印本》，加利福尼亚州两港，1989年。
[12] Lifschitz，V.：《计算范围》，《程序》。第九届国际人工智能联合会议，加利福尼亚州洛杉矶，1985年。
[13] Mays，E.和Dionne，B：使KR系统有用，《术语逻辑用户研讨会》，Proc。，KIT-报告95，TU，柏林，1991年，第11-12页。
[14] MacGregor，R.：利益声明，收录于K.von Luck，B.Nebel和C.Peltason（编辑），利益声明第二届国际术语逻辑研讨会，文件D-91-13，DFKI Kaiserslautern，1991年。
[15] Ginsberg，M.L.（编辑），《非单调推理阅读》，Morgan Kaufmann，Los Altos，CA，1987年。
[16] ?BACK，系统演示，《术语逻辑用户研讨会》，程序。，KIT-报告95，TU，柏林，1991年，第186页。
[17] Padgham，L.和Nebel，B.：结合分类和非单调继承推理：第一步，摘自Z.W.Ras和J.Komorowski（eds），《智能系统方法论》（ISMIS’93），荷兰北部，阿姆斯特丹，1993年。
[18] Peltason，C.，v.Luck，K.和Kindermann，C.（组织）：术语逻辑用户研讨会，Proc。，KIT报告95，TU，柏林，1991年。
[19] Reiter，R.：默认推理逻辑，《人工智能》13（1-2）（1980），81-132·兹伯利0435.68069 ·doi:10.1016/0004-3702（80）90014-4
[20] Reiter，R.和Criscuolo，G.：关于交互默认值，inProc。第七届国际人工智能联合会议，1981年。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。