T·艾特。;卢卡西维茨，T。 来自条件知识库的默认推理：复杂性和可处理的案例。 （英语） Zbl 0952.68139号 Artif公司。智力。 124，第2期，169-241（2000）. 有条件的知识库被认为是包含“（\phi\rightarrow\psi\）”形式的可废止规则（也称为默认值）的信念库，非正式地理解为“一般情况下，如果（\phi\）然后（\psi\psi）”。这些规则可能有例外，可以用不同的方式处理。文献中提出了许多条件知识库的蕴涵语义。然而，虽然这些形式的语义属性和相互关系已经被很好地理解，但关于它们的计算属性，到目前为止只知道部分结果。在本文中，我们填补了这些空白，并首先从条件知识库中精确地描述了默认推理的复杂性：给定一个条件知识库和一个默认值，（KB）是否包含（phi？我们将这个问题的复杂性分类为许多著名的方法（包括Goldszmidt等人的最大熵方法和Geffner的条件蕴涵），其中我们考虑一般命题情况以及自然句法限制（特别是Horn和文字Horn条件知识库）。如我们所示，条件知识库的更复杂语义在所有这些片段中都充满了难以处理的问题。因此，我们探索了这些语义可处理的情况，发现大多数语义在无反馈的Horn条件知识库上都具有这种特性，Horn条件数据库构成了一类新的、有意义的条件知识库。此外，我们将Horn的可处理性结果推广到（q）-Horn条件知识库，允许有限地使用析取。我们的结果补充和扩展了先前的结果，并有助于从条件知识库中提炼默认推理的可处理性/难处理性边界。它们为开发高效实施提供了有用的见解。 引用于16文件 理学硕士： 68层37 人工智能背景下的不确定性推理 68立方英尺 知识表示 关键词：不确定性推理;条件知识库;默认推理;非单调推理;计算复杂性;多项式时间算法;喇叭知识库和变体 软件：烟雾 PDF格式BibTeX公司 XML格式引用 \textit{T.Eiter}和\textit{T.Lukasiewicz}，Artif。智力。124，第2号，169--241（2000；Zbl 0952.68139） 全文： 内政部 参考文献： [1] 亚当斯，E.W.，《条件逻辑》。《条件逻辑》，综合图书馆，第86卷（1975年），《雷德尔：雷德尔·多德雷赫特》·Zbl 0324.02002号 [2] Alchourrón，C。；Gärdefors，P。；Makinson，D.，《论理论变化的逻辑：部分满足收缩和修正函数》，《符号逻辑》，第50卷，第510-530页（1985年）·Zbl 0578.03011号 [3] 巴克斯，F。；格罗夫，A。；Halpern，J.Y。；Koller，D.，《从统计知识库到信念程度》，《人工智能》，第87卷，第75-143页（1996年）·Zbl 1506.68146号 [4] 贝尔，C。；Nerode，A。；Ng、R。；Subrahmanian，V.S.，计算非单调演绎数据库的混合整数规划方法，J.ACM，第41、6卷，1178-1215（1994）·Zbl 0830.68039号 [5] Ben-Eliyahu，R.，最优Horn子句可满足性中的NP-完全问题（1991），技术报告R-158，加州大学洛杉矶分校，计算机科学系：技术报告R-58，加州大学洛杉机分校，加州大学计算机科学系 [6] Benferhat，S。；Cayrol，C。；Dubois，D。；朗·J。；Prade，H.，《不一致性管理和基于优先句法的隐含》（Proc.IJCAI-93，Chambéry，France（1993），Morgan Kaufmann:Morgan Koufmann San Mateo，CA），640-645 [7] Benferhat，S。；Dubois，D。；Prade，H.，《在可能性逻辑中表示默认规则》，（第三届知识表示和推理原则国际会议论文集（KR-92），马萨诸塞州坎布里奇（1992），Morgan Kaufmann:Morgan Koufmann San Mateo，CA），673-684 [8] Benferhat，S。；Dubois，D。；Prade，H.，《非单调推理、条件对象和可能性理论》，《人工智能》，第92卷，第1-2卷，第259-276页（1997年）·Zbl 1017.68539号 [9] Benferhat，S。；Saffiotti，A。；Smets，P.，《信念函数和默认推理》，《人工智能》，第122卷，第1-69页（2000年）·兹伯利0948.68112 [10] Boros，E。；Crama，Y。；Hammer，P.L.，《霍恩和相关公式所有有效含义的多项式时间推断》，《数学年鉴》。《人工智能》，第1卷，21-32（1990）·Zbl 0878.68105号 [11] Boros，E。；Hammer，P.L。；Sun，X.，线性时间中q-Horn公式的识别，离散应用。数学。，第55卷，1-13（1994）·Zbl 0821.68109号 [12] Bourne，R.A.，使用最大熵和可变强度默认值的默认推理，博士论文（1999），伦敦大学：伦敦大学 [13] 伯恩，R.A。；Parsons，S.，《最大熵和可变强度默认值》（Proc.IJCAI-99，瑞典斯德哥尔摩（1999），Morgan Kaufmann:Morgan Koufmann San Mateo，CA），50-55 [14] Boutiler，C.，作为模态系统的常态条件逻辑，（Proc.AAAI-90，Boston，MA（1990），AAAI出版社/MIT出版社），594-599 [15] Boutiler，C.，《正常的条件逻辑：模态方法》，《人工智能》，第68卷，第87-154页（1994年）·Zbl 0811.68114号 [16] Boutiler，C.，《在模式框架中统一默认推理和信念修正》，《人工智能》，第68卷，第33-85页（1994年）·兹伯利0811.68113 [17] 巴斯，S。；Hay，L.，《关于SAT的真实可还原性》，Inform。和计算。，第91卷，86-102（1991）·Zbl 0800.68443号 [18] Cadoli，M.，环境公式模型检查的复杂性，Inform。过程。莱特。，第44卷，113-118（1992）·兹伯利0766.68122 [19] 卡多利，M。；多尼尼，F.M。；利伯拉托雷，P。；Schaerf，M.，脱机处理的可行性和不可行性，（第四届以色列计算与系统理论研讨会（ISTCS’96），以色列耶路撒冷（1996），IEEE计算机学会），100-109 [20] 卡多利，M。；乔瓦纳尔迪，A。；Schaerf，M.，《评估量化布尔公式的算法》（Proc.AAAI-98，Madison，WI（1998），AAAI出版社/MIT出版社），262-267 [21] 卡多利，M。；Lenzerini，M.，命题封闭世界推理和限定的复杂性，J.Compute。系统科学。，第43卷，165-211（1994）·Zbl 0806.68096号 [22] Cayrol，C。；Lagasquie-Schiex，M.-C。；Schiex，T.，《非单调推理：从复杂性到算法》，《数学年鉴》。《人工智能》，第22、3-4、207-236卷（1998年）·Zbl 0905.68142号 [23] 乔列温斯基，P。；马雷克，V.W。；Mikituk，A。；Truszczyñski，M.，《默认逻辑计算》，《人工智能》，第112、2-3、105-147卷（1999年）·Zbl 0996.68195号 [24] Dalal，M.，《知识库修正理论研究》（Proc.AAAI-88，St.Paul，MN（1988），AAAI出版社/麻省理工学院出版社），475-479 [25] Dantsin，E。；艾特，T。；Gottlob，G。；Voronkov，A.，逻辑编程的复杂性和表达能力，（第12届IEEE计算复杂性国际会议（CCC-97），德国乌尔姆（1997）），82-101 [26] Delgrand，J.，《典型属性的一阶条件逻辑》，《人工智能》，第33卷，第1卷，第105-130页（1987年）·Zbl 0654.68106号 [27] Delgrand，J.，《论一阶条件逻辑》，《人工智能》，第105、1-2、105-137卷（1998年）·Zbl 0909.68174号 [28] 唐尼，R.G。；研究员，M.F。；研究员，M.R.，参数化复杂性（1998），施普林格：柏林施普林格出版社·兹伯利0914.68076 [29] （Du，D.；Gu，J.；Pardalos，P.M.，《可满足性问题：理论和应用》，《离散数学和理论计算机科学中的DIMACS系列》，第35卷（1997），美国数学学会：美国数学学会普罗维登斯，RI） [30] Dubois，D。；Prade，H.，《可能性逻辑、优先模型、非单调性和相关问题》（Proc.IJCAI-91，澳大利亚悉尼（1991），Morgan Kaufmann:Morgan Koufmann San Mateo，CA），419-424·Zbl 0744.68116号 [31] Dubois，D。；Prade，H.，作为非单调后果关系的条件对象，IEEE Trans。Systems Man Cybernet。，第24卷，1724-1740（1994）·Zbl 1371.03041号 [32] Egly，美国。；艾特，T。；汤皮特斯，H。；Woltran，S.，《使用量化布尔公式解决高级推理任务》，（Proc.AAAI-00，Austin，TX（2000），AAAI出版社/MIT出版社），417-422 [33] 艾特，T。；Gottlob，G.，《命题知识库修订、更新和反事实的复杂性》，《人工智能》，第57卷，第2-3卷，第227-270页（1992年）·Zbl 0763.68038号 [34] 艾特，T。；Gottlob，G.，命题限定和扩展的闭世界推理是完备的，Theoret。计算。科学。，第114、2、231-245卷（1993年），附录118、315·Zbl 0786.68085号 [35] 艾特，T。；Gottlob，G.，《基于逻辑的诱拐的复杂性》，J.ACM，第42、1、3-42卷（1995年）·Zbl 0886.68121号 [36] 艾特，T。；Gottlob，G。；Leone，N.，《逻辑程序诱拐：语义和复杂性》，Theoret。计算。科学。，第189卷，第1-2卷，第129-177卷（1997年）·Zbl 0893.68022号 [37] 艾特，T。；塞拉利昂，北卡罗来纳州。；Mateis，C。；菲佛，G。；Scarcello，F.，《KR系统dlv：进度报告、比较和基准》，（第六届知识表示和推理原则国际会议（KR-98），意大利特伦托（1998），Morgan Kaufmann:Morgan Koufmann San Mateo，CA），406-417 [38] N.Friedman，J.Y.Halpern，《可信性度量和默认推理》，J.ACM，即将出版；N.Friedman，J.Y.Halpern，《可信性度量和默认推理》，J.ACM，即将出版·Zbl 1127.68438号 [39] 弗里德曼，N。；Halpern，J.Y.，《关于条件逻辑的复杂性》，（第四届知识表示和推理原则国际会议（KR-94），德国波恩（1994），Morgan Kaufmann:Morgan Koufmann San Mateo，CA），202-213 [40] （Gabbay，D.M.；Hogger，C.J.；Robinson，J.A.，《人工智能和逻辑编程中的逻辑手册》，第三卷：非单调推理和不确定推理（1994），克拉伦登出版社：克拉伦登牛津出版社）·Zbl 0804.03017号 [41] （Gabbay，D.M.；Smets，P.，《可推迟推理和不确定性管理系统手册》（1998），Kluwer学术：Kluwer-Academic Dordrecht）·Zbl 0908.90001号 [42] Gärdefors，P。；Rott，H.，《信念修正》（Gabbay，D.M.；Hogger，C.J.；Robinson，J.A.，《人工智能和逻辑编程中的逻辑手册》，第四卷：认识论和时间推理（1995），克拉伦登出版社：克拉伦登牛津出版社），35-132·Zbl 0819.03010号 [43] Garey，M.R。；Johnson，D.S.，《计算机与不可纠正性：NP-完备性理论指南》（1979），弗里曼：弗里曼纽约·Zbl 0411.68039号 [44] Geffner，H.，《缺省推理：因果和条件理论》（1992年），麻省理工学院出版社：麻省理学学院出版社，马萨诸塞州剑桥 [45] Geffner，H.，《高概率、模型偏好和默认参数》，《思维与机器》，第2卷，51-70（1992） [46] Geffner，H。；Pearl，J.，《条件蕴涵：桥接默认推理的两种方法》，《人工智能》，第53、2-3、209-244卷（1992年）·Zbl 1193.68235号 [47] Gogic，G。；Kautz，H.公司。；Papadimitriou，C.H。；Selman，B.，知识表征的比较语言学，（Proc.IJCAI-95，魁北克蒙特利尔（1995），Morgan Kaufmann：Morgan Kaufmann San Mateo，CA），862-869 [48] Goldszmidt，M。；莫里斯，P。；Pearl，J.，非单调推理的最大熵方法，IEEE模式分析和机器智能汇刊，第15、3、220-232卷（1993） [49] Goldszmidt，M。；Pearl，J.，《论不可行数据库的一致性》，人工智能，第52卷，第2期，第121-149页（1991年）·Zbl 0749.68026号 [50] Goldszmidt，M。；Pearl，J.，《系统（Z^+）：可变强度默认推理的形式主义》（Proc.AAAI-91，Anaheim，CA（1991），AAAI出版社/麻省理工学院出版社），399-404 [51] Goldszmidt，M。；Pearl，J.，《基于等级的系统：信念修正、信念更新和证据与行动推理的简单方法》，（第三届知识表示与推理原则国际会议（KR-92），马萨诸塞州坎布里奇（1992），Morgan Kaufmann:Morgan Koufmann San Mateo，CA），661-672 [52] Goldszmidt，M。；Pearl，J.，《默认推理、信念修正和因果建模的定性概率》，《人工智能》，第84卷，第1-2卷，第57-112页（1996年）·Zbl 1497.68457号 [53] Gottlob，G.，非单调逻辑的复杂性结果，J.逻辑计算。，第2、3卷，397-425（1992）·Zbl 0765.03012号 [54] Gottlob，G。；斯卡切罗，F。；Sideri，M.，《人工智能和非单调推理中的固定参数复杂性》，（第五届逻辑编程和非单调理性国际会议（LPNMR-99），德克萨斯州埃尔帕索，Proc。第五届逻辑程序设计和非单调推理国际会议（LPNMR-99），德克萨斯州埃尔帕索，计算机科学讲稿，第1730卷（1999），施普林格：施普林格柏林），1-18·Zbl 0955.68057号 [55] Janhunen，T.，《关于自认知逻辑、缺省逻辑和优先逻辑以及平行限定的互译性》，（《人工智能中逻辑的欧洲研讨会（JELIA’98），德国达格斯图尔。程序。欧洲人工智能逻辑研讨会（JELIA'98），德国达格斯图尔，计算机科学讲义，第1489卷（1998年），施普林格：施普林格柏林），216-232·Zbl 0928.03027号 [56] B.詹纳。；Toran，J.，《计算功能与NP并行查询》，Theoret。计算。科学。，第141175-193卷（1995）·Zbl 0873.68058号 [57] Johnson，D.S.，《复杂性类目录》，（van Leeuwen，J.，《理论计算机科学手册》，A卷，第2章（1990），麻省理工学院出版社：麻省理学院出版社，马萨诸塞州剑桥），67-161·Zbl 0900.68246号 [58] Katsuno，H。；Mendelzon，A.O.，《命题知识库修订和最小更改》，《人工智能》，第52卷，第253-294页（1991年）·Zbl 0792.68182号 [59] Kautz，H.公司。；Selman，B.，《简单默认逻辑的难题》，《人工智能》，第49卷，243-279（1991）·Zbl 0736.68044号 [60] 克劳斯，S。；莱曼，D。；Magidor，M.，《非单调推理、优先模型和累积逻辑》，《人工智能》，第14卷，第167-207页（1990年）·Zbl 0782.03012号 [61] Krentel，M.W.，《优化问题的复杂性》，J.Compute。系统科学。，第36卷，第3卷，第490-509页（1988年）·Zbl 0652.68040号 [62] Lamarre，P.，S4作为非单调性的条件逻辑，（第二届知识表示和推理原则国际会议论文集（KR-91），马萨诸塞州剑桥（1991），Morgan Kaufmann:Morgan Koufmann San Mateo，CA），357-367·Zbl 0765.03013号 [63] Lamarre，P.，遵循定理证明从单调性到非单调性的长廊，（第三届知识表示和推理原则国际会议论文集（KR-92），马萨诸塞州坎布里奇（1992），Morgan Kaufmann:Morgan Koufmann San Mateo，CA），572-580 [64] Lehmann，D.，有条件知识库需要什么？，（Proc.第一届知识表示和推理原则国际会议（KR-89），安大略省多伦多市（1989年），Morgan Kaufmann：Morgan Kaufmann San Mateo，CA），212-222·Zbl 0709.68104号 [65] Lehmann，D.，《默认推理的另一个观点》，Ann.Math。《人工智能》，第15卷，第1卷，第61-82页（1995年）·Zbl 0857.68096号 [66] 莱曼，D。；Magidor，M.，有条件知识库需要什么？，《人工智能》，第55卷，第1卷，第1-60页（1992年）·Zbl 0762.68057号 [67] Liberatore，P.，信念更新的复杂性，（Proc.IJCAI-97，Nagoya，Japan（1997），Morgan Kaufmann:Morgan Koufmann San Mateo，CA），68-73·Zbl 0947.68560号 [68] Lifschitz，V.，《计算范围》（Proc.IJCAI-85，加利福尼亚州洛杉矶（1985），Morgan Kaufmann:Morgan Koufmann San Mateo，CA），121-127 [69] 马雷克·W。；Truszczynski，M.，非单调逻辑-上下文相关推理（1993），施普林格：施普林格-柏林·Zbl 0784.03018号 [70] McCarthy，J.，《界限——非单调推理的一种形式》，《人工智能》，第13卷，第27-39页（1980年）·Zbl 0435.68073号 [71] McDermott，D.，《非单调逻辑II：非单调模态理论》，J.ACM，第29卷，第33-57页（1982）·Zbl 0477.68099号 [72] 麦克德莫特，D。；Doyle，J.，非单调逻辑I，人工智能，第13卷，41-72（1980）·Zbl 0435.68074号 [73] Moore，R.C.，《非单调逻辑的语义考虑》，《人工智能》，第25卷，第75-94页（1985年）·Zbl 0569.68079号 [74] Nebel，B.，《信念修正和默认推理：基于句法的方法》，（第二届知识表示和推理原则国际会议论文集（KR-91），马萨诸塞州剑桥（1991），Morgan Kaufmann:Morgan Koufmann San Mateo，CA），417-428·Zbl 0765.68198号 [75] Nebel，B.，《基础修订操作符和方案：语义、表示和复杂性》（第11届欧洲人工智能会议（ECAI-94），荷兰阿姆斯特丹（1994）），341-345 [76] Nebel，B.，修改信仰基础有多难？，（Gabbay，D.；Smets，P.，《可击败推理和不确定性管理系统手册》，第三卷：信念改变（1998），Kluwer学术：Kluwer-Academic Dordrecht），77-145·Zbl 0934.91011号 [77] Niemelä，I.，《关于自认知推理的可判定性和复杂性》，《信息学基础》，第17卷，第117-155页（1992年）·Zbl 0769.68111号 [78] 尼美拉，I。；Simons，P.，Smodels-正常逻辑程序的稳定模型和良好语义的实现，（第四届逻辑编程和非单调推理国际会议（LPNMR-97），德国达格斯图尔。程序。第四届逻辑程序设计和非单调推理国际会议（LPNMR-97），德国达格斯图尔，计算机科学讲稿/人工智能讲稿，第1265卷（1997），施普林格：施普林格柏林），420-429 [79] Papadimitriou，C.H.，《计算复杂性》（1994），艾迪森·韦斯利：艾迪森·韦斯利阅读，马萨诸塞州·Zbl 0557.68033号 [80] Pearl，J.，非单调推理的概率语义：一项调查，（Proc.1st International Conference on Principles of Knowledge Representation and reasoning（KR-89），Toronto，Ontario（1989），Morgan Kaufmann：Morgan Kaufmann San Mateo，CA），505-516·Zbl 0703.03008号 [81] Pearl，J.，《系统Z：默认推理的自然排序及其可处理应用》，（第三届知识推理理论方面会议论文集（TARK-90），加利福尼亚州太平洋格罗夫（1990），摩根考夫曼：摩根考夫曼·圣马特奥，加利福尼亚州），121-135 [82] Reiter，R.，《默认推理的逻辑》，《人工智能》，第13卷，第81-132页（1980年）·Zbl 0435.68069号 [83] Rintanen，J.，量化布尔公式评估的改进，（Proc.IJCAI-99，斯德哥尔摩，瑞典（1999），Morgan Kaufmann：Morgan Kaufmann San Mateo，CA），1192-1197 [84] Selman，A.，《函数复杂性分类》，J.Compute。系统科学。，第48卷，357-381（1994）·Zbl 0806.68049号 [85] Shoham，Y.，《非单调逻辑的语义方法》，（第二届IEEE计算机科学逻辑研讨会论文集（LICS-87），纽约伊萨卡（1987）），275-279 [86] 斯波恩，W.，《序数条件函数：认知状态的动态理论》（Harper，W.；Skyrms，B.，《决定中的因果关系、信念变化和统计学》，第2卷（1988年），雷德尔：雷德尔·多德雷赫特），105-134 [87] Stillman，J.，《这不是我的缺省：受限命题缺省逻辑中成员问题的复杂性》（Proc.AAAI-90，Boston，MA（1990），AAAI Press/MIT Press），571-579 [88] Stillman，J.，命题缺省逻辑的复杂性，（Proc.AAAI-92，San Jose，CA（1992），AAAI出版社/MIT出版社），794-799 [89] Vossen，T。；鲍尔，M。；Lotem，A。；Nau，D.S.，《人工智能规划中整数规划模型的使用》（Proc.IJCAI-99，瑞典斯德哥尔摩（1999），Morgan Kaufmann:Morgan Koufmann San Mateo，CA），304-309 [90] Wagner，K.，有界查询类，SIAM J.Compute。，第19卷，第5卷，第833-846页（1990年）·Zbl 0711.68047号 此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。