法布里西奥·里古齐 独立选择逻辑的扩展语义和推理。 （英语） Zbl 1189.03039号 日志。J.IGPL公司 17，第6号，589-629（2009）. 摘要：Poole提出的独立选择逻辑（ICL）是一种在逻辑编程中表达概率信息的语言，它采用了分布语义：ICL理论定义了一组正常逻辑程序上的分布。然后，查询的概率由查询为真的程序的概率之和给出。ICL语义要求理论是非循环的。这是一个很强的限制，排除了许多有趣的节目。在本文中，我们提出了ICL语义的一个扩展，允许理论是模块非循环的。可以使用Ailog2系统进行ICL推理，该系统计算查询的解释，然后通过迭代算法使它们相互不兼容。我们提出了系统PICL（用于ICL概率推理），该系统通过修改SLDNF分辨率来计算查询的解释，然后通过二进制决策图使解释相互不兼容。PICL和Ailog2在涉及计算生物图和社交网络中两个节点之间连接概率的问题上进行了比较。此外，它们还适用于三种骰子游戏。所考虑的问题很容易用Plog表达，Plog是一种基于答案集编程的概率语言。因此，Plog系统也应用于程序中。PICL能够处理比Ailog2和Plog更大的问题。此外，它是三种算法中速度最快的，除了一种骰子游戏的一种情况。 引用于5文件 MSC公司： 03B70号 计算机科学中的逻辑 03B48号 概率和归纳逻辑 68N17号 逻辑编程 关键词：概率逻辑程序设计；独立选择逻辑；模非循环程序；SLDNF分辨率；生物图表；社交网络；骰子游戏 PDF格式BibTeX公司 XML格式引用 \textit{F.Riguzzi}，日志。J.IGPL 17，第6号，589--629（2009；Zbl 1189.03039） 全文： 内政部 链接