×

CP逻辑

swMATH标识: 6947
软件作者: 文尼肯斯,约斯特;Denecker,马克;布鲁努赫,莫里斯
说明: 因果概率事件语言CP逻辑及其与逻辑程序设计的关系本文发展了一种表示概率因果律的逻辑语言。我们对这种语言的兴趣是双重的。首先,它可以作为因果知识表征的基础研究。因果关系具有内在的动态性,Shafer在其概率树框架中对因果关系进行了语义层面的研究。在这样一个动态的背景下,考虑一个领域随时间的演变,因果律作为指导这种进化的东西的想法是非常自然的。在我们的形式化中,一组概率因果律可以用简洁、灵活和模块化的方式表示一类概率树。这样,我们的工作扩展了Shafer的方法,为他的语义对象提供了一个方便的逻辑表示。其次,这种语言也与概率逻辑程序设计领域有关。特别地,我们证明了在我们的语言中,一个理论的形式语义可以等价地定义为某些逻辑程序的可靠模型上的概率分布,使得它在形式上与现有的语言如ICL或PRISM非常相似。
因为我们可以用一种完全独立的方式来激发和解释我们的语言,作为概率因果律的一种表示,这就为解释这种概率逻辑程序背后的直觉提供了一种新的方式:我们可以精确地说出这样一个程序所表达的知识,非逻辑学家同样可以理解的术语。此外,我们还通过展示概率逻辑程序如何表达概率因果律,得到了一个附加的知识表示方法。
主页: http://dl.acm.org/citation.cfm?id=1630522
关键词: 概率因果律;形式语义学
相关软件: ProbLog公司;皮塔;棱镜;麦金太尔;博客;XSB公司;教堂;C打印;雅普序言;德沙普;费加罗;希夫;普拉斯;太阳能;ConArg2公司;阿芙拉;SWI序言;阿萨德;;脊柱
参考文献: 18种出版物

按年份引用出版物