×
塞勒姆·本费哈特;迪迪埃·杜布瓦;亨利·普拉德

非单调推理、条件对象和可能性理论。 （英语） Zbl 1017.68539号

Artif公司。智力。 92，编号1-2，259-276（1997）.
摘要：这篇简短的论文将基于条件对象和可能性理论的推理方法与独立提出的非单调推理中的其他方法联系起来，即：，莱曼的优先和理性闭包蕴涵遵循规范假设、无穷小概率方法和基于条件（模态）逻辑的方法。尽管所有这些方法基于不同的建模框架，但在使用条件知识进行推理的能力方面，它们都是等价的。因此，它提供了对非单调结果关系的统一理解。更具体地说，条件对象是条件概率的纯粹定性对应物，它基于三值演算为优先蕴涵提供了非常简单的语义，而在可能性理论的纯序数设置中，优先蕴涵和有理闭包蕴涵都可以表示。

引用于51文件

MSC公司：

68T27型 人工智能中的逻辑
03B60号 其他非经典逻辑
68层37 人工智能背景下的不确定性推理

关键词：

合理的推理;非单调推理;可能性理论;无穷小概率;条件对象
PDF格式BibTeX公司 XML格式引用
\textit{S.Benferhat}等人，Artif。智力。92，编号1--2，259--276（1997；Zbl 1017.68539）
全文： 内政部

参考文献：

