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