LIPSAT公司 swMATH编号： 28633 软件作者： 手指，马塞洛；Preto，桑德罗 描述： 可能有一半是真的：关于Łukasiewicz无穷值逻辑的概率可满足性。我们在允许“部分真理”的背景下研究概率逻辑推理，重点关注非经典Łukasiewicz无限值概率逻辑的计算和算法特性。特别地，我们研究了联合概率分配的可满足性，我们称之为LIPSAT。虽然搜索空间最初是无限的，但我们提供了线性代数方法来保证多项式大小的见证，将LIPSAT复杂性置于NP-complete类中。提出了一种精确的可满足性决策算法，该算法将Łukasiewicz无限值（非概率）逻辑的决策问题作为子程序，也就是NP-完全问题。我们开发了所述算法的实现，并讨论了这些实现的相变行为的经验存在。 主页： https://link.springer.com/chapter/10.1007%2F978-3-319-94205-6_14 相关软件： 超小卫星;玲玲;Yices公司;SCIP公司 引用于： 6文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 可能有一半是真的：关于Łukasiewicz无穷值逻辑的概率可满足性。 Zbl 1468.68199号马塞洛·芬格;桑德罗·普雷托 2018 3位作者引用 4 马塞洛·芬格 3 桑德罗·普雷托 2 丹尼尔·蒙迪奇 引用于3个系列 1 人工智能 1 应用数学进展 1 自动推理杂志 在5个字段中引用 5 数学逻辑和基础（03-XX） 3 计算机科学（68至XX） 2 概率论与随机过程（60-XX） 1 阶、格、有序代数结构（06-XX） 1 测量和集成（28-XX） 按年份列出的引文