×

模糊逻辑编程的top-\(k\)查询应答过程。 (英语) Zbl 1254.68062号

摘要:我们提出了一种用于模糊逻辑编程的top-\(k\)查询应答过程,其中任意可计算函数可能出现在规则体中以操作真值。一旦事实集变得相当大,排名靠前的问题,即确定查询的排名靠前答案就变得很重要。

MSC公司:

68N17号 逻辑编程

软件:

FRIL公司
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Alsinet,T。;Godo,L.,《带有模糊命题变量的模糊命题变量可能性逻辑规划的完整演算》,(第16届人工智能不确定性会议论文集(UAI-00)(2000),摩根·考夫曼),1-10
[2] Alsinet,T。;Godo,L.,《用模糊常数实现一阶可能逻辑编程的自动演绎系统》,《国际智能杂志》。系统。,17, 9, 887-924 (2002) ·Zbl 1021.68022号
[3] Alsinet,T。;戈多,L。;Sandri,S.,《关于PLFC的语义和自动演绎》,(第十五届人工智能不确定性年会论文集(UAI-99)(1999))
[4] H.R.Andersen,《同时固定点的局部计算》,技术报告PB-420,DAIMI,1992年,另见⟨网址:http://www.itu.dk/people/hra/thesis.pdf; H.R.Andersen,《同时固定点的局部计算》,技术报告PB-420,DAIMI,1992年,另见⟨http://www.itu.dk/people/hra/thesis.pdf
[5] (Baader,F.;Calvanee,D.;McGuinness,D.;Nardi,D.;Patel-Schneider,P.F.,《描述逻辑手册:理论、实现和应用》(2003),剑桥大学出版社)·Zbl 1058.68107号
[6] Baldwin,J.F.,《人工智能大规模分配理论》(计算机科学讲义,第833卷(1994)),22-34
[7] 鲍德温,J.F。;马丁·T·P。;Pilsworth,B.W.,《人工智能中的Fril-Fuzzy和证据推理》(1995),研究出版社。
[8] Baral,C。;Gelfond,M。;Rushton,N.,《带答案集的概率推理》,(第七届逻辑编程和非单调推理国际会议论文集(LPNMR-04),《人工智能讲义》,第2923卷(2004),Springer-Verlag:Springer-Verlag Fort Lauderdale,FL,USA),21-33·Zbl 1122.68361号
[9] 布鲁诺,N。;南部乔杜里。;Gravano,L.,关系数据库上的Top-\(k)选择查询:映射策略和性能评估,ACM Trans。数据库系统。,27, 2, 153-187 (2002)
[10] Calvanee,D。;德贾科莫,G。;伦博,D。;Lenzerini,M。;Rosati,R.,描述逻辑中查询应答的数据复杂性,(第十届知识表示与推理原理国际会议论文集(KR-06)(2006)),260-270
[11] 曹天华,带注释的模糊逻辑程序,模糊集系统。,113277-298(2000年)·Zbl 0951.68015号
[12] Chang,K.C.-C。;won Hwang,S.,最小探测:为顶级查询支持昂贵的谓词,(SIGMOD会议(2002)),346-357
[13] Chesñevar,C。;Simari,G。;Alsinet,T。;Godo,L.,《模糊知识可能性论证的逻辑编程框架》,(《第20届人工智能不确定性年会论文集》(UAI-04)(2004),AUAI出版社:弗吉尼亚州阿灵顿AUAI出版公司),76-84
[14] 乔塔拉斯,A。;Stamou,G.B。;Stafylopatis,A.,带加权模糊规则的综合查询应答,(第九届欧洲不确定性推理符号和定量方法会议(ECSQARU-07),计算机科学讲义,第4724卷(2007),Springer-Verlag),767-778·Zbl 1148.68505号
[15] 乔塔拉斯,A。;Stamou,G.B。;Stafylopatis,A.,加权模糊逻辑程序语义的自顶向下计算,(Web推理和规则系统,第一届国际会议(RR-07)(2007)),364-366
[16] 达马西奥,哥伦比亚特区。;Pereira,L.M.,混合概率逻辑程序作为剩余逻辑程序,Studia Logica,72,1,113-138(2002)·Zbl 1053.68033号
[17] 达马西奥,哥伦比亚特区。;麦地那,J。;Ojeda-Aciego,M.,《分类多伴随逻辑程序:终止结果和应用》,(第九届欧洲人工智能逻辑会议论文集(JELIA-04),《计算机科学讲义》,第3229卷(2004),斯普林格出版社),252-265·Zbl 1111.68379号
[18] 达马西奥,哥伦比亚特区。;Pereira,L.M.,排序单调逻辑程序及其嵌入,(第十届基于知识系统的信息处理和不确定性管理国际会议论文集(IPMU-04)(2004)),807-814
[19] 达马西奥,C.V。;麦地那,M。;Ojeda-Aciego,J.,一阶剩余逻辑程序的制表程序,(IEEE计算智能世界大会论文集(第模糊系统部分)(WCCI-06)(2006)),9576-9583
[20] 达马西奥,哥伦比亚特区。;麦地那,M。;Ojeda-Aciego,J.,一阶剩余逻辑程序的制表程序,(第十一届基于知识系统的信息处理和不确定性管理国际会议论文集(IPMU-06)(2006))·Zbl 1122.68025号
[21] 达马西奥,哥伦比亚特区。;麦地那,M。;Ojeda-Aciego,J.,《信息不完全的逻辑程序的终止:应用程序和查询过程》,J.Appl。逻辑,7,5,435-458(2007)·Zbl 1122.68025号
[22] Dantsin,E。;艾特,T。;Gottlob,G。;Voronkov,A.,逻辑编程的复杂性和表达能力,ACM计算。调查。,33, 3, 374-425 (2001)
[23] Dekhtyar,A。;Dekhtyar,M.I.,《重新审视区间概率逻辑程序的语义》,(第八届逻辑编程和非单调推理国际会议(LPNMR-05),《计算机科学讲义》,第3662卷(2005),斯普林格-Verlag),330-342·兹比尔1152.68403
[24] Denecker,M。;佩洛夫,N。;Bruynooghe,M.,《具有聚合的逻辑程序的基础良好且稳定的终极语义》,(Codognet,P.,《逻辑编程》,第17届国际会议,ICLP 2001,塞浦路斯帕福斯,2001年11月26日至12月1日,计算机科学论文集,第2237卷(2001),斯普林格),212-226·Zbl 1053.68526号
[25] Dubois,D。;朗·J。;Prade,H.,《走向可能性逻辑编程》,(第八届逻辑编程国际会议论文集(ICLP-91)(1991),麻省理工学院出版社),581-595
[26] 易卜拉欣,R.,模糊逻辑编程,模糊集系统。,117, 2, 215-230 (2001) ·Zbl 0985.68010号
[27] Fagin,R.,《组合模糊信息:概述》,SIGMOD Rec.,31,2,109-118(2002)
[28] 费金,R。;Lotem,A。;Naor,M.,中间件的最优聚合算法,(数据库系统原理研讨会(2001))·Zbl 1054.68042号
[29] Fitting,M.C.,《逻辑编程的定点语义——综述》,Theoret。计算。科学。,21, 3, 25-51 (2002) ·Zbl 1002.68023号
[30] Guller,D.,模糊析取程序的过程语义,(Baaz,M.;Voronkov,A.,《程序设计、人工智能和推理逻辑第九届国际会议》,LPAR 2002,第比利斯,佐治亚州,2002年10月14日至18日,《计算机科学论文集》,第2514卷(2002),Springer),247-261·Zbl 1023.03537号
[31] 伊利亚斯,I.F。;Aref,W.G。;Elmagarmid,A.K.,支持关系数据库中的top-\(K\)连接查询,(第29届超大数据库国际会议论文集(VLDB-03)(2003)),754-765
[32] 伊利亚斯,I.F。;Aref,W.G。;Elmagarmid,A.K。;Elmongui,H.G。;沙阿·R。;Vitter,J.S.,关系数据库中的自适应等级感知查询优化,ACM Trans。数据库系统。,31, 4, 1257-1304 (2006)
[33] M.Ishizuka,N.Kanai,Prolog ELF:结合模糊逻辑,载于:《第九届国际人工智能联合会议论文集》(IJCAI-85),加利福尼亚州洛杉矶,1985年,第701-703页。;M.Ishizuka,N.Kanai,Prolog-ELF:结合模糊逻辑,收录于《第九届国际人工智能联合会议论文集》(IJCAI-85),加利福尼亚州洛杉矶,1985年,第701-703页。
[34] 朱利安·伊兰佐,P。;莫雷诺,G。;麦地那,J。;Ojeda-Aciego,M.,《模糊查询应答的有效阈值制表法》,(《不确定性推理基础》,《模糊性与软计算研究》,第249卷(2010)),125-141·Zbl 1202.68090号
[35] Kersting,K。;De Raedt,L.,《贝叶斯逻辑编程:理论和工具》,(Getoor,L.;Taskar,B.,《统计关系学习导论》(2007),麻省理工学院出版社),(第10章)
[36] Khamsi,M.A。;Misane,D.,《逻辑编程中的不动点定理》,《数学年鉴》。Artif公司。智力。,21, 231-243 (1997) ·Zbl 0890.68025号
[37] Kifer,M。;李艾(On the semantics of rule-based expert systems with uncertainment.On the语义of rule-based experts systems.On semantic of rules experts systems with incertainty,Proceedings of the International Conference On Database Theory(ICDT-88),《计算机科学讲义》,第326卷(1988),施普林格出版社,102-117·Zbl 0652.68109号
[38] Kifer,M。;Subrahmanian,V.S.,广义注释逻辑编程理论及其应用,J.logic Prog。,12, 335-367 (1992)
[39] 克拉奇,S。;Lencses,R。;Vojtás,P.,《模糊与注释逻辑编程的比较》,模糊集系统。,144, 173-192 (2004) ·Zbl 1065.68024号
[40] Lakshmanan,L.V.S。;Sadri,F.,《概率演绎数据库理论》,理论实践。逻辑程序。,1, 1, 5-42 (2001)
[41] 拉克什曼,L.V.S。;Shiri,N.,《具有不确定性的演绎数据库的参数化方法》,IEEE Trans。知识数据工程,13,4,554-570(2001)
[42] 李,C。;Chang,K.C.-C。;Ilyas,I.F.,支持特别排名聚合,(2006年ACM SIGMOD国际数据管理会议记录(SIGMOD-06)(2006),ACM出版社:美国ACM出版社),61-72
[43] 李,C。;Chang,K.C.-C。;伊利亚斯,I.F。;Song,S.,RankSQL:关系top-\(k)查询的查询代数和优化,(2005年ACM SIGMOD国际数据管理会议论文集(SIGMOD-05)(2005),ACM出版社:美国纽约州纽约市ACM出版社),131-142
[44] Loyer,Y。;美国斯特拉契亚,《逻辑编程中的任意世界假设》,理论。计算。科学。,342, 2-3, 351-381 (2005) ·Zbl 1077.68013号
[45] Loyer,Y。;美国斯特拉契亚,《稳定模型语义学的认识论基础》,J.理论与实践。逻辑程序。,6, 355-393 (2006) ·兹比尔1110.68070
[46] Loyer,Y。;美国斯特拉契亚,《格上的近似良好语义、查询应答和广义正规逻辑程序》,《数学年鉴》。Artif公司。智力。,55, 3-4, 389-417 (2009) ·Zbl 1186.68098号
[47] 卢,J.J。;Calmet,J。;Schü,J.,计算多值逻辑程序,数学。软计算。,2, 4, 129-153 (1997) ·Zbl 0880.68014号
[48] T.Lukasiewicz,概率逻辑编程,摘自:《第13届欧洲人工智能会议论文集》(ECAI-98),英国布莱顿,1998年8月,第388-392页。;T.Lukasiewicz,概率逻辑编程,摘自:《第13届欧洲人工智能会议论文集》(ECAI-98),布莱顿(英国),1998年8月,第388-392页。
[49] Lukasiewicz,T.,带条件约束的概率逻辑编程,ACM Trans。计算。逻辑,2,3,289-339(2001)·Zbl 1171.68762号
[50] Lukasiewicz,T。;Straccia,U.,语义网模糊下描述逻辑程序的Top-(k)检索,(第一届可扩展不确定性管理国际会议论文集(SUM-07),计算机科学讲义,第4772卷(2007),Springer-Verlag),16-30
[51] 卢卡塞维奇,T。;美国斯特拉契亚,《语义网答案集语义下的紧密耦合模糊描述逻辑程序》,国际期刊Semant。Web信息系统。,4, 3, 68-89 (2008)
[52] Lukasiewicz,T。;美国斯特拉契亚,《概率不确定性和模糊模糊性下的逻辑程序描述》,国际近似杂志。原因。,50, 6, 837-853 (2009) ·兹比尔1191.68691
[53] 玛丽安。;布鲁诺,N。;Gravano,L.,《评估网络可访问数据库上的顶级(k)查询》,ACM Trans。数据库系统。,29, 2, 319-362 (2004)
[54] Mateis,C.,《定量析取逻辑编程:语义和计算》,AI Commun。,13, 225-248 (2000) ·Zbl 0967.68030号
[55] 麦地那,J。;Ojeda-Aciego,M.,多伴随逻辑编程,(第十届基于知识系统的信息处理和不确定性管理国际会议论文集(IPMU-04)(2004)),823-830
[56] 麦地那,J。;Ojeda-Aciego,M。;Vojtás,P.,《具有连续语义的多伴随逻辑编程》,(第六届逻辑编程和非单调推理国际会议论文集(LPNMR-01),《人工智能讲义》,第2173卷(2001),斯普林格-Verlag),351-364·Zbl 1007.68023号
[57] 梅吉尼,C。;塞巴斯蒂亚尼,F。;《多媒体信息检索模型》,J.ACM,48,5,909-970(2001)·兹比尔1323.68257
[58] S.Muggleton,《随机逻辑程序》,载于:L.De Raedt(编辑),第五届归纳逻辑程序设计国际研讨会论文集,鲁汶大学计算机科学系,1995年,第29页。;S.Muggleton,《随机逻辑程序》,载于:L.De Raedt(编辑),第五届归纳逻辑程序设计国际研讨会论文集,计算机科学系,卡托利克大学鲁汶分校,1995年,第29页·Zbl 1017.68098号
[59] Mukaidono,M.,《模糊逻辑编程基础》(fuzzy Systems-应用与理论进展,第1卷(1996年),《世界科学:世界科学新加坡》)·2014年3月8日
[60] Ng、R。;Subrahmanian,V.S.,概率演绎数据库的稳定模型语义,(Ras,Z.W.;Zemenkova,M.,第六届智能系统方法学国际研讨会论文集(ISMIS-91),人工智能讲义,第542卷(1991年),Springer-Verlag),163-171·Zbl 0804.68026号
[61] Ng、R。;Subrahmanian,V.S.,概率逻辑编程,Inf.Comput。,101, 2, 150-201 (1993) ·Zbl 0781.68038号
[62] 尼古拉斯,P。;加西亚,L。;Stéphan,I.,可能性稳定模型,(第19届国际人工智能联合会议论文集(IJCAI-05)(2005年),Morgan Kaufmann出版社),248-253
[63] 诺特曼,H。;Straccia,U.,sPLMap:一种模式匹配的概率方法,(第27届欧洲信息检索研究会议论文集(ECIR-05),计算机科学讲义,第3408卷(2005年),Springer-Verlag:Springer-Verlag Santiago de Conmpostela,西班牙),81-95
[64] Ragone,A。;美国斯特拉契亚。;Di Noia,T。;Di Sciascio,E。;Donini,F.M.,《p2p电子市场中配对的模糊知识库》,(第四届欧洲语义网络会议(ESWC-07),《计算机科学讲义》,第4519卷(2007),斯普林格-Verlag),414-428
[65] Ragone,A。;Straccia,美国。;Di Noia,T。;Di Sciascio,E。;Donini,F.M.,使用数据日志的对等实体电子市场中的模糊匹配,模糊集系统。,160, 2, 251-268 (2009)
[66] Ré,C。;Dalvi,N。;Suciu,D.,概率数据的高效top-(k)查询评估,(第23届国际数据工程会议论文集(ICDE-07)(2007),IEEE计算机学会)
[67] Shapiro,E.Y.,《具有不确定性的逻辑程序:实现基于规则的系统的工具》(第八届国际人工智能联合会议论文集(IJCAI-83)(1983)),529-532
[68] 索利曼,医学硕士。;伊利亚斯,I.F。;Chang,K.C.,不确定数据库中的查询处理,(第23届国际数据工程会议论文集(ICDE-07)(2007),IEEE计算机学会),896-905
[69] Straccia,U.,《不确定性下正常逻辑程序的查询应答》,(第八届欧洲不确定性推理符号和定量方法会议(ECSQARU-05),《计算机科学讲义》,第3571卷(2005年),《Springer-Verlag:Springer-Verlag Barcelona,西班牙),687-700·Zbl 1122.68672号
[70] Straccia,U.,《逻辑编程中的不确定性管理:简单有效的自上而下查询应答》,(Khosla,R.;Howlett,R.J.;Jain,L.C.,第九届基于知识和智能信息与工程系统国际会议(KES-05),第二部分,计算机科学讲义,第3682卷(2005),斯普林格·弗拉格:澳大利亚墨尔本斯普林格尔·弗拉格),753-760
[71] U.Straccia,《回答模糊DL-Lite中的模糊查询》,载于《第十一届基于知识的系统中的信息处理和不确定性管理国际会议论文集》(IPMU-06),E.D.K.,巴黎,2006年,第2238-2245页。;U.Straccia,《在模糊DL-Lite中回答模糊查询》,载于:第11届知识系统不确定性信息处理和管理国际会议论文集(IPMU-06),E.D.K.,巴黎,2006年,第2238-2245页。
[72] 斯特拉契亚,U.,《演绎数据库中的Towards top-\(k)query answering in deductive databases》,(2006 IEEE International Conference on Systems,Man and Controlnetics(SMC-06)(2006),IEEE),4873-4879
[73] Straccia,U.,Towards top-\(k\)query answering in description logics:the case of DL-Lite,(《第十届欧洲人工智能逻辑会议论文集》(JELIA-06),《计算机科学讲稿》,第4160卷(2006),斯普林格出版社:英国利物浦斯普林格公司),439-451·Zbl 1152.68618号
[74] Straccia,U.,《任意世界假设下正常逻辑程序的自上而下查询应答程序》,(第九届欧洲不确定性推理的符号和定量方法会议论文集(ECSQARU-07),《计算机科学讲义》,第4724卷(2007),斯普林格-Verlag),115-127·Zbl 1148.68336号
[75] Straccia,U.,《面向基于逻辑的信息检索的逻辑编程中的模糊查询应答》,(国际模糊系统协会世界大会(IFSA-07),《计算机科学讲稿》,第4529卷(2007),Springer-Verlag:Springer-Verlag Cancun,墨西哥),125-134·Zbl 1202.68160号
[76] 美国斯特拉契亚,《模糊描述逻辑程序》(Marsala,C.;Bouchon-Meunier,B.;Yager,R.R.;Rifqi,M.,《不确定性和智能信息系统》(2008),《世界科学》,405-418,(第29章)·Zbl 1171.68754号
[77] 美国斯特拉契亚,《管理描述逻辑中的不确定性和模糊性》(Reasoning Web,第四国际暑期学校,教程,计算机科学讲稿,第5224卷(2008年),斯普林格-Verlag),54-103
[78] 美国斯特拉契亚,《一个以本体为中介的多媒体信息检索系统》,(第40届多值逻辑国际研讨会论文集(ISMVL-10)(2010),IEEE计算机学会),319-324
[79] 美国斯特拉契亚,《SoftFacts:一个以本体论为中介的关系数据库访问的顶级检索引擎》(SoftFacts:a top-\(k)retrieval engine for ontology mediated access to relational database),(2010 IEEE International Conference on Systems,Man and Controlnetics(SMC-10)(2010),IEEE Computer Society,4115-4122
[80] Ullman,J.D.,《数据库和知识库系统原理》,第卷。1和2(1989),计算机科学出版社:计算机科学出版社,马里兰州波托马克
[81] van Emden,M.H.,定量演绎及其不动点理论,《逻辑进展》。,4, 1, 37-53 (1986) ·Zbl 0609.68068号
[82] Vojtás,P.,模糊逻辑编程,模糊集系统。,124, 361-370 (2001) ·Zbl 1015.68036号
[83] Vojtás,P.,语义网络搜索最佳答案的模糊逻辑聚合,(Sanchez,E.,《模糊逻辑与语义网络》,捕获智能(2006),爱思唯尔出版社),341-359,(第17章)
[84] 沃伊塔斯,P。;Vomlelová,M.,不完全信息逻辑编程模型之间演绎和归纳任务的转换,(第十届基于知识系统的信息处理和不确定性管理国际会议论文集,(IPMU-04)(2004)),839-846
[85] Wagner,G.,模糊和可能性逻辑程序中的否定,(Martin,T.;Arcelli,F.,逻辑编程和软计算(1998),研究出版社)
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。