LLM2D
离散与连续随机变量的概率答案集编程
Probabilistic Answer Set Programming with Discrete and Continuous Random Variables
作者: Damiano Azzolini, Fabrizio Riguzzi
发布日期: 10/1/2024
arXiv ID: oai:arXiv.org:2409.20274v1

摘要

基于信任语义的概率答案集编程 (PASP) 通过表示不确定信息的概率事实扩展了答案集编程。概率事实是离散的,具有伯努利分布。然而,许多现实世界场景需要同时使用离散和连续随机变量。本文扩展了 PASP 框架以支持连续随机变量,并提出了混合概率答案集编程 (HPASP)。此外,我们讨论、实现并评估了两种基于投影答案集枚举和知识编译的精确算法,以及两种基于采样的近似算法。实证结果(也与已知的理论结果一致)表明,精确推理仅对小型实例可行,但知识编译对性能有巨大的积极影响。采样允许处理更大的实例,但有时需要越来越多的内存。正在考虑在逻辑编程理论与实践 (TPLP) 上发表。