概率逻辑程序中的概率优化
摘要：概率逻辑编程是一种有效的形式化方法，用于编码由不确定性特征的问题。其中一些问题可能需要优化随机变量的概率值，以满足概率分布之间的约束。在这里，我们引入了一类新的概率逻辑程序，即可优化概率逻辑程序，并提供了一个有效的算法，以找到最佳的随机变量概率分配，以满足一组约束并优化目标函数。这篇论文正在考虑被接受为《逻辑编程的理论与实践》。
作者：Damiano Azzolini and Fabrizio Riguzzi
论文ID：2108.03095
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-06-22