塞兰、伊斯梅尔·伊尔坎;托马斯·卢卡塞维奇;拉斐尔·佩尼亚洛扎 概率数据日志（^\pm）的复杂性结果。 （英语） Zbl 1403.68050号 Kaminka，Gal A.（编辑）等人，ECAI 2016。第22届欧洲人工智能大会，荷兰海牙，2016年8月29日至9月2日。诉讼程序。包括随同召开的智能系统著名应用会议（PAIS 2016）的会议记录。分2卷。阿姆斯特丹：IOS出版社（ISBN 978-1-61499-671-2/pbk；978-1-6499-672-9/ebook）。人工智能与应用前沿285，1414-1422（2016）。 摘要：我们研究了存在概率存在规则的概率数据库中的查询评估问题。我们的重点是Datalog（^\pm）系列语言，我们使用灵活紧凑的概率编码为其定义概率对应项。这种形式主义可以被视为概率数据库的泛化，因为它允许使用所谓的元组生成依赖关系或存在规则从给定的数据生成新的事实。我们研究了在两种不同语义下这种额外表达的计算成本。首先，我们使用传统方法，假设概率知识库是一致的，并使用标准的可能世界语义。然后，我们引入了一种概率不一致容忍语义，我们称之为不一致容忍可能世界语义。对于这两种情况，我们提供了与不同语言相关的彻底复杂性分析，从而完整地描述了该家族中概率查询应答的复杂性。关于整个系列，请参见[Zbl 1352.68013号]. 引用于4文件 MSC公司： 第68页，共15页 数据库理论 68N17号 逻辑编程 65年第68季度 算法和问题复杂性分析 软件：专业基地;数据日志;雅高;棱镜;ProbLog（问题日志） PDF格式BibTeX公司 XML格式引用 \textit{I.I.Ceylan}等人，前面。Artif公司。智力。申请。2851414-1422（2016；Zbl 1403.68050） 全文： 内政部