×

在CARIN中结合了Horn规则和描述逻辑。 (英语) Zbl 0908.68166号

摘要:我们描述了CARIN,一个新颖的表示语言家族,它结合了Horn规则和描述逻辑的表达能力。我们解决了为这些语言提供健全完整的推理程序的问题。我们将存在蕴涵确定为carin推理中的一个核心问题,并描述了(a{mathcal L})CNR描述逻辑的存在蕴涵算法。因此,我们获得了一个在非递归carin-\(a{mathcal L}\)CNR知识库中进行推理的完善算法,以及一个在(a{mathcal L{\)CNR\上进行规则包含的算法。我们证明了一般情况下,递归carin-\(A{mathcal L}\)CNR知识库的推理问题是不可判定的,并确定了导致不可判定性的(A{mathcal L{)CNR的构造器。我们展示了两种方法,在获得合理完整的推理时,可以限制carin-(A{mathcal L})CNR知识库。

MSC公司:

68立方英尺 知识表示
68T27型 人工智能中的逻辑
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Abecker,A。;Wache,H.,规则、继承和约束集成的层架构,(ICLP-94会议后声明范式集成研讨会(1994))
[2] 艾特·卡奇,H。;Podelski,A.,《迈向LIFE的意义》,(Maluszyñski,J.;Wirsing,M.,第三届编程语言实现和逻辑编程国际研讨会论文集,德国帕绍(1991),施普林格:施普林格柏林),255-274·Zbl 0801.68018号
[3] 阿伦斯,Y。;Knoblock,C.A。;沈伟民,动态信息集成的查询重构,国际智能与合作信息系统杂志,6,2-3,99-130(1996)
[4] 巴德,F。;Buchheit,M。;Hollander,B.,概念的基数限制,人工智能,88,1-2,195-213(1996)·Zbl 0907.68181号
[5] 巴德,F。;Hollower,B.,《具有完整推理算法的术语知识表示系统》,(处理声明性知识研讨会,PDK-91)。程序。处理声明性知识研讨会,PDK-91,人工智能课堂讲稿(1991),施普林格:柏林施普林格出版社,67-86
[6] 比里,C。;利维,A.Y。;Rousset,M.-C.,《使用描述逻辑中的视图重写查询》,(第16届ACM SIGACT-SIGMOD-SIGART数据库系统原理研讨会,第16届AMM SIGACT SIGMOD-SIGART-数据库系统原理会议,亚利桑那州图森(1997))
[7] Borgida,A.,《关于描述逻辑和谓词逻辑之间的关系》,(第三届信息和知识管理国际会议(CIKM-94)(1994))·Zbl 0918.68111号
[8] Brachman,R.J。;Borgida,A。;McGuinness,D.L。;Patel-Schneider,P.F。;莱斯尼克,洛杉矶,与经典:何时以及如何使用-类似语言,(Sowa,J.,《语义网络原理》(1991),Morgan Kaufmann:Morgan Koufmann San Mateo,CA),401-456
[9] Brachman,R.J。;吉尔伯特,V.P。;Levesque,H.J.,《一个基本的混合推理系统:氪的知识和符号级账户》,(第九届国际人工智能联合会议论文集(IJCAI-85)。程序。第九届国际人工智能联合会议(IJCAI-85),加利福尼亚州洛杉矶(1985年)
[10] Buchheit,M。;Jeusfeld,M。;纳特·W。;Staudt,M.,面向对象数据库查询之间的包含,信息系统,19,1,33-54(1994)
[11] Buchheit,M。;多尼尼,F.M。;Schaerf,A.,术语知识表示系统中的可判定推理,人工智能研究杂志,109-138(1993)·兹比尔0900.68396
[12] Burckert,H.-J.,《约束逻辑的解析原理》,人工智能,66,235-271(1994)·Zbl 0807.68082号
[13] 卡多利,M。;Palopoli,L。;Lenzerini,M.,《数据日志和描述逻辑:表达能力》(数据库编程语言国际研讨会(1997年))
[14] 多尼尼,F.M。;伦泽里尼,M。;Nardi,D。;Schaerf,A.,《带有数据日志和概念语言的混合系统》,(Ardizzone,E.;Gaglio,S.;Sorbello,F.,《人工智能趋势》,《人工情报趋势》,第549卷(1991),施普林格:施普林格柏林),88-97
[15] 多尼尼,F.M。;伦泽里尼,M。;Nardi,D。;Nutt,W.,《概念语言的复杂性》,(第二届知识表示和推理原则国际会议论文集(KR-91)。程序。第二届知识表示和推理原则国际会议(KR-91),马萨诸塞州剑桥(1991)·Zbl 0765.68187号
[16] 弗里德曼,M。;Weld,D.,《信息收集计划的有效执行》,(国际人工智能联合会议(IJCAI-97)。程序。国际人工智能联合会议(IJCAI-97),日本名古屋(1997年)
[17] (Frisch,A.,《美国人工智能协会(AAAI)混合推理原理秋季研讨会工作笔记》(1991),美国人工智能学会)
[18] 古雷维奇,Y。;Lewis,H.R.,模板依赖的推理问题,(Proc.First ACM SIGACTSIGMOD-SIGART Symposium on Principles of Database Systems(1982)),221-229
[19] Hansehke,P。;Hinkelman,K.,《将术语和基于规则的推理用于抽象过程》,DFKI研究报告(1992年)
[20] 霍兰德,B。;Baader,F.,《概念语言中的限定数字限制》,(第二届知识表示和推理原则国际会议论文集(KR-91)。程序。第二届知识表示和推理原则国际会议(KR-91),马萨诸塞州剑桥(1991)·Zbl 0765.68190号
[21] 利维,A.Y。;门德尔松,A.O。;萨吉夫,Y。;Srivastava,D.,《使用视图回答查询》,(第14届ACM SIGACT-SIGMOD-SIGART数据库系统原理研讨会,第14届ASM SIGACT SIGMOD-SIGART-数据库系统原理会议,加利福尼亚州圣何塞(1995))
[22] 利维,A.Y。;Rajaraman,A。;Ordille,J.J.,《信息代理的问答算法》(Proc.AAAI-96)。程序。俄勒冈州波特兰市AAAI-96(1996))
[23] 利维,A.Y。;Rousset,M.-C.,《CARIN:一种集成规则和描述逻辑的表示语言》(《欧洲人工智能会议论文集》,《欧洲人工智慧会议论文集,匈牙利布达佩斯》(1996))
[24] 利维,A.Y。;Rousset,M.-C.,《递归角规则和描述逻辑结合的限制》(Proc.AAAI-96)。程序。俄勒冈州波特兰市AAAI-96(1996))
[25] 利维,A.Y。;Rousset,M.-C.,基于遏制检查的知识库验证,人工智能,101,1-2227-250(1998)·兹伯利0909.68172
[26] 莱维,A.Y。;Sagiv,Y.,《独立于更新的查询》,(第19届VLDB会议,第19届爱尔兰都柏林VLDB会议(1993)),171-181
[27] 利维,A.Y。;Sagiv,Y.,《数据日志程序中的语义查询优化》,(第14届ACM SIGACTSIGMOD-SIGART数据库系统原理研讨会论文集,第14届美国计算机学会SIGACTSIMOD-SIGAR数据库系统原理会议论文集,加利福尼亚州圣何塞(1995)),163-173
[28] MacGregor,R.M.,演绎模式匹配器(Proc.AAAI-88)。程序。AAAI-88,明尼苏达州圣保罗(1988)),403-408
[29] MacGregor,R.M.,谓词演算的描述分类器(Proc.AAAI-94)。程序。AAAI-94,西雅图,华盛顿州(1994年),213-220
[30] 马梅德,M。;Monteiro,L.,《用于分类推理的约束逻辑编程方案》(1992年国际逻辑编程会议论文集)
[31] Petalson,C.,《背部系统:概述》(Proc.SIGART Bull.,2(1991)),114-119,3
[32] Sagiv,Y.,《优化数据日志程序》(Minker,J.,演绎数据库和逻辑编程基础(1988),Morgan Kaufmann:Morgan Koufmann Los Altos,CA),659-698
[33] 施密特-沙乌β,M。;Smolka,G.,带补语的归因概念描述,人工智能,48,1,1-26(1991)·Zbl 0712.68095号
[34] Smolka,G.,《统一文法的特征约束逻辑》,《逻辑编程杂志》,12,51-87(1992)·Zbl 0754.68108号
[35] Ullman,J.D.,(数据库和知识库系统原理,卷I.II(1989),计算机科学出版社:计算机科学出版社,马里兰州罗克维尔)
[36] Vardi,M.,类型化模板依赖的蕴涵和有限蕴涵问题,《计算机与系统科学杂志》,28,1,3-28(1984)·Zbl 0586.68084号
[37] Wahlster,W。;安德烈,E。;W·芬克勒。;Profitlich,H.J。;Rist,T.,自然语言和图形生成的基于平面的集成,人工智能,63,1-2,387-428(1993)
[38] Wright,J.R。;Weixelbaum,E.S。;Brown,K。;Vesender,G.T。;Palmer,S.R。;伯曼,J.I。;Moore,H.H.,《支持at&T网络系统销售、工程和制造的基于知识的配置器》(人工智能创新应用会议(1993年),第183-193页)
[39] Yen,J.,《推理规则特殊性的原则方法》(Proc.AAAI-90)。程序。波士顿AAAI-90。马萨诸塞州(1990)),701-707
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。