×
格奥尔格·戈特洛布；莱因哈德，皮克勒；魏芳

有界树宽度是知识表示和推理可处理性的关键。 （英语） Zbl 1185.68690号

Artif公司。智力。 174，第1期，第105-132页（2010年）.
摘要：人工智能中的几种推理形式，如诱拐、封闭世界推理、限定和析取逻辑编程，众所周知是难以解决的。事实上，许多相关问题都位于多项式层次的第二或第三层。在本文中，我们展示了如何将树宽的概念有效地应用于这一领域。特别地，我们表明，如果涉及的公式或程序的树宽受某个常数的限制，所有这些问题都是可处理的（实际上，甚至在线性时间内也是可解的）。
显然，这些理论上的可处理性结果并不能立即产生可行的算法。然而，我们最近建立了一种基于一元数据日志的新方法，它允许我们为数据库领域的相关问题设计一个有效的算法。在这项工作中，我们利用一元数据日志方法来构建基于逻辑的外推的新算法。

引用于17文件

MSC公司：

68立方英尺 知识表示
68N17号 逻辑编程
68T27型 人工智能中的逻辑

关键词：

固定参数牵引性；树宽；一元数据日志；绑架；封闭世界推理；析取逻辑程序设计

软件：

MONA公司；勒图尔
PDF格式BibTeX公司 XML格式引用
\textit{G.Gottlob}等人，Artif。智力。174，编号1，105--132（2010；Zbl 1185.68690）
全文： 内政部

参考文献：

