boolean formulas | BriefGPT

关键词boolean formulas

搜索结果 - 8

实践中的短布尔公式解释
考虑使用简短的布尔公式对数据模型进行可解释性分析，得出适当长度的解释公式，避免过度拟合但仍然准确且人类可解释。
PDFa year ago
运用表达性布尔公式的可解释人工智能
本研究提出并实现了一种基于表达式布尔公式的可解释人工智能分类模型，适用于信用评分和医学诊断等领域，该分类器使用原生本地优化技术进行训练。
PDFa year ago
使用最小校正子集精确和近似确定 Pareto 集
本文介绍了一种利用极小修正集 (Minimal Correction Subsets) 枚举解决多目标布尔优化 (MOBO) 问题的方法，并提出了两个新算法来寻找 Pareto 前沿的近似解，实验结果证明这些新算法比现有的算法更加优秀且精度
PDF2 years ago
量化布尔逻辑中的文字及其在可解释 AI 中的应用
本文详细研究了量化可布尔逻辑以及其存在量化和全称量化变量的相关应用，特别是在可解释人工智能方面的应用，提出了一种新的量化语义，并探讨了变量 / 文字与存在性 / 普遍性量化之间的相互作用。此外，我们还确定了一些布尔公式和电路类别，其中量化可
PDF3 years ago
布尔公式解空间中的最短重构路径
本研究研究了用 flip 操作实现布尔公式中一个满足赋值到另一个满足赋值的最短转换问题的复杂度，结果表明该问题的复杂度可能为 P、NP-complete 或 PSPACE-complete。
PDF10 years ago
MMAspartame：用答案集编程解决约束满足问题
通过 ASP，开发了一种替代的基于一阶编码的方法，提供了高度的灵活性来轻松尝试不同的实现，并将结果与基于布尔公式和现代 SAT 求解器的先前方法进行了比较。
PDF11 years ago
精确模型计数的下界及在概率数据库中的应用
本文研究了用于准确计算布尔公式的确定性决策图 (d-DNNF) 表示法，将其转换为自由二叉决策图 (FBDD) 用于提供计算上限，并证明了决策 - DNNF 的指数下限，从而提高了关联概率数据库的计算效率。
PDF11 years ago
结构性概率建模的案例因子图
本文提出了一个子级概率形式，该形式纳入了有限树宽的马尔可夫随机场和概率上下文无关语法。该模型基于我们称之为情况 - 因素图 (CFDs) 的布尔公式表示。我们给出了一种 inside-outside 算法，用于同时计算每个布尔变量的边际
PDF12 years ago