迪迪埃·杜布瓦;路易斯·戈多;亨利·普拉德 一种基本的信念函数逻辑。 （英语） 兹比尔07757223 J.应用。非类别。日志。 33，编号3-4，582-605（2023）. 摘要：非加性不确定性理论，特别是可能性理论、信念函数和不精确概率与模态逻辑有一个共同的特征：可能性和必然性测度之间的对偶性，信念和似然函数以及上下概率之间的关系将可能性和必然性模式之间的二重性扩展到了分级环境中。研究表明，最小认知逻辑（MEL）可以准确地捕获可能性理论的全或无版本，该逻辑使用KD模态逻辑的极小片段，而无需诉诸关系语义。独立地，通过使用Łukasiewicz逻辑将模态逻辑S5扩展到概率分级模态（尽管使用了关系语义），获得了信念函数逻辑。本文表明，通过在MEL之上添加Łukasiewicz逻辑，可以设计出更简单的信念函数逻辑。它允许在Shafer基本概率赋值方面使用更自然的语义。 引用于1文件 MSC公司： 03年XX月 数学逻辑和基础 关键词：模态逻辑;MEL公司;Łukasiewicz模糊逻辑;信念函数;可能性逻辑 PDF格式BibTeX公司 XML格式引用 \textit{D.Dubois}等人，J.Appl。非类别。日志。33，编号3--4，582--605（2023；Zbl 07757223） 全文： 内政部 arXiv公司 OA许可证 参考文献： [1] Banerjee，M.和Dubois，D.（2009年）。一种简单的模态逻辑，用于推理揭示的信念。在C.Sossai和G.Chemelo（编辑）中，第十届欧洲不确定性推理符号和定量方法会议记录（ECSQARU'09）（第805-816页）。LNAI 5590。斯普林格·Zbl 1245.03019号 [2] 班纳吉，M。；Dubois，D.，《不完全知识推理的简单逻辑》，《国际近似推理杂志》，55，2，639-653（2014）·Zbl 1316.68151号 ·doi:10.1016/j.ijar.2013.11.003 [3] Banerjee，M.、Dubois，D.和Godo，L.（2014）。不完全信息逻辑的可能性语义与关系语义。在A.Laurent等人（编辑）中，第十五届国际知识系统不确定性信息处理和管理会议记录（IPMU’14），第一部分：第442卷。CCIS公司（第335-344页）。斯普林格·Zbl 1419.03018号 [4] 班纳吉，M。；Dubois，D。；戈多，L。；Prade，H.，《关于可能性逻辑与信念和知识的模态逻辑之间的关系》，《应用非经典逻辑杂志》，27，3-4，206-224（2017）·Zbl 1398.03128号 ·网址：10.1080/11663081.2018.1439357 [5] 贝纳德博士。；Kohlas，J.，基于一般结果关系的证据理论，《国际计算机科学基础杂志》，（6，2，119-135（1995））·Zbl 0830.68112号 ·doi:10.1142/S0129054195000093 [6] Chang，C.C.，多值逻辑的代数分析，美国数学学会学报，88，2，467-490（1958）·Zbl 0084.00704号 ·doi:10.1090/tran/1958-088-02 [7] Chang，C.C.，Łukasiewicz公理完备性的新证明，美国数学学会学报，93，1，74-90（1959）·Zbl 0093.01104号 [8] 查塔利奇博士。；Dubois，D。；Prade，H.，《基于Dempster组合规则的近似推理方法》，《国际专家系统、研究与应用杂志》，（1，1，67-85（1987）） [9] Cholvy，L.，走向逻辑信念函数理论，应用逻辑杂志，13，4，441-457（2015）·Zbl 1378.03013号 ·doi:10.1016/j.jal.2014.12.002 [10] Cignoli，R。；D’Ottaviano，I.M.L。；Mundici，D.，多值推理的代数基础（2000），Kluwer·Zbl 0937.06009 [11] 辛图拉，P。；埃斯特娃，F。；Gispert，J。；戈多，L。；蒙塔格纳，F。；Noguera，C.，《基于t-范数的模糊逻辑的区别代数语义：方法和代数等价性》，《纯逻辑和应用逻辑年鉴》，160，1，53-81（2009）·Zbl 1168.03052号 ·doi:10.1016/j.apal.2009.012 [12] 辛图拉，P。；Fermüller，C。；Noguera，C.，《数学模糊逻辑手册》第3卷，《逻辑研究》（2016年），大学出版物 [13] 辛图拉，P。；哈耶克，P。；Noguera，C.，《数学模糊逻辑手册》第1卷，《逻辑研究》（2011年），大学出版物·Zbl 1283.03002号 [14] 辛图拉，P。；哈耶克，P。；Noguera，C.，《数学模糊逻辑手册》第2卷，《逻辑研究》（2011年），大学出版物·Zbl 1283.03002号 [15] Cintula，P.和Noguera，C.（2014）。具有两层语法的不确定性模态逻辑：一般完备性定理。在U.Kohlenbach等人（编辑）中，逻辑、语言、信息和计算（WoLLIC 2014）（第124-136页）。计算机科学讲义，第8652卷。斯普林格·Zbl 1429.03079号 [16] de Finetti，B.，《公共视野：ses lois logiques，ses sources subjectives》，《亨利·彭加莱年鉴》，（7，1，1-68（1937） [17] Dempster，A.P.，多值映射诱导的上下概率，《数理统计年鉴》，38，325-339（1967）·Zbl 0168.17501号 ·doi:10.1214/网址/1177798950 [18] Dubois，D.、Lang，J.和Prade，H.（1994年）。可能性逻辑。在D.M.Gabbay、C.J.Hogger、J.A.Robinson和D.Nute（编辑）中，人工智能和逻辑编程逻辑手册（第3卷，第439-513页）。牛津大学出版社。 [19] Dubois，D。；Prade，H.，《可能性理论：计算机处理不确定性的方法》（1988），Plenum出版社·Zbl 0703.68004号 [20] Dubois，D.和Prade，H.（2014）。可能性逻辑——概述。在D.Gabbay、J.Siekmann和J.Woods（编辑）中，逻辑史手册，第9卷：计算逻辑（第283-342页）。爱思唯尔·Zbl 1404.03008号 [21] Dubois，D。；普拉德，H。；Schockaert，S.，《广义可能性逻辑：关于不确定性定性推理的基础和应用》，《人工智能》，252139-174（2017）·Zbl 1419.68110号 ·doi:10.1016/j.artint.2017.08.001 [22] Flaminio，T.，《模糊逻辑的强非标准完备性》，软计算，12，321-333（2008）·Zbl 1132.03332号 ·doi:10.1007/s00500-007-0184-9 [23] 弗拉米尼奥，T。；Godo，L.，《模糊事件概率推理逻辑》，《模糊集与系统》，158，6，625-638（2007）·Zbl 1116.03018号 ·doi:10.1016/j.fs.2006.11.008 [24] Flaminio，T.、Godo，L.和Marchioni，E.（2011年）。关于模糊事件不确定性的推理：综述。在P.Cintula等人（编辑）中，理解模糊性——逻辑、哲学和语言视角（第367-400页）。学院出版物·Zbl 1275.03103号 [25] Gödel，K.，Zum直觉主义者aussagenkalkül，Anzieger Akademie Der Wissenschaften Wien，69，65-66（1932） [26] Godo，L.、Hájek，P.和Esteva，F.（2001）。信念函数的模糊模态逻辑。在2001年国际JCAI会议记录（第723-732页）。摩根·考夫曼·Zbl 1044.03009号 [27] 戈多，L。；哈耶克，P。；Esteva，F.，信念函数的模糊模态逻辑，信息学基础，57，2-4，127-146（2003）·Zbl 1044.03009号 [28] Hájek，P.，《模糊逻辑的元数学》（1998），Kluwer Academy Publishers出版社·Zbl 0937.03030号 [29] Hájek，P.、Godo，L.和Esteva，F.（1995）。模糊逻辑和概率。在第十一届人工智能不确定性会议记录（UAI’95）（第237-244页）。摩根·考夫曼。 [30] Hàjek，P.、Harmancovà，D.、Esteva，F.、Garcia，P.和Godo，L.（1994年）。模糊环境中定性可能性的模态逻辑。在第十届人工智能不确定性会议记录（UAI'94）（第278-285页）。摩根·考夫曼。 [31] Halpern，J.Y.，《关于不确定性的推理》（2003），麻省理工学院出版社·Zbl 1090.68105号 [32] Harmanec，D。；Hájek，P.，《定性信念逻辑》，《国际不确定性、模糊性和基于知识的系统杂志》，（227-236（1994））·Zbl 1232.68112号 ·doi:10.1142/S021848859400171 [33] Harmanec，D。；Klir，G。；Resconi，G.，《关于Demspter-Shafer证据理论的模态逻辑解释》，《国际智能系统杂志》，（9941-951（1994））·兹伯利0834.68106 ·doi:10.1002/（ISSN）1098-111X [34] Hintikka，J.，《知识与信仰》。《两个概念的逻辑导论》（1962年），康奈尔大学出版社 [35] Łukasiewicz，J.（1930）。命题逻辑多值系统的哲学评述（选集重印，博尔科夫斯基主编，第153-179页）。学习逻辑和数学基础。霍兰德北部。 [36] Montagna，F.（2006）。关于Łukasiewicz、Product和BL逻辑及其一阶扩展的强完整性的说明。在S.Aguzzoli等人（编辑）中，非经典逻辑的代数和证明理论方面（第247-274页）。LNAI 4460，斯普林格·Zbl 1123.03012号 [37] Mundici，D.，高级Łukasiewicz微积分和MV-algebras（2011），Springer·Zbl 1235.03002号 [38] Pearl，J.，《智能系统中的概率推理：似是而非推理网络》（1988），摩根考夫曼出版社 [39] Pearl，J.，《带信念函数的推理：相容性分析》，《国际近似推理杂志》，（4363-389（1990））·Zbl 0706.68086号 ·doi:10.1016/0888-613X（90）90013-R [40] Provan，G.M.（1989年8月20日至25日）。基于ATMS的Dempster-Shafer信念函数计算技术分析。在N.S.Sridharan（编辑）中，第11届人工智能国际联合会议论文集（IJCAI’89）（第1115-1120页）。摩根·考夫曼·Zbl 0714.68092号 [41] Provan，G.M.，《Dempster-shafer理论在基于逻辑的视觉识别系统中的应用》，UAI，1989，389-406（1989）·Zbl 0721.68100号 [42] Provan，G.M.，《基于逻辑的Dempster-Shafer理论分析》，《国际近似推理杂志》，（4，5-6，451-495（1990））·Zbl 0706.68087号 ·doi:10.1016/0888-613X（90）90016-U [43] Rose，A。；Rosser，J.B.，多值语句计算片段，美国数学学会学报，87，1-53（1958）·Zbl 0085.24303号 ·doi:10.1090/tran/1958-087-01 [44] Ruspini，E.H.（1986年）。证据推理的逻辑基础技术说明408，SRI International。 [45] Ruspini，E.H.（1987年8月23日至28日）。认识逻辑、概率和证据演算。在第十届国际人工智能联合会议记录（IJCAI'87）（第924-931页）。摩根·考夫曼。 [46] Saffiotti，A.（1992年7月12日至16日）。一种信念函数逻辑。在William R.Swartout（编辑）中，第十届全国人工智能会议记录（第642-647页）。AAAI出版社/麻省理工学院出版社。 [47] Shafer，G.，《证据的数学理论》（1976年），普林斯顿大学出版社·Zbl 0359.62002号 [48] Smets博士（1988年）。信念功能。在Smets博士、A.Mamdani、D.Dubois和H.Prade（编辑）中，用于自动推理的非标准逻辑（第253-286页）。学术出版社。 [49] Smets，Ph.，可证明概率和置信函数，Logique Et Analyse，34133-134177-195（1991）·Zbl 0799.03029号 [50] Sossai，C.（1999年3月）。信念函数逻辑技术报告01/99，Ladseb-CNR。 [51] Sossai，C.（2000年7月）。事件和元事件。在知识型系统中不确定性的信息处理和管理第八届国际会议记录（IPMU'00）（第3-7页）。Científicas高级调查委员会。 [52] Sossai，C。；野牛，P。；Chemello，G.，机器人中符号知识和不确定性信息的融合，国际智能系统杂志，16，11，1299-1320（2001）·Zbl 1002.68785号 ·doi:10.1002/（ISSN）1098-111X [53] Sossai，C.、Bison，P.、Chemello，G.和Tranito，G.（1999年8月）。机器人定位的合并概率和可能性。在机器人导航中不确定性推理程序研讨会（RUR’99）. [54] van der Hoek，W.，论分级模态的语义，《应用非经典逻辑杂志》，\（2，1，81-123（1992）\）·Zbl 0797.03013号 [55] Walley，P.，《概率不精确的统计推理》（1991），查普曼和霍尔·Zbl 0732.62004号 [56] Wong，S.K.M。；Yao，Y.Y。；博尔曼，P。；Bürger，H.C.，定性信念结构的公理化，IEEE系统、人与控制论汇刊，21，4，726-734（1991）·Zbl 0737.60006号 ·数字对象标识代码：10.1109/21.108290 [57] Zadeh，L.A.，作为可能性理论基础的模糊集，模糊集与系统，（1,1,3-28（1978））·Zbl 0377.04002号 ·doi:10.1016/0165-0114（78）90029-5 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。