CP逻辑

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

这个软件也是同行评审通过期刊toms.


ZBMaX中的参考文献(17篇)1标准条款

显示结果1至17的17。
按年份排序(引文

  1. 斯蒂法诺,BiStasrLi;BiStasLLi:概率抽象论证框架,可能的世界观(2020)
  2. Aguado,Felicidad;卡巴拉,佩德罗;范登诺,豪尔赫;皮尔斯,戴维;P·雷兹,吉尔伯托;维达尔,想入非非:遗忘叉中的辅助原子(2019)
  3. 巴莱,Evgenii;盖尔方德,米迦勒;张,Yuanlin:P-对数:精炼和一个新的一致性条件(2019)
  4. Buchman,戴维;Poole,戴维:概率逻辑程序中的负概率(2017)
  5. 法布里齐奥,Cota,朱塞佩;贝洛迪,埃琳娜;泽斯,里卡尔多:CPLITEN中的因果推理(2017)
  6. RiuuZi,法布里齐奥:具有函数符号的正常程序的分布语义(2016)
  7. Vlasselaer,乔纳斯;Van den Broeck,盖伊;Kimmig,Angelika;米尔特,WANES;De Raedt,LUC:(Ty\MathCalp)——概率逻辑程序推理的编译(2016)
  8. Bellodi,埃琳娜;RiuuZi,法布里齐奥:通过搜索子句空间对概率逻辑程序的结构学习(2015)
  9. De Raedt,卢克;Kimmig,Angelika:概率(逻辑)程序设计概念(2015)
  10. Fierens,大安;Van den Broeck,盖伊;勒肯斯,Joris;谢特罗诺夫,迪米塔;古特曼,贝尔恩德;THON,Ingo;JassEnsS,Po.;Lu::使用加权布尔公式的概率逻辑程序中的推理和学习(2015)
  11. 米歇尔斯,斯特芬;HOMSOSOM,ARJEN;卢卡斯,Peter J. F.;Velikova,Malina:一种基于广义分布语义的概率约束逻辑程序设计语言(2015)
  12. Van Ranst,韦博;VeNeNKEN,JOOST:CP逻辑正向采样算法的OpenCL实现(2015)
  13. Gavanelli,马珂;RiuuZi,法布里齐奥;Milano,Michela;Cannuli,Paolo:基于逻辑的战略环境评价决策支持(2010)
  14. RiuuZi,法布里齐奥;Swift,Trand:对带注释析取的逻辑程序的推理的表集和回答包容(2010)
  15. Vennekens,JooST;BrynooGHe,毛里斯;Denecker,贾景晖:因果模型中的事件:CP逻辑中的干预和反事实(2010)
  16. Vennekens,JooST;Denecker,贾景晖;BryyooGoHe,毛里斯:CP逻辑:因果概率事件的语言及其与逻辑程序设计的关系(2009)
  17. Vennekens,JooST;Denecker,贾景晖;BryyooGoHe,毛里斯:CP逻辑:因果概率事件的语言及其与逻辑程序设计的关系(2009)伊波尔特