×
托马斯·艾特；格奥尔格·戈特洛布

命题知识库修订、更新和反事实的复杂性。 （英语） Zbl 0763.68038号

Artif公司。智力。 57，编号2-3，227-270（1992）.
摘要：我们研究了最近提出的几种在最小变化原则下更新或修改命题知识库的方法的复杂性。特别地，我们导出了以下问题的复杂性结果：给定一个知识库（T）、一个更新（p）和一个公式（q），决定（q）是否可以从更新（或修订）的知识库（Tcirc p）导出。注意，这个问题包括对反事实（p>q）与（T）的求值，即一个条件语句“如果（p），那么（q）”，其中（p）已知或预期为假。我们考虑的一般情况是，（T）是一个任意命题公式（或理论）以及该问题的限制版本，特别是当（T）为Horn子句的连词，或更新的大小由一个常数限定时。

引用于1审查
引用于67文件

MSC公司：

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

关键词：

更新；修正命题知识库；最小变化；反事实

软件：

勒图尔
PDF格式BibTeX公司 XML格式引用
\textit{T.Eiter}和\textit{G.Gottlob}，Artif。智力。57，编号2--3，227--270（1992；Zbl 0763.68038）
全文： 内政部

参考文献：

[1] Alchourrón，C。；Gärdefors，P。；Makinson，D.，《论理论变化的逻辑：部分满足收缩和修正函数》，《符号逻辑》，50，510-530（1985）·Zbl 0578.03011号
[2] Apt，K.，《逻辑编程导论》（技术报告（1987），德克萨斯大学奥斯汀分校计算机科学系）
[3] Borgida，A.，《信息系统中灵活处理异常的语言特性》，ACM Trans。数据库系统。，10, 563-603 (1985)
[4] Bossu，G。；Siegel，P.，饱和，非单调推理和封闭世界假设，Artif。智力。，25，13-63（1985年）·Zbl 0569.68078号
[5] 卡多利，M。；Lenzerini，M.，《封闭世界推理和限制的复杂性》（Proceedings AAAI-90）。《AAAI-90会议录》，马萨诸塞州波士顿（1990），550-555，全文发表于J.计算。系统。科学。
[6] Dalal，M.，《知识库修正理论的调查：初步报告》（Proceedings AAAI-88）。美国明尼苏达州圣保罗AAAI-88会议记录（1988），475-479
[7] Dalal，M.，命题数据库更新，（罗格斯大学计算机科学系技术报告DCS-TR-222（1988））
[8] de Kleer，J.，《基于假设的TMS》，Artif。智力。，28, 127-162 (1986)
[9] 道林，W。；Gallier，J.H.，测试命题Horn理论可满足性的线性时间算法，J.Logic Program。，1867-284年1月3日·Zbl 0593.68062号
[10] 艾特，T。；Gottlob，G.，《命题限定和扩展的封闭世界推理是完全的》，（技术报告CD-TR 91/20（1991），专家系统基督教多普勒实验室：专家系统基督教Doppler实验室TU Vienna），还包括：定理。计算。科学。（出现）·Zbl 0786.68085号
[11] 艾特，T。；Gottlob，G.，诱拐的高级复杂性结果，（技术报告CD-TR 92/35（1992），专家系统基督教多普勒实验室：专家系统基督教超声多普勒实验室，TU维也纳）
[12] 费金，R。；库珀，G。；Ullman，J。；Vardi，M.Y.，《更新逻辑数据库》，（Kanellakis，P.；Preparia，F.，《计算研究进展》，3（1986），日本工业出版社：日本工业出版社，康涅狄格州Greenwhich）
[13] 费金，R。；乌尔曼，J.D。；Vardi，M.Y.，《数据库更新的语义》（Proceedings PODS-83（1983）），第352-365页
[14] Forbus，K.D.，《将行动引入定性模拟》（Proceedings IJCAI-89（1989）），1273-1278·Zbl 0718.68099号
[15] Gärdefors，P.，（《流动知识》（1988），马萨诸塞州底特律市布拉德福德图书出版社：底特律布拉德福德出版社，马萨诸塞诸塞州剑桥市）·Zbl 1229.03008号
[16] Garey，M。；Johnson，D.S.，（计算机与不可恢复性——NP-完全性理论指南（1979），弗里曼：弗里曼纽约）·Zbl 0411.68039号
[17] Gelfond，M。；Przymusinska，H.，《作为失败的否定：仔细的关闭程序》，Artif。智力。，30, 273-287 (1986) ·Zbl 0635.68119号
[18] Gelfond，M。；Przymusinksa，H。；Przymusinski，T.，《关于作为失败的限制和否定之间的关系》，Artif。智力。，38, 75-94 (1989) ·Zbl 0663.68097号
[19] Ginsberg，M.L.，《反事实，艺术》。智力。，30, 35-79 (1986) ·Zbl 0655.03011号
[20] 金斯伯格，M.L.，一个限制定理证明者，人工制品。智力。，39, 209-230 (1989) ·Zbl 0677.68096号
[21] Artif公司。智力。，35, 165-195 (1988) ·Zbl 0645.68109号
[22] Gottlob，G.，非单调逻辑的复杂性结果，J.逻辑计算。，2, 3 (1992) ·Zbl 0765.03012号
[23] Grahne，G.，《更新与反事实》（Proceedings KR-91（1991）），269-276·Zbl 0765.68196号
[24] （非标准问答程序研讨会。非标准问句程序研讨会，法国图卢兹（1991）），33-52·Zbl 0939.68611号
[25] Hartmanis，J.，结构复杂性理论的新发展，定理。计算。科学。，71, 79-93 (1990) ·Zbl 0699.68065号
[26] Johnson，D.S.，《复杂性类目录》（《理论计算机科学手册》，A卷（1990年），Elsevier Science出版社：Elsevie Science Publishers Amsterdam），第2章·Zbl 0900.68246号
[27] 卡丁，J.，（P^{NP[O（log n）]\）·Zbl 0693.68027号
[28] Katsuno，H。；Mendelzon，A.O.，命题知识库更新的统一视图（Proceedings IJCAI-89）。《IJCAI-89会议记录》，密歇根州底特律（1989），1413-1419·兹比尔0719.68071
[29] Katsuno，H。；Mendelzon，A.O.，《关于更新知识库和修改知识库之间的差异》（技术报告KRR-TR-90-6（1990），多伦多大学CS系：安大略省多伦多大学，CS系）·Zbl 0765.68197号
[30] Katsuno，H。；Mendelzon，A.O.，《关于更新知识库和修改知识库之间的差异》（Proceedings KR-91（1991）），387-395·Zbl 0765.68197号
[31] Katsuno，H。；Mendelzon，A.O.，《命题知识库修订和最小更改》，Artif。智力。，52, 253-294 (1991) ·Zbl 0792.68182号
[32] 凯勒，A。；Winslett-Wilkinson，M.，《关于使用扩展关系模型处理不断变化的不完整信息》，IEEE Trans。柔和。工程师，11，7，620-633（1985）
[33] Krentel，M.，《优化问题的复杂性》，J.Compute。系统。科学。，36, 490-509 (1988) ·Zbl 0652.68040号
[34] Lewis，D.（反事实（1973），哈佛大学出版社：哈佛大学出版社，马萨诸塞州剑桥）
[35] Lifschitz，V.，《封闭世界数据库和界限》，Artif。智力。，27, 229-235 (1985) ·Zbl 0596.68062号
[36] 马雷克·W。；Truszczynsky，M.，默认推理的模态逻辑，《数学年鉴》。Artif公司。智力。，1, 275-302 (1990) ·Zbl 0871.03009号
[37] McCarthy，J.，转述——非单调推理的一种形式，人工制品。智力。，13, 27-39 (1980) ·Zbl 0435.68073号
[38] McCarthy，J.，《限定在形式化常识中的应用》，Artif。智力。，28, 89-116 (1986)
[39] McDermott，D.，《非单调逻辑II：非单调模态理论》，J.ACM，29，33-57（1982）·Zbl 0477.68099号
[40] 麦克德莫特，D。；Doyle，J.，非单调逻辑I，Artif。智力。，13, 41-72 (1980) ·Zbl 0435.68074号
[41] Minker，J.，《关于不确定数据库和封闭世界假设》（第六届自动扣除会议论文集）。第六届自动扣除会议记录，纽约（1982年），292-308·Zbl 0481.68087号
[42] Minoux，M.，LTUR：Horn公式和计算机实现的简化线性时间单位分辨率，Inform。过程。莱特。，1988年1月29日至12日·Zbl 0658.68110号
[43] Moore，R.C.，《非单调逻辑的语义考虑》，Artif。智力。，25, 75-94 (1985) ·Zbl 0569.68079号
[44] Nebel，B.，《信念修正的知识水平分析》（Proceedings KR-89）。诉讼KR-89，安大略省多伦多（1989），301-311·Zbl 0709.68091号
[45] Nebel，B.，《信念修正和默认推理：基于句法的方法》（Proceedings KR-91（1991）），417-428·Zbl 0765.68198号
[46] Papadimitriou，C.H。；Yannakakis，M.，《面的复杂性（以及复杂性的某些方面）》，J.Compute。系统。科学。，28, 244-259 (1984) ·Zbl 0571.68028号
[47] Przymusinski，T.，计算边界的算法，人工制品。智力。，38, 49-73 (1989) ·Zbl 0663.68098号
[48] Reiter，R.，《关于封闭世界数据库》（Gallaire，H.；Minker，J.，《逻辑和数据库》（1978），阻燃出版社：纽约阻燃出版社），55-76
[49] Reiter，R.，默认推理逻辑，Artif。智力。，13, 81-132 (1980) ·Zbl 0435.68069号
[50] Rescher，N.，（假设推理（1964），北荷兰：北荷兰阿姆斯特丹）·Zbl 0166.25204号
[51] Rescher，N.（The Coherence Theory of Truth（1973），牛津大学出版社：牛津大学出版社）
[52] Rutenburg，V.，《真相维护系统中的复杂性分类》（Proceedings STACS-91）。会议记录STACS-91，计算机科学讲稿，480（1991），施普林格：施普林格柏林），373-383·Zbl 0773.68043号
[53] Satoh，K.，最小信念修正的非单调推理，（第五代计算机系统国际会议论文集，第五代计算系统国际会议，东京（1988）），455-462
[54] Stockmeyer，L。；Meyer，A.，需要指数时间的单词问题，（第五届ACM计算机理论研讨会论文集（1973）），1-9·Zbl 0359.68050号
[55] Wagner，K.，有界查询类，SIAM J.Compute。，19, 5, 833-846 (1990) ·Zbl 0711.68047号
[56] 韦伯，A.，更新命题公式，（第一届专家数据库系统会议论文集（1986）），487-500
[57] Winslett，M.，《使用可能的模型方法推理行动》（Proceedings AAAI-88）。AAAI-88会议记录，明尼苏达州圣保罗（1988），89-93
[58] Winslett，M.（更新逻辑数据库（1990），剑桥大学出版社：剑桥大学出版社，英国剑桥）·Zbl 0728.68053号
[59] Winslett，M.，用于更新数据库的环绕语义，Ann.Math。Artif公司。智力。，3, 429-450 (1991) ·Zbl 0873.68192号
[60] 叶海亚，A。；Henschen，L.，《非Horn数据库中的演绎》，J.Autom。推理，1,2141-160（1985）·Zbl 0614.68072号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。