Jean-François巴杰;米歇尔·莱克莱尔;玛丽·劳雷·穆格尼尔;埃里克·萨尔瓦特 关于存在变量的规则：走可判定线。 （英文） Zbl 1225.68247号 Artif公司。智力。 175，编号9-10，1620-1654（2011）. 小结：我们考虑结论可能包含存在量化变量的正规则，这使得推理任务（如连接查询回答或蕴涵）无法确定。这些规则称为\（for all \ exists \）-rules，与数据库中生成元组依赖项的逻辑形式以及概念图规则具有相同的逻辑形式。本文的目的是为使用这些规则进行推理的可判定性和不可判定性之间的边界提供一个更清晰的图像。以前已知的可判定类是基于前向链的。一方面我们扩展了这些类，另一方面我们引入了基于反向链的可判定类。一个附带的结果是定义了一个向后机制，该机制考虑到了规则结论的复杂结构。我们通过包含对所有已知的可判定类进行分类。然后，我们研究了两个可判定类的并集是否仍然是可判定的问题，并表明除了一个类和一个仍然开放的情况外，答案是否定的。这突出了研究规则之间交互的兴趣。我们给出了规则间依赖的构造性定义，并利用规则依赖条件和混合正向/反向链接机制拓宽了可判定类的前景。最后，我们将平等和消极约束的规则整合到我们的框架中。 引用于39文件 MSC公司： 68T27型 人工智能中的逻辑 关键词：规则;TGD公司;可判定性;正向链接;追逐;反向链接;规则依赖性 软件：数据日志 PDF格式BibTeX公司 XML格式引用 \textit{J.-F.Baget}等人，Artif。智力。175，编号9-10，1620--1654（2011；Zbl 1225.68247） 全文： 内政部 参考文献： [1] Abiteboul，S。；船体，R。；维亚努，V.，《数据库基础》（1995），艾迪森·韦斯利·Zbl 0848.68031号 [2] 阿霍，A.V。；比里，C。；Ullman，J.D.，关系数据库中的连接理论，ACM Trans。数据库系统。，4, 3, 297-314 (1979) [3] J.-F.Baget，Repésenter des connaissances et raisonner avec des hypergraphes:de la projectionála dérivation sous containtes，博士论文，法国蒙彼利埃第二大学，2001年11月。；J.-F.Baget，《内涵与意义的再现：狭义投影》，法国蒙彼利埃第二大学博士论文，2001年11月。 [4] Baget，J.-F.，《改进概念图规则的前向链算法》，（第九届知识表示与推理原理国际会议论文集（KR2004），加拿大惠斯勒（2004），AAAI出版社），407-414 [5] 巴盖特，J.-F。；勒克莱尔，M。；Mugnier，M.-L.，《用存在变量走规则的可判定线》（《第十二届知识表示和推理原则国际会议论文集》，加拿大多伦多（2010），AAAI出版社），466-476 [6] J.-F.Baget、M.Leclère、M.-L.Mugnier、E.Salvat、DL-\（\mathcal{SR}\）；J.-F.Baget、M.Leclère、M.-L.Mugnier、E.Salvat、DL-\（\mathcal{SR}\） [7] J.-F.Baget，M.Leclère，M.-L.Mugnier，E.Salvat，用存在变量扩展规则的可判定案例，收录于：《第二十届国际人工智能联合会议论文集》（IJCAI，2009），美国加利福尼亚州帕萨迪纳，第677-682页。；J.-F.Baget，M.Leclère，M.-L.Mugnier，E.Salvat，用存在变量扩展规则的可判定案例，收录于：《第二十届国际人工智能联合会议论文集》（IJCAI，2009），美国加利福尼亚州帕萨迪纳，第677-682页。 [8] 巴盖特，J.-F。；Mugnier，M.-L.，《规则和约束的复杂性》，J.Artif。智力。研究（JAIR），16，425-465（2002）·Zbl 1032.68115号 [9] 巴盖特，J.-F。；Salvat，E.，概念图反向链接中的规则依赖性规则，（ICCS.ICCS，LNCS，第4068卷（2006），Springer），102-116·兹比尔1194.68218 [10] 比里，C。；Vardi，M.，《数据依赖的隐含问题》，（《自动化学报》，语言与编程，第八次学术讨论会（ICALP 1981），阿克雷（Akko），以色列。自动化学报，语言与编程，第八届学术讨论会（ICALP 1981），阿克雷（Akko），以色列，LNCS，第115卷（1981），斯普林格出版社，73-85·Zbl 0462.68022号 [11] 比里，C。；Vardi，M.，《数据相关性的证明程序》，J.ACM，31，4，718-741（1984）·Zbl 0632.68097号 [12] A.Cal，G.Gottlob，M.Kifer，《驯服无限追捕：表达关系约束下的问答》，载于：《第十一届知识表示与推理原则国际会议论文集》（KR 2008），澳大利亚悉尼，2008年，第70-80页。；A.Cal，G.Gottlob，M.Kifer，《驯服无限追捕：表达关系约束下的问答》，载于：《第十一届知识表示与推理原则国际会议论文集》（KR 2008），澳大利亚悉尼，2008年，第70-80页。 [13] A.Cal，G.Gottlob，T.Lukasiewicz，《基于数据日志的本体论查询通用框架》，载于《第二十八届ACM SIGMOD-SIGACT-SIGART数据库系统原理研讨会论文集》（PODS 2009），美国罗德岛州普罗维登斯，2009年，第77-86页。；A.Cal，G.Gottlob，T.Lukasiewicz，《基于数据日志的本体论查询通用框架》，载于《第二十八届ACM SIGMOD-SIGACT-SIGART数据库系统原理研讨会论文集》（PODS 2009），美国罗德岛州普罗维登斯，2009年，第77-86页。 [14] 卡尔？，A。；Gottlob，G。；Lukasiewicz，T.，《本体论上可处理查询应答的数据日志扩展》（Virgilio，R.D.；Giunchiglia，F.；Tanca，L.，《语义Web信息管理：基于模型的视角》（2010），Springer），249-279 [15] 卡尔？，A。；Gottlob，G。；Lukasiewicz，T。；马内特，B。；Pieris，A.，Datalog+/-：新应用的逻辑知识表示和查询语言系列，（LICS（2010），IEEE计算机学会），228-242 [16] A.Cal，M.Kifer，《连接对象元查询的遏制》，载于：《第三十二届超大数据库国际会议论文集》（VLDB 2006），韩国首尔，2006年，第942-952页。；A.Cal，M.Kifer，《连接对象元查询的遏制》，载于《第三十二届超大数据库国际会议论文集》（VLDB 2006），韩国首尔，2006年，第942-952页。 [17] 卡尔？，A。；伦博，D。；Rosati，R.，《关于不一致和不完整数据库上查询应答的可判定性和复杂性》，（第二十届SIGACT-SIGMOD-SIGART数据库系统原理研讨会论文集（PODS 2003），美国加利福尼亚州圣地亚哥（2003），ACM），260-271 [18] Calvanee，D。；贾科莫，G.D。；伦博，D。；Lenzerini，M。；Rosati，R.，描述逻辑中的可追踪推理和高效查询回答：DL-Lite家族，J.Automat。原因。，39, 3, 385-429 (2007) ·Zbl 1132.68725号 [19] Chandra，A.K。；刘易斯，H.R。；Makowsky，J.A.，嵌入式隐含依赖及其推理问题，（第十三届计算理论年度研讨会论文集（STOC 1981），美国威斯康星州密尔沃基（1981），ACM），342-354 [20] A.K.Chandra，P.M.Merlin，关系数据库中联合查询的优化实现，收录于：STOC，1977年，第77-90页。；A.K.Chandra，P.M.Merlin，关系数据库中联合查询的优化实现，收录于：STOC，1977年，第77-90页。 [21] Chandra，A.K。；Vardi，M.Y.，函数依赖和包含依赖的隐含问题是不可判定的，SIAM J.Compute。，14671-677（1985年）·Zbl 0603.68100号 [22] Chein，M。；Mugnier，M.-L.，《概念图：基本概念》，《知识评论》。第条。，6, 4, 365-406 (1992) [23] Chein，M。；Mugnier，M.-L.，基于图的知识表示和推理——概念图的计算基础。《高级信息和知识处理》（2009），施普林格出版社·Zbl 1168.68043号 [24] Coulondre，S.，广义数据依赖的自顶向下证明过程，Acta Inform。，39, 1, 1-29 (2003) ·Zbl 1034.68028号 [25] 图的一元二阶逻辑：I.有限图的可识别集，Inform。和计算。，85, 1, 12-75 (1990) ·Zbl 0722.03008号 [26] A.Deutsch、A.Nash、J.Remmel，《追捕重温》，载于：第二十届ACM SIGMOD/PODS数据库系统数据/原理管理国际会议（PODS 2008），加拿大不列颠哥伦比亚省温哥华，2008年，第149-158页。；A.Deutsch，A.Nash，J.Remmel，The chase reviewed，in：Twenty-Eighth ACM SIGMOD/PODS International Conference on Management of Data/Principles of Database Systems（PODS 2008），加拿大不列颠哥伦比亚省温哥华，2008年，第149-158页。 [27] A.Deutsch、A.Nash、J.B.Remmel，《追捕重访》，载于：PODS，2008年，第149-158页。；A.Deutsch、A.Nash、J.B.Remmel，《追捕重访》，载于：PODS，2008年，第149-158页。 [28] A.Deutsch，V.Tannen，XML查询和约束的改革，载于：第九届国际数据库理论会议（ICDT 2003），意大利锡耶纳，2003年，第225-241页。；A.Deutsch，V.Tannen，XML查询和约束的改革，载于：第九届国际数据库理论会议（ICDT 2003），意大利锡耶纳，2003年，第225-241页·Zbl 1022.68507号 [29] R.Fagin、P.G.Kolaitis、R.J.Miller、L.Popa，《数据交换：语义和查询应答》，载于：第九届国际数据库理论会议（PODS 2003），意大利锡耶纳，2003年，第207-224页。；R.Fagin、P.G.Kolaitis、R.J.Miller、L.Popa，《数据交换：语义和查询应答》，载于：第九届国际数据库理论会议（PODS 2003），意大利锡耶纳，2003年，第207-224页·Zbl 1022.68510号 [30] 费金，R。；Kolaitis，P.G。；米勒，R.J。；Popa，L.，《数据交换：语义和查询应答》，Theoret。计算。科学。，336, 1, 89-124 (2005) ·Zbl 1080.68019号 [31] P.Hayes（编辑），RDF语义。W3C推荐，W3C，http://www.w3.org/TR/rdf-mt/; P.Hayes（编辑），RDF语义。W3C推荐标准，W3C，http://www.w3.org/TR/rdf-mt/ [32] Johnson博士。；Klug，A.，《在函数依赖和包含依赖下测试连接查询的包含》，J.Compute。系统科学。，28, 1, 167-189 (1984) ·Zbl 0563.68081号 [33] C.Lutz，D.Toman，F.Wolter，使用关系数据库系统在描述逻辑EL中的连接查询应答，收录于：《第二十届第一届国际人工智能联合会议论文集》（IJCAI 2009），美国加利福尼亚州帕萨迪纳，2009年，第2070-2075页。；C.Lutz，D.Toman，F.Wolter，使用关系数据库系统在描述逻辑EL中的连接查询应答，收录于：《第二十届第一届国际人工智能联合会议论文集》（IJCAI 2009），美国加利福尼亚州帕萨迪纳，2009年，第2070-2075页。 [34] Maier，D。；门德尔松，A.O。；Sagiv，Y.，《数据依赖性的测试含义》，ACM Trans。数据库系统。，4, 4, 455-469 (1979) [35] Salvat，E。；Mugnier，M.-L.，《图形规则的健全和完整的正向和反向链接》，第四届概念结构国际会议论文集，澳大利亚悉尼。第四届概念结构国际会议论文集（ICCS’96），澳大利亚悉尼，LNAI，第1115卷（1996），Springer，248-262 [36] Sowa，J.F.，《概念结构：大脑和机器中的信息处理》（1984），艾迪森·韦斯利·Zbl 0536.68077号 [37] Thomas，R.，超图的树宽紧性定理（1988） [38] Vardi，M.，类型化模板依赖的蕴涵和有限蕴涵问题，J.Compute。系统科学。，28, 1, 3-28 (1984) ·Zbl 0586.68084号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。