克里斯托夫·贝尔;克里斯蒂安·艾奇霍恩;Kern Isberner，加布里埃尔;史蒂文·库奇 由极小模型类诱导的怀疑、弱怀疑和轻信推理的性质和相互关系。 （英语） Zbl 1519.68245号 Artif公司。智力。 297，文章ID 103489，27 p.（2021）. 摘要：基于条件知识库定义非单调推理关系有多种方法。公理系统P是这种似是而非单调推理的一个重要标准，从系统Z或c表示获得的推理关系已经被设计出来，通过选择推理的首选模型来超越系统P。对于任何一类模型（M），我们提出了弱怀疑推理的概念，该概念首次在本文修订和扩展的ECAI会议论文中引入，它介于关于M的怀疑推理和轻信推理之间。弱怀疑c-推理适当地扩展了怀疑c-推断，但避免了过于自由轻信c-推理的缺点。我们扩展了怀疑、弱怀疑和轻信c-推理模式的概念，通过考虑从不同的极小性标准获得的模型。我们说明了所获得的推理关系的有用性，并表明它们满足了为非单调推理所提出的各种理想性质。此外，考虑到不同的推理模式和各类最小模型，我们详细阐述了推理关系之间的相互关系。 引用于7文件 MSC公司： 68T27型 人工智能中的逻辑 68立方英尺 知识表示 关键词：条件逻辑;非单调逻辑;排序函数;推理模式;弱怀疑推理;c推断;最小模型 PDF格式BibTeX公司 XML格式引用 \textit{C.Beierle}等人，Artif。智力。297，文章ID 103489，27 p.（2021；Zbl 1519.68245） 全文： 内政部 参考文献： [1] 亚当斯，欧内斯特·W·亚当斯，《概率与条件逻辑》（Hintikka，J.；Suppes，P.，《归纳逻辑方面》（1966），北荷兰人：北荷兰阿姆斯特丹），265-316·Zbl 0202.30001号 [2] 亚当斯，欧内斯特·W·亚当斯，《条件逻辑：概率在演绎逻辑中的应用》，综合图书馆（1975），施普林格科学+商业媒体：施普林格科技+商业媒体，荷兰多德雷赫特·Zbl 0324.02002号 [3] 克里斯托夫·拜尔勒；克里斯蒂安·艾奇霍恩；克恩·伊斯伯纳（Kern-Isberner），加布里埃尔（Gabriele），基于c表示的怀疑推理及其作为约束满足问题的特征，（Gyssens，M.；Simari，G。R.，《信息和知识系统基础——第九届国际研讨会论文集》。信息和知识系统基础——第九届国际研讨会论文集，2016年3月7日至11日，奥地利林茨，FoIKS 2016。信息和知识系统基础——第九届国际研讨会论文集。信息和知识系统基础——第九届国际研讨会论文集，FoIKS 2016，奥地利林茨，2016年3月7日至11日，LNCS，第9616卷（2016），Springer），65-82·兹比尔1475.68377 [4] 克里斯托夫·拜尔勒；克里斯蒂安·艾奇霍恩；加布里埃尔·克恩·伊斯伯纳；库奇（Kutsch）、史蒂文（Steven）、怀疑论者、弱怀疑论者和基于首选排名函数的轻信推理（Kaminka，Gal A.；福克斯（Fox）、玛丽亚（Maria）；布奎特（Bouquet）、保罗（Paolo；van Harmelen，Frank，《第22届欧洲人工智能会议论文集》。第22届欧洲人工智能会议论文集，ECAI-2016。第22届欧洲人工智能会议论文集。《第22届欧洲人工智能会议论文集》，ECAI-2016，《人工智能与应用前沿》，第285卷（2016），IOS出版社，1149-1157·Zbl 1403.68253号 [5] 克里斯托夫·拜尔勒；克里斯蒂安·艾奇霍恩；加布里埃尔·克恩·伊斯伯纳；Steven Kutsch，条件知识库的怀疑c-推理的性质及其作为约束满足问题的实现，Ann.Math。Artif公司。智力。，83, 3-4, 247-275 (2018) ·Zbl 1448.68397号 [6] 克里斯托夫·拜尔勒；克里斯蒂安·艾奇霍恩；Steven Kutsch，《定性推理与首选排名模型的实际比较》，Künstl。智力。，31，1，41-52（2017） [7] 克里斯托夫·拜尔勒；Haldimann，Jonas，关于系统P-蕴涵的条件知识库的范式，（Herzig，Andreas；Juha Kontine，《信息和知识系统基础——第十一届国际研讨会论文集》。信息和知识系统基础——第十一届国际研讨会论文集，2020年2月17日至21日，德国多特蒙德，FoIKS 2020。信息和知识系统基础——第十一届国际研讨会论文集。信息和知识系统基础——第十一届国际研讨会论文集，FoIKS 2020，德国多特蒙德，2020年2月17日至21日，LNCS，第12012卷（2020），斯普林格），22-41·Zbl 1456.68184号 [8] 克里斯托夫·拜尔勒；克恩·伊斯伯纳，G。；Södler，K.，使用约束逻辑编程计算序数条件函数的声明性方法， （第19届国际声明程序设计和知识管理应用会议，2011年INAP，第25届逻辑程序设计研讨会《声明式编程和知识管理的应用》，INAP 2011，第25届逻辑编程研讨会。第19届国际声明性程序设计和知识管理应用会议，2011年INAP，第25届逻辑程序设计研讨会，2011年WLP，奥地利维恩，LNAI，第7773卷（2013），斯普林格出版社，175-192，修订论文集 [9] 克里斯托夫·拜尔勒；凯恩·伊斯伯纳，加布里埃尔，《非单调逻辑和概率逻辑的语义研究》，《数学年鉴》。Artif公司。智力。，65, 2-3, 123-158 (2012) ·Zbl 1280.68245号 [10] 克里斯托夫·拜尔勒；Kutsch，Steven，由智能代理实现的排序模型集诱导的非单调怀疑推理关系的计算和比较，应用。智力。，49、1、28-43（2019年1月） [11] 克里斯托夫·拜尔勒；史蒂文·库奇（Steven Kutsch）；Obergrusberger，Andreas，《基于默认规则集首选模型的c-推理关系之间的相互关系》，（Rus，Vasile；Zdravko Markov，第三十届国际佛罗里达人工智能研究会会议记录。第三十届国际佛罗里达人工智能研究会会议记录，2017年5月22日至24日，美国佛罗里达州马可岛，FLAIRS 2017，AAAI出版社，724-729 [12] 克里斯托夫·拜尔勒；史蒂文·库奇（Steven Kutsch）；Sauerwald，Kai，计算诱导非单调推理关系的静态和演化条件知识库的编译，《数学年鉴》。Artif公司。智力。，87, 1-2, 5-41 (2019) ·Zbl 1452.68179号 [13] Benferhat，S。；Dubois，D。；Prade，H.，表示可能性逻辑中的默认规则，（第三届知识表示和推理原则国际会议论文集。第三届知识表示和推理原则国际会议论文集，KR'92（1992）），673-684 [14] Benferhat，S。；Dubois，D。；Prade，H.，条件知识库的可能性和标准概率语义，J.Log。计算。，9, 6, 873-895 (1999) ·Zbl 0945.68166号 [15] Benferhat，S。；Dubois，D。；Prade，H.，《例外容忍推理中无关性的可能性处理》，《数学年鉴》。Artif公司。智力。，35, 29-61 (2002) ·Zbl 1001.68139号 [16] Salem Benferhat；克劳德特·凯罗尔（Claudette Cayrol）；迪迪埃·杜布瓦（Didier Dubois）；杰罗姆·朗；Prade，Henri，《不一致性管理和基于句法的优先隐含》（第十三届国际人工智能联合会议论文集，第1卷）。《第十三届国际人工智能联合会议论文集》，第1卷，IJCAI'93，旧金山，加利福尼亚州，美国（1993），Morgan Kaufmann出版社），640-647 [17] Bochman，A.，《非单调推理和信念改变的逻辑理论》，人工智能（2001），Springer:Springer Berlin，Heidelberg，New York·Zbl 0977.03001号 [18] 卡尔森，M。；奥托森，G。；Carlson，B.，《开放式有限域约束求解器》，（Glaser，H.；Hartel，P.H.；Kuchen，H.，《编程语言：实现、逻辑和程序》，PLILP’97。程序设计语言：实现、逻辑和程序。《编程语言：实现、逻辑和程序》，PLILP'97，LNCS，第1292卷（1997年），施普林格出版社，191-206 [19] de Finetti、Bruno、La prévision、ses lois logiques et ses sources subjectives、Ann.Inst.Henri Poincaré。（Kyburg，H.；Smokler，H.E.，《主观概率研究》（1974年），威利父子公司：威利父女公司纽约），第7、1、93-158页（1937年），英文翻译·Zbl 0017.07602号 [20] Delgrade，J。；Pelletier，F.J.，默认推理中的形式相关性，Erkentnis，49，137-173（1998）·Zbl 0957.03006号 [21] Dubois，D。；Prade，H.，作为非单调结果关系的条件对象，条件事件代数专题。条件事件代数专刊，IEEE Trans。系统。人类网络。系统。，24, 12, 1724-1740 (1994) ·Zbl 1371.03041号 [22] 莫伊斯·戈德斯密特；Pearl，Judea，默认推理、信念修正和因果建模的定性概率，Artif。智力。，84, 1-2, 57-112 (1996) ·Zbl 0962.68161号 [23] Jonas Haldimann；安娜·奥西亚克；Beierle，Christoph，《使用定性条件逻辑进行生物医学应用中的建模和推理》，（Schmid，Ute；Klügl，Franziska；Wolter，Diedrich，KI 2020：人工智能进展——第43届德国人工智能会议论文集。《KI 2020：人工智能的进展——第43届德国人工智能会议论文集》，德国班贝格，2020年9月21日至25日。《KI 2020：人工智能的进展——第43届德国人工智能会议论文集》，KI 2020年：《人工智能的发展——第43次德国人工智能大会论文集》（德国班贝格，2020年9月21日至25日），LNCS，第12325卷（2020），斯普林格，283-289 [24] 霍桑，J。；Makinson，D.，《不确定性推理规则的定量/定性分水岭》，研究日志。，86, 2, 247-297 (2007) ·Zbl 1130.03022号 [25] Kern Isberner，Gabriele，非单调推理中的条件和信念修正-将条件视为代理，计算机科学讲义，第2087卷（2001年），施普林格科学+商业媒体：施普林格科学+商业媒体柏林，德国·Zbl 0978.03014号 [26] Kern-Isberner，Gabriele，《在不确定推理和信念修正中充分处理条件句》，J.Appl。非类别。日志。，12, 2, 215-237 (2002) ·Zbl 1106.68410号 [27] 凯恩·伊斯伯纳，加布里埃尔，《信念修正中条件保留原则的彻底公理化》，《数学年鉴》。Artif公司。智力。，40, 127-164 (2004) ·Zbl 1067.68141号 [28] 加布里埃尔·克恩·伊斯伯纳；克里斯托夫·拜尔勒；Brewka，Gerhard，语法分裂=相关性+独立性：基于条件信念基础的非单调推理的新假设，（Calvanee，Diego；Erdem，Esra；Michael Thielscher，《知识表示和推理原则：第17届国际会议论文集》。知识表示和推理原则：第17届国际会议论文集，KR 2020（2020），IJCAI组织），560-571 [29] 加布里埃尔·克恩·伊斯伯纳；Christian Eichhorn，《条件推理的结构基础》（Barkowsky，Thomas；Ragni，Marco；斯托尔森伯格，弗里德，《人类推理和自动演绎》，第35届德国人工智能会议研讨会。人类推理和自动演绎，第35届德国人工智能会议研讨会，KI-2012（2012））·Zbl 1359.03028号 [30] 加布里埃尔·克恩·伊斯伯纳；艾希霍恩，基督徒；安德胡伯，马蒂亚斯；Schurz，Gerhard，《基于条件知识库的结构推理》，《逻辑与概率：不确定环境中的推理》。逻辑与概率：不确定环境中的推理，研究日志。，102、4、751-769（2014），Springer Science+Business Media，荷兰多德雷赫特·Zbl 1359.03028号 [31] 科莫（Christian Komo）；Beierle，Christoph，基于世界偏好结构的定性条件句的非单调推理，（Schmid，Ute；Klügl，Franziska；Wolter，Diedrich，KI 2020：人工智能进展——第43届德国人工智能会议）。KI 2020：人工智能进展——第43届德国人工智能会议，德国班贝格，2020年9月21日至25日，会议记录。KI 2020：人工智能的进展——第43届德国人工智能会议。KI 2020；人工智能的发展——第43次德国人工智能大会，德国班贝格，2020年9月21日至25日，《LNCS学报》，第12325卷（2020），斯普林格），102-115·Zbl 1519.68253号 [32] 科莫（Christian Komo）；Beierle，Christoph，有限域约束在条件知识库上实现怀疑c-推理的上下限，（国际人工智能与数学研讨会，国际人工智能和数学研讨会，ISAIM 2020，美国佛罗里达州劳德代尔堡，2020年1月6-8日） [33] 克劳斯，萨里特；丹尼尔·莱曼。；Magidor，Menachem，非单调推理，优先模型和累积逻辑，Artif。智力。，44, 1-2, 167-207 (1990) ·Zbl 0782.03012号 [34] 史蒂文·库奇（Steven Kutsch）；Beierle，Christoph，定性条件的语义分类和非单调推理关系闭包的计算，国际近似推理杂志。，130, 297-313 (2021) ·Zbl 1487.68219号 [35] 莱曼，D。；Magidor，M.，有条件知识库需要什么？，Artif公司。智力。，55, 1-60 (1992) ·Zbl 0762.68057号 [36] Lewis，D.，《反事实》（1973），哈佛大学出版社：哈佛大学出版社，马萨诸塞州剑桥·Zbl 0989.03003号 [37] Lukasiewicz，Thomas，弱非单调概率逻辑，Artif。智力。，168，1-2119-161（2005年）·Zbl 1132.68737号 [38] David Makinson，《非单调推理中的一般模式》（Gabbay，Dov M.；Hogger，C.J.；Robinson，J.A.，《人工智能和逻辑编程中的逻辑手册》，第3卷（1994），牛津大学出版社），35-110·Zbl 0810.68005号 [39] Obergrusberger，Andreas，《使用最小排序函数从定性条件推断的约束逻辑方法》（2017），哈根费尔恩大学计算机科学系：德国哈根费尔恩大学计算机系，理科硕士论文 [40] Parikh、Rohit、Beliefs、信念修正和分裂语言（逻辑、语言和计算，第2卷（1999年）），266-278·Zbl 0963.03023号 [41] 朱迪娅·珀尔（Judea Pearl），《智能系统中的概率推理》（1988），摩根·考夫曼（Morgan Kaufmann）：摩根·考夫曼-圣马特奥（Morgan-Kaufman San Mateo），加利福尼亚州·Zbl 0649.68104号 [42] Pearl，Judea，System Z：默认值的自然排序及其对非单调推理的易处理应用，（Parikh，Rohit，《关于知识推理的理论方面的第三届会议论文集》，TARK1990，加利福尼亚州旧金山，美国（1990），摩根考夫曼出版公司），121-135 [43] 佩帕斯，帕夫洛斯；玛丽·安妮·威廉姆斯；萨米尔·乔普拉；Foo，Norman Y.，信念修正的相关性，人工制品。智力。，229，1-2126-138（2015）·Zbl 1344.68223号 [44] Spohn，Wolfgang，序贯条件函数：认知状态的动态理论，（Harper，W.L.；Skyrms，B.，《决策中的因果关系、信念变化和统计学》，II（1988），Kluwer学术出版社），105-134 [45] 保罗·D·索恩（Paul D.Thorn）。；克里斯蒂安·艾奇霍恩；加布里埃尔·克恩·伊斯伯纳；Schurz，Gerhard，例外子类默认继承的定性概率推断，（Beierle，Christoph；Kern-Isberner，Gabriele；Ragni，Marco；Stolzenburg，Frieder，《第五届知识与信仰动力学研讨会论文集》（DKB-2015）和第四届KI&Kognition研讨会（KIK-2015）与第38届德国人工智能会议（KI-2015）联合举办。第五届知识与信仰动力学研讨会（DKB-2015）和第四届KI&Kognition研讨会（KIK-2015）会议记录，与第38届德国人工智能会议（KI-2015）合办，《欧洲城市研究中心研讨会记录》，第1444卷（2015）） 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。