Feb, 2023
带有有向无环图公理的加权一阶模型计数
Weighted First Order Model Counting with Directed Acyclic Graph Axioms
Sagar Malhotra, Luciano Serafini
TL;DR该论文研究的是加权一阶模型计数问题 (WFOMC),主要关注于能够在多项式时间内进行 WFOMC 的逻辑片段,其中包括经过拓展的两变量一阶逻辑碎片及其衍生的包含计数量词的逻辑碎片,通过在关系上添加定向无环图 (DAG) 公理,这篇论文对子领域进行了扩展。