独立选择逻辑的信度扩展

我们提出一种基于放宽底层独立性假设的对 Poole 独立选择逻辑的扩展。采用了涉及可能世界上多个联合概率质量函数的信度语义。这代表了一种通过考虑与概率事实一致的所有质量函数而实现的保守概率逻辑编程方法。这允许建模一些概率选择之间不能假设独立、且无法评估特定依赖模型的任务。在一个对象排序应用上的初步测试表明，尽管底层假设宽松，仍能提取出有信息量的推断。