[1] Adams，E.W.（《条件逻辑》（1975），Reidel:Reidel Dordrecht）·Zbl 0324.02002号
[2] Benferhat，S.，《在可能性逻辑中处理硬规则和默认规则》（Bouchon-Meunier，B.；等，《智能计算进展》（IPMU-94）。智能计算进展（IPMU-94），计算机科学讲稿，945（1995），施普林格：施普林格柏林），302-310
[3] Benferhat，S。；Cayrol，C。；Dubois，D。；朗·J。；Prade，H.，《不一致性管理和基于句法的优先隐含》（Proceedings IJCAI-93）。会议记录IJCAI-93，Chambery（1993），640-645
[4] Benferhat，S。；Dubois，D。；Prade，H.，表示可能性逻辑中的默认规则，（第三届知识表示和推理原则国际会议论文集。第三届知识表示和推理原则国际会议论文集，马萨诸塞州剑桥（1992）），673-684
[5] 本弗哈特，S。；Dubois，D。；Prade，H.，《在可能性框架中表达独立性及其在默认推理中的应用》，（ECAI-94。ECAI-94会议记录，阿姆斯特丹（1994），150-154
[6] Benferhat，S。；Saffiotti，A。；Smets，P.，《信念函数和默认推理》，（第11届人工智能不确定性会议论文集。第11届人造智能不确定性大会论文集，魁北克省蒙特利尔（1995）），19-26·Zbl 0948.68112号
[7] Boutiler，C.，《默认推理和信念修正的条件逻辑》（博士论文（1992年），英属哥伦比亚大学计算机科学系：英属哥伦比亚温哥华大学计算机科学部）
[8] Boutiler，C。；Goldszmidt，M.，《关于条件信念集的修正》（Crocco，G.等，《条件：从哲学到计算机科学》（1995），牛津大学出版社：牛津大学出版社），267-300
[9] Brewka，G。；迪克斯·J。；Konolige，K.，《非单调推理教程》（第二届非单调和归纳逻辑国际研讨会论文集。第二届国际非单调和诱导逻辑研讨会论文集，人工智能讲义，659（1991），施普林格：施普林格柏林），1-88·Zbl 0819.68106号
[10] Cayrol，C。；Lagasquie-Schiex，M.C。；Schiex，T.，《非单调推理：从复杂性到算法》，（第四届人工智能与数学国际研讨会论文集。第四届国际人工智能与数理研讨会论文集，佛罗里达州劳德代尔堡（1996）），25-28·Zbl 0905.68142号
[11] Crocco，G.，《关联背景下的逻辑基金》（博士论文（1993），图卢兹大学：图卢兹学院）
[12] （Kyburg，J.；Smokler，H.E.，《主观概率研究》（1937），威利出版社：威利纽约），英文版·JFM 63.1070.02标准
[13] Delgrade，J。；Pelletier，F.J.，《相关性的形式》，（《1994年秋季研讨会论文集》，《1994年秋天研讨会论文集，洛杉矶新奥尔良》（1994）），40-43
[14] Dubois，D.，信念结构，可能性理论和有限集上的可分解置信测度，计算。Artif公司。智力。，5, 403-416 (1986) ·Zbl 0657.60006号
[15] Dubois，D。；朗·J。；Prade，H.，《不确定性下的定理证明——基于可能性理论的方法》（Proceedings IJCAI-87）。IJCAI-87会议记录，米兰（1987），984-986
[16] Dubois，D。；朗·J。；Prade，H.，可能性逻辑，（Gabbay，D.M.；等，《逻辑人工智能和逻辑编程手册》，3（1994），牛津大学出版社：牛津大学出版社，439-513·Zbl 0804.03017号
[17] Dubois，D。；Prade，H.，《条件作用的逻辑观及其在可能性和证据理论中的应用》，《国际近似推理》，4，23-46（1990）·Zbl 0696.03006号
[18] Dubois，D。；Prade，H.，《认识论的巩固和可能性逻辑》，Artif。智力。，50, 223-239 (1991) ·Zbl 0749.03019号
[19] Dubois，D。；Prade，H.，《可能性逻辑、优先模型、非单调性和相关问题》（Proceedings IJCAI-91）。《国际JCAI-91会议记录》，悉尼（1991），419-424·Zbl 0744.68116号
[20] Dubois，D。；Prade，H.，作为非单调结果关系的条件对象，IEEE Trans。系统。人类网络。，24, 1724-1740 (1994) ·Zbl 1371.03041号
[21] Dubois，D。；Prade，H.，条件对象、可能性理论和缺省规则，（Crocco，G.等，条件：从哲学到计算机科学（1995），牛津大学出版社：牛津大学出版社），301-336
[22] Dubois，D。；Prade，H.，可能性环境中不确定输入下的信念修正，（第12届人工智能不确定性会议论文集。第12届人工智能不确定性会议论文集，俄勒冈州波特兰（1996））
[23] 德尔·塞罗，L.Fariñas；赫齐格，A。；Lang，J.，《从基于排序的非单调推理到条件逻辑》，Artif。智力。，66, 375-393 (1994) ·Zbl 0807.68083号
[24] Gabbay，D.M.，专家系统中非单调推理的理论基础，（Apt，K.R.，并发系统的逻辑和模型（1985），Springer:Springer Berlin），439-457·Zbl 0581.68068号
[25] Gärdenfors，P.，（《流动中的知识》（1988），麻省理工学院出版社：麻省理学院出版社，马萨诸塞州剑桥）·Zbl 1229.03008号
[26] Gärdefors，P。；Makinson，D.，基于期望的非单调推理，Artif。智力。，65, 197-245 (1994) ·Zbl 0803.68125号
[27] Geffner，H.，（默认推理：因果和条件理论（1992），麻省理工学院出版社：麻省理工学院出版社，马萨诸塞州剑桥）
[28] Goldszmidt，M。；Pearl，J.，《关于理性闭包与系统Z之间的关系》，（第三届非单调推理国际研讨会论文集。第三届国际非单调推理研讨会论文集，加州南塔霍湖（1990）），130-140
[29] Goldszmidt，M。；Pearl，J.，《系统（Z^+）：可变强度默认推理的形式主义》（Proceedings AAAI-91）。美国加利福尼亚州阿纳海姆市AAAI-91会议记录（1991年），399-404
[30] Goldszmidt，M。；Pearl，J.，《定性概率推理是可以处理的》
[31] I.R.古德曼。；Nguyen，H.T。；Walker，E.A.，（智能系统的条件推理和逻辑——无测量条件理论（1991），北荷兰：北荷兰阿姆斯特丹）
[32] 克劳斯，S。；莱曼，D。；Magidor，M.，非单调推理，优先模型和累积逻辑，Artif。智力。，44, 167-207 (1990) ·Zbl 0782.03012号
[33] Lamarre，P.，遵循定理证明从单调性到非单调性的长廊，（《第三届知识表示和推理原则国际会议论文集》，马萨诸塞州剑桥市第三届国际知识表示与推理原则会议论文集（1992）），572-580
[34] J.Lang，Logique possibiliste:aspects formels，déduction automatique et applications，图卢兹保罗·萨巴蒂尔大学博士。；J.Lang，Logique possibiliste:aspects formels，déduction automatique et applications，图卢兹保罗·萨巴蒂尔大学博士学位。
[35] （《人工智能中不完全信息下的推理》（1990），威利出版社：威利纽约）
[36] Lehmann，D.，有条件知识库需要什么？，（《第一届知识表示和推理原则国际会议论文集》，安大略省多伦多（1989），第212-222页）·Zbl 0709.68104号
[37] Lehmann，D.，《默认推理的另一种观点》（1993年），耶路撒冷希伯来大学计算机科学研究所：耶路撒冷希伯莱大学计算机科学学院·Zbl 0857.68096号
[38] 莱曼，D。；Magidor，M.，有条件知识库需要什么？，Artif公司。智力。，55, 1-60 (1992) ·兹比尔0762.68057
[39] Lewis，D.L.（《反事实》（1973年），Basil Blackwell出版社：Basil Blackwell Oxford）
[40] Nebel，B.，《基本修订运算符和方案：语义表示和复杂性》（Proceedings ECAI-94。ECAI-94会议记录，阿姆斯特丹（1994），341-345
[41] Pearl，J.（智能系统中的概率推理（1988），Morgan Kaufmann:Morgan Koufmann San Mateo，CA）
[42] Pearl，J.，《系统Z：默认推理的自然排序及其可处理应用》，（《知识推理理论方面第三届会议论文集》（1990），太平洋格罗夫：加利福尼亚州太平洋格罗夫市），121-135
[43] Shoham，Y.，（《关于变革的推理》（1988），麻省理工学院出版社：麻省理学院出版社，马萨诸塞州剑桥）
[44] 斯波恩，W.，《序数条件函数：认知状态的动态理论》（Harper，W.L.；Skyrms，B.，《决定中的因果关系、信念变化和统计》（1988），克鲁沃学术出版社：克鲁沃学术出版商多德雷赫特），105-134
[45] Zadeh，L.A.，作为可能性理论基础的模糊集，模糊集系统。，1, 3-28 (1978) ·Zbl 0377.04002号
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。