拉塞尔·格雷纳 理论修正的复杂性。 （英语） Zbl 0996.68068号 Artif公司。智力。 107，第2期，175-217（1999）. 概要：基于知识的系统使用其数据库（也称为“理论”）来生成对其收到的查询的答案。不幸的是，如果基础理论有误，这些答案可能是不正确的。标准的“理论修正”系统使用一组给定的“标记查询”（每个查询都与正确答案配对），通过添加和/或删除规则和/或先行词，将给定的理论转换为尽可能准确的相关理论。在正式定义理论修正任务之后，本文为该过程提供了样本和计算复杂性边界。它首先指定了识别修正理论所需的标记查询的数量，该理论的错误概率接近最小。然后，它考虑了找到这个最佳理论的计算复杂性，并证明，除非（P=NP），否则任何多项式时间算法都无法识别这个最佳修改，即使给定查询的精确分布，但某些简单情况除外。它还表明，除了在这种简单的情况下，任何多项式时间算法都不能产生误差甚至接近最优（即在特定的多项式因子内）的理论。第一个（样本复杂性）结果说明了理论修正比从头开始学习更有效的原因，而第二个（计算复杂性）结果解释了标准理论修正系统的许多方面，包括基于给定的一组标记查询爬山到局部最优理论的实践。 引用于2文件 MSC公司： 65年第68季度 算法和问题复杂性分析 2015年3月1日 计算复杂性（包括隐式计算复杂性） 68层37 人工智能背景下的不确定性推理 68T27型 人工智能中的逻辑 03B42号 知识和信念的逻辑（包括信念变化） 68层35 人工智能语言和软件系统理论（基于知识的系统、专家系统等） 关键词：基于知识的系统;带标签的查询 软件：4.5条 PDF格式BibTeX公司 XML格式引用 \textit{R.Greiner}，阿蒂夫。智力。107，第2号，175--217（1999；Zbl 0996.68068） 全文： 内政部 参考文献： [1] Alchourrón，C.E。；Gärdefors，P。；Makinson，D.，《论理论变化的逻辑：部分满足收缩和修正函数》，《符号逻辑》，50，510-530（1985）·Zbl 0578.03011号 [2] Baffes，P.T。；Mooney，R.J.，《用\（M\）-of-\（N\）规则对理论进行符号修正》（Proceedings IJCAI-93。《法国香槟国际会议记录-93》（1993年） [3] Blumer，A。；埃伦费奇特，A。；Haussler，D。；Warmuth，M.，《可学习性与Vapnik-Chervonenkis维度》，J.ACM，36，4，929-965（1989）·兹比尔0697.68079 [4] Bollobás，B.，《随机图》（1985），学术出版社：纽约学术出版社·Zbl 0567.05042号 [5] Borgida，A。；Etherington，D.，《层次知识库和高效选言推理》（Proceedings KR-89）。诉讼KR-89，安大略省多伦多（1989），33-43·Zbl 0709.68100号 [6] Boros，E。；Crama，Y。；Hammer，P.L.，《霍恩和相关公式所有有效含义的多项式时间推断》，《数学年鉴》。人工智能，1，21-32（1990）·Zbl 0878.68105号 [7] Boutiler，C.，修订序列和嵌套条件，（会议录IJCAI-93。《法国香槟州国际商会会刊-93》（1993年），519-525 [8] 布雷曼，L。；弗里德曼，J。；Olshen，J。；Stone，C.，《分类和回归树》（1984），沃兹沃思和布鲁克斯：沃兹沃斯和布鲁克斯纽约·Zbl 0541.62042号 [9] Chernoff，H.，《基于观测值和的假设检验的渐近效率度量》，《数学年鉴》。统计人员。，23, 493-507 (1952) ·Zbl 0048.11804号 [10] Clark，K.，《否定是失败》（Gallaire，H.；Minker，J.，《逻辑和数据库》（1978），阻燃出版社：加利福尼亚州蒙特利阻燃出版社），293-322 [11] Cohen，W.W.，《从教科书知识中学习：案例研究》（Proceedings AAAI-90）。AAAI-90诉讼，马萨诸塞州波士顿（1990年） [12] Cohen，W.W.，《基于外推解释的学习：多重不一致解释问题的解决方案》，机器学习，8，2，167-219（1992）·Zbl 0754.68094号 [13] Cohen，W.W.，《PAC-learning recursive logic programs:Efficient algorithms》，《人工智能研究杂志》，第2500-539页（1995年）·Zbl 0900.68132号 [14] Cohen，W.W.，《PAC-learning recursive logic programs:Negative results》，《人工智能研究杂志》，第2541-573页（1995年）·Zbl 0900.68133号 [15] Cohen，W.W.，PAC学习非递归序言子句，人工智能，79，1，1-38（1996）·Zbl 1013.68506号 [16] Craw，S。；Sleeman，D.，《基于知识的系统的自动化精炼》（Aiello，L.C.，《ECAI-90会议录》（1990），皮特曼：纽约皮特曼出版社） [17] 克雷森齐，P。；Panconesi，A.，近似类的完整性，Inform。和计算。，93, 2, 241-262 (1991) ·Zbl 0734.68039号 [18] Dalal，M.，《知识库修正理论的调查：初步报告》（Proceedings AAAI-88）。美国明尼苏达州圣保罗AAAI-88会议记录（1988），475-479 [19] Dalal，M。；Etherington，D.，使用有限词汇进行可牵引近似推导，（第九届加拿大人工智能会议论文集。第九届加拿大人工智能会议论文集，不列颠哥伦比亚省温哥华（1992）） [20] Darwiche，A。；Pearl，J.，《论迭代信念修正的逻辑》（Proceedings TARK-94（1994）），5-23 [21] Dechter，R。；Pearl，J.，关系数据中的结构识别，人工智能，58，1-3，237-270（1992）·兹比尔0782.68095 [22] 多伊尔，J。；Patil，R.，《知识表示的两篇论文：语言限制、分类分类和表示服务的效用》，《人工智能》，48，3，261-297（1991） [23] Dzeroski，S。；麻格尔顿，S。；Russell，S.，确定逻辑程序的PAC可学习性，（第五届计算学习理论研讨会论文集。第五届计算学习理论研讨会论文集，宾夕法尼亚州匹兹堡（1992）） [24] 埃伦菲赫特，A。；Haussler，D.，学习所需示例数量的一般下限，Inform。和计算。，82, 3, 247-251 (1989) ·Zbl 0679.68158号 [25] 艾特，T。；Gottlob，G.，《命题知识库修正、更新和反事实的复杂性》，人工智能，57227-270（1992）·Zbl 0763.68038号 [26] 弗雷泽，M。；Pitt，L.，《从蕴涵中学习：命题角句的应用》（Proceedings IML-93（1993），Morgan Kaufmann:Morgan Koufmann London），120-127 [27] 弗伦德，M。；Lehmann，D.，信念修正和理性推理，（技术报告TR-94-16（1994），希伯来大学） [28] 弗里德曼，N。；Halpern，J.，《信念修正：批判》（Proceedings KR-96（1996））·Zbl 0949.03017号 [29] Gärdenfors，P.，《流动中的知识：认知状态动力学建模》（1988年），布拉德福德出版社/麻省理工学院出版社：布拉德福德书店/麻省理工学院出版社，马萨诸塞州剑桥·Zbl 1229.03008号 [30] Garey，M.R。；Johnson，D.S.，（《计算机与不可处理性：NP-完备性理论指南》（1979），弗里曼：马萨诸塞州弗里曼剑桥）·Zbl 0411.68039号 [31] Greiner，R.，《修改逻辑程序的复杂性》，J.logic Programming（1999），（待出版）·Zbl 0937.68024号 [32] 格雷纳，R。；格罗夫，A.J。；Kogan，A.，《知道什么无关紧要：利用不相关数据的遗漏》，《人工智能》，97，345-380（1997）·Zbl 0904.68141号 [33] 格雷纳，R。；Schuurmans，D.，学习有用的Horn近似，（Nebel，B.；Rich，C.；Swartout，W.，Proceedings KR-92（1992），Morgan Kaufmann:Morgan Koufmann New York） [34] Gogic，G。；Papadimitriou，C.H。；Sideri，M.，《知识的增量重新编译》，（论文集AAAI-94。《AAAI-94会议记录》，西雅图，华盛顿州（1994），922-927·Zbl 0895.68133号 [35] Haussler，D.，《量化归纳偏差：AI学习算法和Valiant的学习框架》，《人工智能》，36177-221（1988）·Zbl 0651.68104号 [36] Hayes-Roth，F。；Jacobstein，N.，《知识工程系统》，ACM委员会，27-39（1994） [37] Heckerman，D.E.，贝叶斯网络学习教程，技术报告MSR-TR-95-06（1995），微软研究 [38] Hinton，G.，《连接主义学习程序，人工智能》，40，1-3，185-234（1989） [39] Kann，V.，《关于NP-完全优化问题的近似性》（博士论文（1992），皇家理工学院：皇家理工大学圣马特奥分校，加利福尼亚州） [40] Katsuno，H。；Mendelzon，A.，《关于更新知识库和修改知识库之间的差异》（Proceedings KR-91）。《诉讼KR-91》，马萨诸塞州波士顿（1991），387-394·兹伯利0765.68197 [41] Kautz，H.公司。；卡恩斯，M。；Selman，B.，《特征模型推理》（Proceedings AAAI-93）。《AAAI-93会议记录》，华盛顿特区（1993年），34-39 [42] Kautz，H.公司。；卡恩斯，M。；Selman，B.，《经验数据的Horn近似值》，人工智能，74129-145（1995）·Zbl 1014.03514号 [43] 卡恩斯，M。；Shapire，R.E.，概率概念的高效无分布学习（计算机科学基础第31届研讨会论文集（1990）） [44] M.J.卡恩斯。；夏皮雷，R.E。；Sellie，L.M.，《迈向有效的不可知论学习》（Proceedings Fifth ACM Workshop on Computed Learning Theory），第五届ACM计算学习理论研讨会论文集，宾夕法尼亚州匹兹堡（1992），341-352 [45] Khardon，R。；Roth，D.，《学会推理》（AAAI-94号论文集）。诉讼AAAI-94，西雅图，华盛顿州（1994），682-687 [46] Khardon，R。；Roth，D.，《模型推理》（Proceedings AAAI-94）。《AAAI-94会议记录》，西雅图，华盛顿州（1994），1148-1153 [47] 兰利，P。；Drastal，G。；Rao，R.B。；Greiner，R.，《故障层次理论修正》，（第五届诊断原理国际研讨会论文集（DX-94）。第五届诊断原理国际研讨会论文集（DX-94），纽约州纽帕尔茨（1994） [48] Levesque，H.J.，《知识表示的功能方法基础》，人工智能，23155-212（1984）·Zbl 0548.68090号 [49] Ling，C.X.F。；Valtorta，M.，关于精炼确定性因子的计算复杂性的一些结果，国际。J.近似原因。，5, 121-148 (1991) [50] Ling，C.X.F。；Valtorta，M.，通过约简对不确定规则库进行精化，国际。J.近似原因。，1995年12月13日·Zbl 0941.68760号 [51] Linial，N。；Mansour，Y。；Rivest，R.，关于可学习性和Vapnik Chervonenkis维度的结果，（美国计算机学会计算学习理论研讨会论文集（1988））·Zbl 0715.68071号 [52] Lund，C。；Yannakakis，M.，关于近似最小化问题的硬度，（第25届ACM计算理论年度研讨会（STOC-93）（1993）），286-293·Zbl 1310.68094号 [53] Mooney，R.，《理论修正的初步PAC分析》，（Petsche，T.；Hanson，S.，第三届计算学习理论和自然学习系统年度研讨会（CLNL-92）（1994），麻省理工学院出版社：麻省理学院出版社斯德哥尔摩）·Zbl 0850.68269号 [54] Muggleton，S.H.，《归纳逻辑编程》（1992），学术出版社：学术出版社，马萨诸塞州剑桥·Zbl 0838.68093号 [55] 麻格尔顿，S。；Buntine，W.，《通过反向解析实现一阶谓词的机器发明》（Proceedings IML-88（1988），Morgan Kaufmann:Morgan Koufmann New York），339-351 [56] Ourston，D。；Mooney，R.J.，《结合分析和实证方法的理论精化》，《人工智能》，66，2，273-310（1994）·Zbl 0807.68089号 [57] Plotkin，G.D.，归纳推理的自动方法，（爱丁堡大学博士论文（1971）：爱丁堡圣马特奥大学，加利福尼亚州）·Zbl 0219.68045号 [58] Politakis，P.G.，《专家系统的实证分析》（Pitman Research Notes in Artificial Intelligence（1985），Pitman:Pitman London）·Zbl 0703.68094号 [59] Quinlan，J.R.，从关系中学习逻辑定义，机器学习，5，3，239-266（1990） [60] 昆兰，J.R.，C4.5：机器学习课程（1992），摩根考夫曼：摩根考夫曼伦敦 [61] Ramakrishman，R。；比里，C。；Krishnamurthy，R.，优化存在数据日志查询，（第七届数据库系统原理研讨会论文集。第七届数据系统原理研讨会，德克萨斯州奥斯汀（1988）），89-102 [62] 塞尔曼，B。；Kautz，H.，《使用霍恩近似法进行知识汇编》（AAAI-91号论文集）。AAAI-91会议记录，加利福尼亚州阿纳海姆（1991），904-909 [63] Shapiro，E.，《算法程序调试》（1983年），麻省理工学院出版社：麻省理学院出版社，加利福尼亚州圣马特奥 [64] Towell，G.，《符号知识和神经网络：插入、精炼和提取》（1991年威斯康星大学：马萨诸塞州威斯康星剑桥大学博士论文） [65] Vapnik，V.N.，基于经验数据的依赖性估计（1982），施普林格：威斯康星州施普林格-麦迪逊·Zbl 0499.62005号 [66] 威尔金斯特区。；Ma，Y.，概率规则集的精化：社会病态交互，人工智能，70,1-32（1994）·Zbl 0938.68846号 [67] Wogulis，J。；Pazzani，M.J.，《评估理论修订系统的方法：与Audrey II的结果》，（《国际期刊汇编》第93期）。《法国香槟国际会议记录-93》（1993年），1128-1134 此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。