×
拉塞尔·格雷纳

在冗余知识库中寻找最优推导策略。 （英语） Zbl 0738.68076号

Artif公司。智力。 50，第1期，95-115（1991）.
摘要：反向链接过程使用一组规则将给定目标推断为一系列数据库检索。“派生策略”是对这些步骤的排序，指定何时使用每个规则以及何时执行每个检索。考虑到缩减和检索的成本，以及每个特定检索成功的先验可能性，我们可以计算出任何策略的预期成本，以回答给定知识库中的特定查询。D.E.史密斯[同上，39，第2号，145-208（1989年；Zbl 0676.68059号)]提出了一种算法，该算法可以在时间上（本质上）找到任何析取的、无冗余的知识库中规则数量的线性最小代价策略。本文证明了冗余的添加使该任务成为NP-hard。许多基于解释的学习系统通过增加冗余来工作；这表明了他们任务中固有的复杂性。

引用于7文件

MSC公司：

68层35 人工智能语言和软件系统理论（基于知识的系统、专家系统等）
65年第68季度 算法和问题复杂性分析

关键词：

派生策略的成本;NP-完整性;冗余知识库

引文：

Zbl 0676.68059号
PDF格式BibTeX公司 XML格式引用
\textit{R.Greiner}，阿蒂夫。智力。50，编号1，95--115（1991；Zbl 0738.68076）
全文： 内政部

参考文献：

[1] 布鲁西，D。；约瑟夫·D。；Young，P.，NP优化问题的结构概述，（第二届优化算法国际研讨会论文集。第二届最佳算法国际研讨会，计算机科学讲稿（1989），Springer:Springer New York）·Zbl 0704.68004号
[2] Chow，C.，获得合取搜索空间的有效派生策略，（硕士论文（1990），多伦多大学：多伦多大学，安大略省）
[3] DeJong，G。；Mooney，R.，《基于解释的学习：另一种观点》，Mach。学习。，1, 145-176 (1986)
[4] Fikes，R.E。；哈特，体育。；新泽西州尼尔森，学习和执行通用机器人计划，Artif。整数。，3, 251-288 (1972)
[5] Garey，M.R。；Johnson，D.S.，（《计算机与不可处理性：NP-完备性理论指南》（1979），弗里曼：弗里曼纽约）·Zbl 0411.68039号
[6] Genesereth，M.R。；Nilsson，N.J.（人工智能逻辑基础（1987），Morgan Kaufmann:Morgan Koufmann Los Altos，CA）·Zbl 0645.68104号
[7] Greiner，R.，《在冗余知识库中寻找最优派生策略》（技术报告.KRR-TR-89-9（1989），多伦多大学：多伦多大学，安大略省）
[8] 格雷纳，R。；Orponen，P.，《可能是近似最优满足策略》（技术报告KRR-90-1（1990），多伦多大学：多伦多大学，安大略省）
[9] Karp，R.M.，组合问题中的可约性，（Miller，R.E.；Thatcher，J.W.，《计算机计算的复杂性》（1972），Plenum:Plenum New York），第85-103页·Zbl 0366.68041号
[10] Laird，J.E。；A.纽厄尔。；Rosenbloom，P.S.，《SOAR中的分块：一般学习机制的剖析》，马赫。学习。，1, 11-46 (1986)
[11] Likuski，J.，《在知识库中整合冗余学习规则》（硕士论文（1988），多伦多大学：多伦多大学，安大略省）
[12] Minton，S.，《有选择地概括解决问题的计划》（Proceedings IJCAI-85）。《IJCAI-85会议记录》，加利福尼亚州洛杉矶（1985），596-599
[13] Artif公司。整数。，42, 363-391 (1990)
[14] 米切尔，T.M。；凯勒，R.M。；Kedar-Cabelli，S.T.，《基于实例的概括：统一观点》，马赫。学习。，1, 47-80 (1986)
[15] Rosenbloom，P.S.，《目标层次结构的组块：实践和刺激-反应相容性模型》（1983年卡内基梅隆大学博士论文：卡内基梅隆大学匹兹堡分校）
[16] Rosenbloom，P.S。；Newell，A.，《通过组块学习：任务和模型摘要》（Proceedings AAAI-82）。美国宾夕法尼亚州匹兹堡AAAI-82会议记录（1982年）
[17] Russell，S.，《MRS完整指南》，斯坦福KSL报告。HPP-85-12，加利福尼亚州斯坦福（1985）
[18] 西蒙，H.A。；Kadane，J.B.，《最佳问题解决搜索：全部或全部解决方案》，Artif。整数。，6, 235-247 (1975) ·Zbl 0328.68079号
[19] Smith，D.E.，《控制反向推理》，Artif。整数。，39，145-208（1989），也是斯坦福技术报告。逻辑-86-68·Zbl 0676.68059号
[20] 史密斯，D.E。；Genesereth，M.R.，《排序连接查询》，Artif。整数。，26, 171-215 (1985) ·Zbl 0569.68077号
[21] Treitel，R.J。；Genesereth，M.R.，《为规则选择顺序》，J.Autom。推理，3395-432（1987）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。