BriefGPT.xyz
Ask
alpha
关键词
boolean formula
搜索结果 - 6
利用树宽及其限制条件解决投影模型计数问题
本文介绍了一种新算法来解决投影模型计数（PMC）问题，该算法利用输入实例的原始图的小树宽，并在同时考虑了指标化的树宽有理论下限的情况下，提供固定参数可解，通过使用嵌套动态规划，并在数据库技术的帮助下，可以解决树宽上限超过 200 的实例的
→
PDF
a year ago
四舍五入 meets 近似模型计数
研究了哈希算法在计算 Boolean 公式中的模型数量时，delta 值较小会对可伸缩性造成重大影响。提出了一种基于 Rounding 的新方法和一种新算法（RoundMC），用于高置信度下的估计，可以显著提高运行时性能。RoundMC 能
→
PDF
a year ago
AAAI
关于必要和充分解释的计算
本文介绍了决策的完整原因的概念和应用，并研究了其计算方法，包括多类决策树和带有名义和数值特征的图形的完整原因的计算、最短必要和充分原因算法的探讨。
PDF
2 years ago
AAAI
噪声环境下资源有限制的信息获取
研究在资源受限和嘈杂环境下信息获取的理论模型，并且探讨了针对给定布尔公式的最佳测试策略的难点及启发式方法，并给出了两个相关性较弱却值得研究的问题，即理性忽视和难以学习 / 记忆的公式的特征。
PDF
4 years ago
布尔函数综合的知识编译
研究 Boolean functional synthesis 问题中 CNF 转化为 SynNNF 的算法，并证明 SynNNF 具有多项式时间综合的优势。
PDF
5 years ago
MM
使用加权布尔公式的概率逻辑程序推理和学习
本文研究了一种具有概率注释的逻辑程序，并探讨了如何通过将程序和查询转换为加权布尔公式的方式，实现计算边际值、学习参数估计等推理任务，并通过预期最大化算法实现参数估计，实验结果证明，该方法可以提高概率逻辑编程的状态水平，并从解释中学习到程序的
→
PDF
11 years ago
Prev
Next