×
马塞洛·芬格;桑德罗·普雷托

可能部分正确：Łukasiewicz无穷值概率逻辑和相关主题的可满足性。 （英语） Zbl 1468.68200号

J.自动化。推理 64，第7期，1269-1286（2020）.
摘要：我们在允许“部分真理”的背景下研究概率逻辑推理，重点研究非经典Łukasiewicz无穷值概率逻辑的计算和算法性质。特别地，我们研究了联合概率分配的可满足性，我们称之为ŁIPSAT。虽然搜索空间最初是无限的，但我们提供了线性代数方法来保证多项式大小的见证，将ŁIPSAT复杂性置于NP-complete类中。提出了一种精确的可满足性决策算法，该算法将Łukasiewicz无限值（非概率）逻辑的决策问题作为子程序，也就是NP-完全问题。我们研究了有理McNaughton函数在Łukasiewicz无穷值逻辑模可满足性中的有效表示。

引用于4文件

MSC公司：

68T20型 人工智能背景下的问题解决（启发式、搜索策略等）
03B48号 概率和归纳逻辑
03B50号 多值逻辑
03B52号 模糊逻辑；模糊逻辑
65年第68季度 算法和问题复杂性分析

关键词：

模糊逻辑;概率模糊逻辑;多值逻辑;概率多值逻辑;Łukasiewicz无穷值逻辑

软件：

LIPSAT公司
PDF格式BibTeX公司 XML格式引用
\textit{M.Finger}和\textit{S.Preto}，J.Autom。推理64，No.7，1269--1286（2020；Zbl 1468.68200）
全文： DOI程序

参考文献：

[1] 阿古佐利，S。；Mundici，D.，Weierstrass逼近定理和一个量化变量的Łukasiewicz公式，315-335（2003），海德堡：Physica-Verlag HD，海德伯格·Zbl 1046.03010号
[2] Bertsimas博士。；Tsitsiklis，J.，《线性优化导论》。雅典娜优化和神经计算科学系列（1997年），贝尔蒙特：雅典娜科学，贝尔蒙
[3] Bofill，M.，Manya，F.，Vidal，A.，Villaret，M.：在Łukasiewicz逻辑中寻找可满足性的困难实例。输入：ISMVL。IEEE，第30-35页（2015年）
[4] 布勒，G.：《思维规律研究》。麦克米伦，伦敦（1854年）。http://www.gutenberg.org/etext/15114 ·Zbl 1205.03003号
[5] Borgward，KH，《单纯形法：概率分析》。算法与组合数学（1986），柏林：施普林格出版社，柏林
[6] Bova，S。；Flaminio，T.，Łukasiewicz评估的一致性为NP-完全，国际期刊近似原因。，51, 3, 294-304 (2010) ·Zbl 1201.68117号 ·doi:10.1016/j.ijar.2009.10.002
[7] Cignoli，R。；德奥塔维亚诺，I。；Mundici，D.，多值推理的代数基础。《逻辑趋势》（2000），柏林：施普林格出版社，柏林·Zbl 0937.06009
[8] 德菲内蒂，B.：《公共视野：逻辑的自我，源于主体》（1937）·兹标0017.07602
[9] de Finetti，B.，Sul对soggettivo della概率的意义，Fundam。数学。，17, 1, 298-329 (1931) ·doi:10.4064/fm-17-1-298-329
[10] de Finetti，B.，《概率论：一种关键的介绍性治疗》。安东尼奥·马西和阿德里安·史密斯翻译（2017），霍博肯：霍博肯·威利·Zbl 1375.60008号
[11] Eckhoff，J.：Helly、Radon和Caratheodory类型定理。摘自：Gruber，P.M.，Wills，J.M.（编辑）《凸几何手册》，第389-448页。爱思唯尔科学出版社（1993）·Zbl 0791.5209号
[12] 埃斯特娃，F。；戈多，L。；Montagna，F.，《（Pi）和（Pi frac{1}{2}）逻辑：连接Łukasiewicz和产品逻辑的两个完整模糊系统》，Arch。数学。逻辑，40，1，39-67（2001）·Zbl 0966.03022号 ·doi:10.1007/s001530050173
[13] Finger，M.，Bona，G.D.：概率可满足性：基于逻辑的算法和相变。收录：Walsh，T.（编辑）IJCAI，IJCAI/AAAI，第528-533页（2011年）
[14] 手指，M。；De Bona，G.，概率可满足性：存在和不存在相变的算法，AMAI，75，3，351-379（2015）·Zbl 1347.68331号 ·doi:10.1007/s10472-015-9466-6
[15] 手指，M。；普雷托，S。；Galmiche，D。；舒尔茨，S。；Sebastiani，R.，《可能有一半是真的：关于Łukasiewicz无限值逻辑的概率可满足性》，《自动推理》，194-210（2018），查姆：斯普林格，查姆·Zbl 1468.68199号
[16] Georgakopoulos，G。；卡夫瓦迪亚，D。；Papadimitriou，CH，概率可满足性，J.Complex。，4, 1, 1-11 (1988) ·Zbl 0647.68049号 ·doi:10.1016/0885-064X（88）90006-4
[17] Gerla，B.，RationalŁukasiewicz逻辑和DMV代数，神经网络。世界，11，6，579-594（2001）
[18] Hähnle，R。；Börger，E。；Kleine Büning，H。；里希特，MM；Schönfeld，W.，《面向多值逻辑的高效表格证明程序》，《计算机科学逻辑》，248-260（1991），海德堡：施普林格，海德伯格·Zbl 0791.68149号
[19] Hansen，P。；Jaumard，B.，最大可满足性问题的算法，计算，44279-303（1990）·Zbl 0716.68077号 ·doi:10.1007/BF02241270
[20] Hansen，P.，Jaumard，B.：概率可满足性。参见：《可推迟推理和不确定性管理系统手册》，第5卷，第321页。斯普林格（2000）·Zbl 1015.68198号
[21] 卡夫瓦迪亚，D。；Papadimitriou，CH，推理概率的线性规划方法，AMAI，1199-205（1990）·Zbl 0878.68034号 ·doi:10.1007/BF01531078
[22] McNaughton，R.，关于无限值句子逻辑的一个定理，J.Symb。逻辑，16，1-13（1951）·Zbl 0043.00901号 ·doi:10.2307/2268660
[23] Mundici，D.，多值句子逻辑中的可满足性是NP-完全的，Theor。计算。科学。，52, 1-2, 145-153 (1987) ·Zbl 0639.03042号 ·doi:10.1016/0304-3975（87）90083-1
[24] Mundici，D.，无限值逻辑中McNaughton定理的构造性证明，J.Symb。逻辑，59,2596-602（1994）·Zbl 0807.03012号 ·doi:10.2307/2275410
[25] Mundici，D.，《无限值事件的簿记》，国际期刊近似推理。，43, 3, 223-240 (2006) ·Zbl 1123.03011号 ·doi:10.1016/j.ijar.2006.04.004
[26] Mundici，D.，高级Łukasiewicz微积分和MV-代数。《逻辑趋势》（2011），《多德雷赫特：施普林格》，多德雷希特·Zbl 1235.03002号
[27] Nilsson，N.，概率逻辑，Artif。智力。，28, 1, 71-87 (1986) ·Zbl 0589.03007号 ·doi:10.1016/0004-3702（86）90031-7
[28] Papadimitriou，C。；Steiglitz，K.，《组合优化：算法和复杂性》（1998），纽约：多佛，纽约·Zbl 0944.90066号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。