weighted model counting | BriefGPT

关键词weighted model counting

搜索结果 - 8

PBCounter: 伪布尔公式上的加权模型计数
基于动态规划算法框架 ADD，我们提出了一种加权伪布尔计数工具 PBCounter 来对伪布尔公式进行加权模型计数，并且通过与基于 CNF 公式的模型计数工具进行实验比较，结果显示 PBCounter 在 CNF 公式上具有更好的性能。
PDF6 months ago
对称加权一阶模型采样的提升算法
证明了一种高效的采样算法，解决了带有计数量词的一阶逻辑的两个变量片段的权重模型采样在多项式时间内可行的问题。
PDFa year ago
AAAI学习推理：利用神经网络实现近似 DNF 计数
本文提出了一种基于神经网络模型的加权 #DNF 模型计数方法，结合了近似模型计数和深度学习，可以在线性时间内准确估算模型数目，并在大规模 #DNF 实例中表现良好。
PDF5 years ago
AAAISAT 问题的分布感知抽样和加权模型计数
本文介绍了一种新的方法，使用黑箱预言机，通过 NP-Oracle 实际求解带权重赋值的模型计数问题和分布感知的满足分配的抽样问题，从而在中等规模的问题上获得了强大的理论保证。
PDF10 years ago
利用加权模型计数中的结构进行概率推断
本文提出了使用两种 SAT 编码的噪声 OR 和两种编码的噪声 MAX 的技术，以提高 Bayesian 网络的精确推理。经过实验评估，我们的技术在具有噪声 OR/MAX 关系的网络中获得了最佳效果。
PDF10 years ago
代数模型计数
介绍了代数模型计数（AMC），它是对半环结构加权模型计数（WMC）的推广。研究表明，AMC 泛化了众多领域的很多任务如概率推理，软限制和网络和数据库分析。此外，该研究还从知识编译角度研究了 AMC，并表明所有的 AMC 任务都可以使用 sd
PDF12 years ago
加权 CNF 在概率逻辑编程中的推断
本文旨在开发高效的推理算法，将概率逻辑程序和查询、证据转换为加权 CNF 公式，将推理任务视为加权模型计数，使用最先进的方法探究多种程序转换和加权 CNF 推理方法，并在实验中展示了新方法相对于现有技术的优势。
PDF12 years ago
基于启发式正向搜索和加权模型计数的概率规划
提出了一种名为 Probabilistic-FF 的新的概率规划算法，该算法结合了 Conformant-FF 的技术和加权模型计数技术，可在具有概率部分不可观测性的问题上进行推理，并在各种概率域中显示出良好的可扩展性。
PDF13 years ago