CP逻辑 swMATH ID: 6947 软件作者: Joost Vennekens;马克·德内克(Marc Denecker);莫里斯·布吕诺格 描述: CP-logic:一种因果概率事件语言及其与逻辑编程的关系本文开发了一种用于表示概率因果律的逻辑语言。我们对这种语言的兴趣是双重的。首先,它可以作为因果知识表征的基础研究。因果关系有一个内在的动态方面,Shafer在他的概率树框架中从语义层面对其进行了研究。在这样一个动态的背景下,考虑一个领域随时间的演变,因果律作为指导这种演变的东西的想法是非常自然的。在我们的形式化中,可以使用一组概率因果律以简洁、灵活和模块化的方式表示一类概率树。通过这种方式,我们的工作扩展了Shafer的语义对象,为他的语义对象提供了方便的逻辑表示。其次,该语言也与概率逻辑编程领域相关。特别地,我们证明了我们语言中理论的形式语义可以等价地定义为某些逻辑程序的基础模型上的概率分布,使得它在形式上与现有语言(如ICL或PRISM)非常相似。因为我们可以以一种完全独立的方式来激励和解释我们的语言,将其作为概率因果律的表示,这为解释此类概率逻辑程序背后的直觉提供了一种新的方式:我们可以准确地说出此类程序所表达的知识,用非逻辑学家同样可以理解的术语。此外,通过展示概率逻辑程序如何表达概率因果律,我们还获得了概率逻辑程序的另一种知识表示方法。 主页: http://dl.acm.org/citation.cfm?id=1630522 关键词: 概率因果律;形式语义学 相关软件: ProbLog(问题日志);PITA公司;棱镜;MCINTYRE公司;博客;XSB公司;教堂;DeepProbLog(深度探测日志);cplint(cplint);YAP-序言;夏普;菲加罗;SCIFF公司;预ASP;太阳能;ConArg2公司;非洲渔业协会;SWI-预测;亚萨特;箔 引用于: 20文件 标准条款 1出版物描述软件,包括1出版物以zbMATH为单位 年份 CP逻辑:一种关于因果概率事件及其与逻辑编程的关系的语言。 Zbl 1179.68025号Joost Vennekens;马克·德内克;莫里斯·布吕诺格 2009 全部的 前5名49位作者引用 7 法布里西奥·里古齐 三 埃琳娜·贝洛迪 三 吕克·德·雷德 三 Joost Vennekens 2 达米亚诺·阿佐利尼 2 莫里斯·布吕诺格 2 马克·德内克 2 安吉丽卡·基米格 2 范登·布勒克,盖伊 2 里卡多·泽斯 1 费利西达·阿瓜多 1 亚历山大·阿蒂基斯 1 克里斯特尔·拜尔 1 叶夫根尼·巴莱 1 斯蒂法诺·比斯塔雷利 1 大卫·布赫曼 1 佩德罗·卡巴拉尔 1 保罗·卡格诺利 1 朱塞佩·科塔 1 豪尔赫·范丁诺 1 斯特凡诺·费里利 1 费伦斯,大安 1 弗洛里安·芬克 1 马可·加瓦内利 1 迈克尔·盖尔芬德 1 伯恩德·古特曼 1 阿扬·霍默索姆 1 杰尔达·詹森斯 1 西蒙·扬奇 1 伊芙琳娜·拉姆 1 Peter J.F.卢卡斯。 1 曼塔代利斯(Mantadelis)、西奥弗拉斯托斯(Theofrastos) 1 Periklis Mantenoglou 1 温妮斯·梅特 1 斯蒂芬·米歇尔斯 1 米兰,米凯拉 1 帕柳拉斯,乔治奥斯 1 吉尔伯托·佩雷斯 1 雅各布皮里鲍尔 1 乔里斯·伦肯斯 1 迪米塔尔·施特里奥诺夫 1 Swift,Terrance公司 1 英戈·通 1 范·兰斯特(Wiebe Van Ranst) 1 玛丽娜·维利科娃 1 康塞普西翁·维达尔 1 乔纳斯·弗拉斯勒尔 1 张元林 1 罗宾·齐梅克 5篇连载文章中引用 8 国际近似推理杂志 4 逻辑程序设计理论与实践 三 人工智能 1 机器学习 1 数学与人工智能年鉴 在3个字段中引用 20 计算机科学(68至XX) 三 数学逻辑和基础(03-XX) 1 概率论与随机过程(60-XX) 按年份列出的引文