广义分布语义与分布投影族
人工智能
2024-05-17 v2 数据库
编程语言
摘要
我们通过提炼概率逻辑编程底层分布语义的本质概念——自由随机分量与确定性部分的分离——来推广该语义。这将核心思想从逻辑编程本身抽象出来，以涵盖来自概率数据库、概率有限模型论和离散提升贝叶斯网络的框架。为证明这种通用方法的实用性，我们完整刻画了可在广义分布语义中表示的概率分布投影族，并证明既存在大量有趣的分布投影族无法在广义分布语义中表示，又证明确定性部分中已非常有限的片段（无环确定逻辑程序）就足以表示所有那些在广义分布语义中可表示的分布投影族。
引用
@article{arxiv.2211.06751,
title = {The generalised distribution semantics and projective families of distributions},
author = {Felix Weitkämper},
journal= {arXiv preprint arXiv:2211.06751},
year = {2024}
}