CP逻辑

CP逻辑:一种描述因果概率事件的语言及其与逻辑程序设计的关系本文提出了一种描述概率因果规律的逻辑语言。我们对这种语言的兴趣是双重的。首先,它可以作为因果知识表征的基础研究。因果关系具有内在的动态性,Shafer在其概率树框架中对因果关系进行了语义层面的研究。在这样一个动态的背景下,考虑一个领域随时间的演变,因果律作为指导这种进化的东西的想法是非常自然的。在我们的形式化中,一组概率因果律可以用简洁、灵活和模块化的方式表示一类概率树。这样,我们的工作扩展了Shafer的方法,为他的语义对象提供了一个方便的逻辑表示。其次,这种语言也与概率逻辑程序设计领域有关。特别地,我们证明了在我们的语言中,一个理论的形式语义可以等价地定义为某些逻辑程序的可靠模型上的概率分布,使得它在形式上与现有的语言如ICL或PRISM非常相似。因为我们可以用一种完全独立的方式来激发和解释我们的语言,作为概率因果律的一种表示,这就为解释这种概率逻辑程序背后的直觉提供了一种新的方式:我们可以精确地说出这样一个程序所表达的知识,非逻辑学家同样可以理解的术语。此外,我们还通过展示概率逻辑程序如何表达概率因果律,得到了一个附加的知识表示方法。

这个软件也是同行评审按日记帐汤姆斯.


zbMATH中的参考文献(参考文献19条,1标准件)

显示第1至19个结果,共19个。
按年份排序(引用)

  1. 阿佐利尼,达米亚诺;贝洛迪,埃琳娜;费里利,斯特凡诺;里古兹,法布里齐奥;Zese,Riccardo:分布语义下的概率逻辑规划诱因(2022)
  2. 阿佐利尼,达米亚诺;里古兹,法布里齐奥;Lamma,Evelina:带函数符号的混合概率逻辑程序的语义(2021)
  3. 曼塔德利斯,提奥弗拉斯托斯;Bistarelli,Stefano:概率抽象论证框架,一个可能的世界观(2020)
  4. 阿瓜多,费利塞德;卡巴拉、佩德罗;范迪诺,豪尔赫;皮尔斯,大卫;佩雷斯,吉尔伯托;维达尔,康塞普西翁:忘记福克斯的辅助原子(2019)
  5. 巴拉伊,叶甫盖尼;盖尔方德,迈克尔;张元林:P-log:精化与新的相干条件(2019)
  6. 布克曼,大卫;Poole,David:概率逻辑程序中的负概率(2017)
  7. 里古兹,法布里齐奥;科塔,朱塞佩;贝洛迪,埃琳娜;Zese,Riccardo:cplint中的因果推理(2017)
  8. Riguzzi,Fabrizio:带函数符号的正态程序的分布语义(2016)
  9. 弗拉塞勒,乔纳斯;范登布罗克,伙计;金米格,安吉丽卡;米尔特,万恩斯;De Raedt,Luc:(T\mathcalP)-概率逻辑程序中推理的编译(2016)
  10. 贝洛迪,埃琳娜;Riguzzi,Fabrizio:通过搜索子句空间进行概率逻辑程序的结构学习(2015)
  11. De Raedt,卢克;Kimmig,Angelika:概率(逻辑)编程概念(2015)
  12. 费伦斯,达安;范登布罗克,伙计;伦肯,乔里斯;施特里奥诺夫,迪米特尔;古特曼,伯恩德;丁字裤、英戈;詹森,格达;De Raedt,Luc:使用加权布尔公式在概率逻辑程序中进行推理和学习(2015)
  13. 米歇尔斯,斯特芬;霍默森,阿珍;卢卡斯,彼得·J·F。;Velikova,Marina:基于广义分布语义的新概率约束逻辑编程语言(2015)
  14. 范兰斯特,威比;Vennekens,Joost:CP逻辑前向采样算法的OpenCL实现(2015)
  15. 加瓦内利,马可;里古兹,法布里齐奥;米拉诺,米歇拉;Paolo,Cagnoli:战略环境评估的基于逻辑的决策支持(2010)
  16. 里古兹,法布里齐奥;斯威夫特,特伦斯:带注释析取逻辑程序推理的表和答案包容(2010)
  17. 文尼肯斯,约斯特;布鲁努赫,莫里斯;Denecker,Marc:因果建模中的包含事件:CP逻辑中的干预和反事实(2010)
  18. 文尼肯斯,约斯特;Denecker,马克;Bruynooghe,Maurice:CP逻辑:因果概率事件的语言及其与逻辑编程的关系(2009)
  19. 文尼肯斯,约斯特;Denecker,马克;Bruynooghe,Maurice:CP逻辑:因果概率事件的语言及其与逻辑编程的关系(2009)ioport公司