[1] Abiteboul，S。；船体，R。；维亚努，V.，《数据库基础》（1995），艾迪森·韦斯利·Zbl 0848.68031号
[2] Arnborg，S.，有界可分解组合问题的有效算法——综述，BIT，25，1，2-23（1985）·Zbl 0573.68018号
[3] Arnborg，S。；Lagergren，J。；Seese，D.，树分解图的简单问题，J.算法，12，2，308-340（1991）·Zbl 0734.68073号
[4] 阿塞里亚斯，A。；费希特，J.K。；Thurley，M.，《具有多次重启和有界宽度分辨率的克劳斯学习算法》（Proc.SAT’09）。程序。SAT’09，《计算机科学讲义》，第5584卷（2009年），施普林格出版社，114-127·Zbl 1247.68245号
[5] Baaz，M。；Egly，美国。；Leitsch，A.，范式转换，（Robinson，J.A.；Voronkov，A.，《自动推理手册》，第1卷（2001年），爱思唯尔科学），273-333，第5章·Zbl 1005.03013号
[6] Berwanger博士。；Dawar，A。；亨特，P。；Kreutzer，S.，DAG宽度和奇偶性博弈，（Proc.STACS'06。程序。STACS’06，计算机科学讲稿，第3884卷（2006），524-536·Zbl 1136.68447号
[7] Berwanger博士。；Grädel，E.，《纠缠——逻辑和游戏应用有向图复杂性的度量》（Proc.LPAR’04）。程序。LPAR’04，计算机科学讲稿，第3452卷（2005），209-223·Zbl 1109.68080号
[8] Bodlaender，H.L.，求小树宽树分解的线性时间算法，SIAM J.Compute。，25, 6, 1305-1317 (1996) ·Zbl 0864.68074号
[9] Bodlaender，H.L。；Koster，A.M.C.A.，树宽安全分隔符，离散数学。，306, 3, 337-350 (2006) ·Zbl 1084.05065号
[10] Bodlaender，H.L。；Koster，A.M.C.A.，有界树宽图的组合优化，计算。J.，51，3，255-269（2008）
[11] Borie，R.B.，树分解图上一些优化问题的多项式时间算法的生成，算法，14，2，123-137（1995）·Zbl 0833.68089号
[12] Borie，R.B。；帕克·R·G。；Tovey，C.A.，根据递归构造图族上问题的谓词演算描述自动生成线性时间算法，Algorithmica，7，5-6，555-581（1992）·Zbl 0753.05062号
[13] 卡多利，M。；Lenzerini，M.，命题封闭世界推理和限定的复杂性，J.Compute。系统。科学。，48, 2, 255-310 (1994) ·Zbl 0806.68096号
[14] Courcelle，B.，《图形重写：代数和逻辑方法》（van Leeuwen，J.，《理论计算机科学手册》，第B卷（1990），Elsevier Science出版社），193-242·Zbl 0900.68282号
[15] 库塞尔，B。；Makowsky，J.A。；关于一元二阶逻辑中可定义的图枚举问题的固定参数复杂性，离散应用。数学。，108, 1-2, 23-52 (2001) ·Zbl 0972.05023号
[16] 库塞尔，B。；Mosbah，M.，树可分解图的一元二阶估计，Theor。计算。科学。，109, 1-2, 49-82 (1993) ·Zbl 0789.68083号
[17] Doner，J.，Tree acceptor及其一些应用，J.Compute。系统。科学。，4, 5, 406-451 (1970) ·Zbl 0212.02901号
[18] 道林，W.F。；Gallier，J.H.，测试命题Horn公式可满足性的线性时间算法，J.Log。程序。，1867-284年1月3日·Zbl 0593.68062号
[19] 唐尼，R.G。；Fellows，M.R.，参数化复杂性（1999），施普林格：施普林格纽约·Zbl 0914.68076号
[20] 艾特，T。；Gottlob，G.，命题限定和扩展闭世界推理是完备的，Theor。计算。科学。，114, 231-245 (1993) ·Zbl 0786.68085号
[21] 艾特，T。；Gottlob，G.，基于逻辑推理的复杂性，美国计算机学会，42，1，3-42（1995）·Zbl 0886.68121号
[22] 艾特，T。；Gottlob，G.，《析取逻辑编程的计算成本：命题案例》，《数学年鉴》。Artif公司。智力。，15, 3/4, 289-323 (1995) ·Zbl 0858.68016号
[23] Filé，G.，树自动机和逻辑程序，（《STACS’85。程序。STACS’85，计算机科学讲义，第182卷（1985）），119-130·Zbl 0604.68092号
[24] Fischer，E。；Makowsky，J.A。；Ravve，E.V.，有界树宽或剪接宽度公式的计数真值赋值，离散应用。数学。，156, 4, 511-529 (2008) ·Zbl 1131.68093号
[25] 弗鲁姆，J。；弗里克，M。；Grohe，M.，通过树分解进行查询评估，J.ACM，49，6，716-752（2002）·Zbl 1326.68123号
[26] 弗里克，M。；Grohe，M.，《重新审视一阶和一元二阶逻辑的复杂性》，《Ann.Pure Appl》。逻辑，130，1-3，3-31（2004）·兹比尔1062.03032
[27] Gelfond，M。；Lifschitz，V.，逻辑编程的稳定模型语义，（Proc.ICLP/SLP'88（1988），麻省理工出版社），1070-1080
[28] Gelfond，M。；Przymusinska，H。；Przymusinski，T.C.，《关于作为失败的限制和否定之间的关系》，Artif。智力。，38, 1, 75-94 (1989) ·Zbl 0663.68097号
[29] Gottlob，G。；皮克勒，R。；Wei，F.，《有界树宽度是知识表示和推理可处理性的关键》（Proc.AAAI'06（2006），AAAI出版社），250-256
[30] Gottlob，G。；皮克勒，R。；Wei，F.，有限结构上有界树宽的Monadic数据日志，（Proc.PODS’07（2007），ACM），165-174
[31] Gottlob，G。；皮克勒，R。；Wei，F.，《有界树宽的外推：从理论可处理性到实际有效计算》（Proc.AAAI’08（2008），AAAI Press），1541-1546
[32] Grohe，M.，《描述性和参数化复杂性》（Proc.CSL’99）。程序。CSL’99，计算机科学课堂讲稿，第1683卷（1999），14-31·Zbl 0943.03029号
[33] Gustedt，J。；Mhle，O.A。；Telle，J.A.，Java程序的树宽，（ALENEX'02:第四届算法工程和实验国际研讨会，修订论文。ALENEX'02:算法工程和试验第四届国际研讨会，修改论文，计算机科学讲稿，第2409卷（2002），Springer），86-97·Zbl 1014.68883号
[34] 赫尔曼，M。；Pichler，R.，计算最小基数和最小权重外展的复杂性，（Proc.JELIA'08。程序。JELIA’08，计算机科学讲义，第5293卷（2008年），Springer），206-218·Zbl 1178.68562号
[35] 亨特，P。；Kreutzer，S.，有向图测度：Kelly分解，博弈和排序，Theor。计算。科学。，399, 206-219 (2008) ·Zbl 1152.91015号
[36] Jakl，M。；皮克勒，R。；Rümmele，S。；Woltran，S.，《有界树宽的快速计数》（Proc.LPAR’08）。程序。LPAR’08，计算机科学讲稿，第5330卷（2008），436-450·Zbl 1182.68278号
[38] 北克拉伦德。；莫勒，A。；Schwartzbach，M.I.，MONA实施秘密，Int.J.Found。计算。科学。，13, 4, 571-586 (2002) ·Zbl 1066.68079号
[39] 科斯特，A.M.C.A。；Bodlaender，H.L。；van Hoesel，S.P.M.，Treewidth:计算实验，离散数学中的电子笔记，8，54-57（2001）·Zbl 1409.05176号
[40] Marque-Pucheu，G.，《有理树集与逻辑编程的代数语义》，《学报》，第20期，第249-260页（1983年）·Zbl 0521.68017号
[42] Minoux，M.，LTUR：喇叭公式和计算机实现的简化线性时间单位分辨率算法，Inf.Process。莱特。，29, 1, 1-12 (1988) ·Zbl 0658.68110号
[43] Obdrálek，J.，《DAG-width:有向图的连通性度量》（Proc.SODA'06（2006），ACM Press），814-821·Zbl 1192.05065号
[44] Papadimitriou，C.H.，计算复杂性（1994），Addison Wesley·Zbl 0557.68033号
[45] Przymusinski，T.C.，选言程序的稳定语义，新一代计算。，9, 3/4, 401-424 (1991) ·Zbl 0796.68053号
[46] 撒切尔，J.W。；Wright，J.B.，广义有限自动机理论及其在二阶逻辑决策问题中的应用，数学系统理论，2，1，57-81（1968）·Zbl 0157.02201号
[47] Thomas，W.，《语言、自动机和逻辑》（《形式语言手册》，第三卷（1997），Springer:Springer New York），389-455
[48] Thorup，M.，所有结构化程序都具有较小的树宽度和良好的寄存器分配。，信息计算。，142, 2, 159-181 (1998) ·Zbl 0924.68023号
[49] 范登·艾伊霍夫，F。；Bodlaender，H.L。；Koster，A.M.C.A.，加权树宽的安全缩减规则，算法，47，2，139-158（2007）·Zbl 1108.68091号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。