×
唐纳德·洛夫兰。;阿德南·H·叶海亚。

SATCHMOREBID：具有双向相关性的SATCHMO（RE）。 （英语） Zbl 1089.68546号

新一代计算机。 21，第3期，177-207（2003）.
摘要：SATCHMORE是作为一种将相关性测试与模型生成定理证明程序SATCHMO集成的机制引入的。这使得有可能避免引用一些没有反驳的条款，这是SATCHMO方法的一个主要缺陷。然而，SATCHMORE相关性是由整个否定从句驱动的，对查询否定没有区别。在不利的情况下，例如存在大量负面数据，这可能会降低SATCHMORE的效率。本文介绍了SATCHMO的进一步细化，称为SATCHMOREBID.SATCHMORE，具有双向相关性。SATCHMOREBID在开始时仅使用查询的否定来确定相关性。只有在使用当前的否定从句集无法反驳的情况下，才会根据需要引入其他否定从句。与基于反向链接的SATCHMORE中的相关性传播不同，相关否定子句的搜索是以正向链接模式执行的。SATCHMOREBID被证明是合理且完整的。在原型SATCHMOREBID实现上的实验表明，它可以提高析取数据库中查询应答过程的效率。

引用于1文件

理学硕士：

第68页，共15页 数据库理论
第68页第15页 定理证明（演绎、解析等）（MSC2010）

关键词：

析取演绎数据库;双向搜索;相关性

软件：

萨奇莫;I-卫星;DWAM公司;萨彻姆ID
PDF格式BibTeX公司 XML格式引用
\textit{D.W.Loveland}和\textit{A.H.Yahya}，新一代计算。21，第3177-207号（2003年；兹bl 1089.68546）
全文： 内政部

参考文献：

[1] Bancilhon，F.、Sagiv，Y.和Ullman，J.，“实现逻辑程序的魔法集和其他奇怪方法”，inProc。第五届ACM SIGMOD-SIGART数据库系统原理研讨会（PODS），第1-151986页。
[2] Bry，F.和Yahya，A.，“具有正单元超分辨率表的最小模型生成”，《自动推理杂志》，25，1，第35-82页，2000年·Zbl 0960.03006号 ·doi:10.1023/A:1006291616338
[3] Bry，F.，“递归数据库中的查询评估：自下而上和自上而下协调”，《数据与知识工程》，第5期，第289–3121990页·doi:10.1016/0169-023X（90）90017-8
[4] Chang，C.L.和Lee，K.C.，《符号逻辑和机械定理证明》，学术出版社，纽约，1973年·Zbl 0263.68046号
[5] Demolombe，R.，“非horn演绎数据库的有效策略”，《理论计算机科学》，第78期，第245-259页，1991年·Zbl 0716.68027号 ·doi:10.1016/0304-3975（51）90010-2
[6] Eiter，T.和Gottlob，G.，“析取数据库各种语义的复杂性”，inProc。第十二届ACM SIGACT SIGMOD-SIGART数据库系统原理研讨会（PODS-93），第158-1671993页。
[7] Hasegawa，R.，Inoue，K.，Ohta，Y.和Koshimura，M.，《将自上而下推理纳入自下而上定理证明的非角魔法集》。第十七届自动扣款大会（CADE097），第176–190页，1997年。
[8] 他，L.，“I-SATCHMO:SATCHMO的改进”，《自动推理杂志》，27，3，第313–3222001页·Zbl 0988.68167号 ·doi:10.1023/A:1017594402123
[9] He，L.，“UNSEARCHMO:消除回溯上的冗余搜索空间以证明前向链定理”，inProc。国际人工智能联合会议（IJCAI-2001），第618-6232001页。
[10] He，L.，Chao，Y.，Shimajiri，T.，Seki，H.和Itoh，H.，“A-SATCHMORE:SATCHMORE with Availability Checking”，《新一代计算》，第16期，第1期，第55–74页，1998年·doi:10.1007/BF03037320
[11] He，L.，Chao，Y.，Nakamura，T.和Itoh，H.，“定理证明器A-SATCHMORE的改进”，《日本人工智能学会杂志》，第15、6页，第1125–1129页，2000年。
[12] Johnson，C.A.，“不确定演绎数据库中的自上而下演绎”，《唐尼历险记》，第119–138页，1993年。
[13] Lloyd，J.，《逻辑编程基础》（第二版），施普林格出版社，1987年·Zbl 0668.68004号
[14] Lobo，J.，Minker，J.和Rajasekar，A.，《析取逻辑编程基础》，麻省理工学院出版社，1992年·Zbl 0755.68033号
[15] Loveland，D.W.，《Near Horn Prolog》，收录于《Proc》。第四届逻辑程序设计国际会议，麻省理工学院出版社，第456–469页，1987年。
[16] Loveland，D.W.，Reed，D.和Wilson，D.，“SATCHMORE:SATCHMO with RElevancy”，《自动推理杂志》，第14期，第325-351页，1995年7月·Zbl 0939.68824号 ·doi:10.1007/BF00881861
[17] Manthey，R.和Bry，F.，“SATCHMO:在Prolog中实现的定理证明器”，《Proc。第九届自动化数据还原会议（CADE-9），Springer Verlag，第415-434页，1988年·Zbl 0668.68104号
[18] Ohta，Y.，Inoue，K.和Hasegawa，R.，“关于非天生魔法集和相关性测试之间的关系”，《Proc》。第十五届自动扣除国际会议（CADE-15），Springer Verlag，第333–348页，1998年·Zbl 0926.03008号
[19] Plaisted，D.，“机械定理证明的有效关联标准”，《第一届全国人工智能会议论文集》（AAAI-1980），第79-83页，1980年。
[20] Plaisted，D.和Yahya，A.“自动推理的相关性限制策略”，《人工智能》，144，1-2，第59–93页，2003年·Zbl 1079.68093号
[21] Rajasekar，A.和Yusuf，H.，“Dwam–选言逻辑编程的WAM模型扩展”，《数学与人工智能年鉴》，第14期，第275-308页，1995年·doi:10.1007/BF01530824
[22] Ramakrishnan，R.和Sudarshan，S.，《重新审视自上而下与自下而上》，Proc。1991年逻辑程序设计国际研讨会（ISLP’91）。
[23] Ramsay，A.，“生成相关模型”，《自动推理杂志》，第7期，第359-368页，1991年·Zbl 0733.68072号 ·doi:10.1007/BF00249019
[24] Stickel，M.，“模型消除定理的自上而下的元解释——演绎和推导的证明程序”，《自动推理杂志》，第13期，第3期，第349–363页，1994年·Zbl 0819.68113号 ·doi:10.1007/BF00881955
[25] Yahya，A.，“析取演绎数据库中目标驱动查询处理的二重性”，《自动推理杂志》，2002年，第28期，第1期，第1-34页·兹比尔1003.68043 ·doi:10.1023/A:1020109502432
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。