关于概率逻辑程序结构中隐藏的独立性
原文中文，约200字，阅读约需1分钟。发表于：。通过将概率逻辑程序结构抽象化为程序结构，并给出一个正确的元解释器来决定给定外部数据库的程序结构是否意味着某个特定的条件独立性陈述，本研究将 Pearl 和 Verma 的有向分离理论推广到非 ground 情况，进而从 d-separation 中计算条件独立性，实验评估结果显示，比起在 ProbLog 2 中使用精确推理来检查独立性定义，我们的元解释器的性能明显更快。
本文研究了基于Sato分布语义的概率逻辑程序，分析了基于稳定和基于良基模型的语义，探讨了credal语义产生的概率模型集合是无限单调Choquet容量的结果产生的几个有用的结果，并研究了其推理和查询的复杂度。作者对此进行了详细说明，并对无环、分层、周期性的命题和关系程序，提出了推理和查询复杂度的结果，该复杂度达到各种计数层次和指数级别。
