×

本质中的表达力和抽象性。 (英语) Zbl 1147.68428号

摘要:开发用于指定或建模问题的语言是约束建模的一个重要方向。为了提供更大的抽象性和建模便利性,这些语言的语法越来越丰富,导致了关于其表达能力的各种问题。在本文中,我们考虑Essence的表达性,Essence是一种具有丰富句法特征的规范语言。我们识别Essence的自然片段,这些片段捕获了多项式时间层次结构的复杂性类(P,NP)、所有级别(Sigma_i^P)以及非确定性指数时间层次结构中的所有级别(k)-NEXP。这些类的联合是非常复杂的类ELEMENTARY。一个目标是开始了解哪些特征在语言的高表达能力中起作用,哪些纯粹是方便的特征。我们还讨论了Essence和相关语言中算法的形式化,捕获NP搜索的概念(与捕获NP略有不同),以及Essence表达能力的一个推测极限。我们的研究是描述性复杂性理论的应用,并说明了采用基于逻辑的建模和规范语言的观点的价值。

MSC公司:

68甲15 编程语言理论
68T20型 人工智能背景下的问题解决(启发式、搜索策略等)
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Cadoli,M.、Ianni,G.、Palopoli,L.、Schaerf,A.和Vasile,D.(2000年)。NP-SPEC:一种用于解决NP中所有问题的可执行规范语言。计算机语言,26,165-195·Zbl 0995.68025号 ·doi:10.1016/S0096-0551(01)00010-8
[2] Cadoli,M.和Mancini,T.(2006)。通过安全延迟约束自动重新制定规范。人工智能,170(8-9),779-801·Zbl 1131.68096号 ·doi:10.1016/j.artint.2006.01.008
[3] Denecker,M.和Ternovska,E.(2008)。非单调归纳定义的逻辑。ACM计算逻辑汇刊,9(2)·Zbl 1122.68623号
[4] East,D.和Truszczynski,M.(2006年)。基于谓词演算的逻辑,用于建模和解决搜索问题。ACM计算逻辑汇刊,7(1),38–83·数字对象标识代码:10.1145/1119439.1119441
[5] Ebbinghaus,H.-D.和Flum,J.(1995)。有限模型理论。海德堡:施普林格·Zbl 0841.03014号
[6] Enderton,H.B.(2001)。逻辑的数学入门。纽约:Harcourt/Academic·Zbl 0992.03001号
[7] 费金,R.(1974)。广义一阶谱和多项式时间可识别集。R.Karp(编辑),复杂性和计算,SIAM-AMS Proc。(第7卷,第43-73页)。普罗维登斯:AMS·Zbl 0303.68035号
[8] Flener,P.、Pearson,J.和Agren,M.(2004)。介绍ESRA,一种用于建模组合问题的关系语言。M.Bruynooghe(Ed.),《基于逻辑的程序合成和转换:第13届国际研讨会》(LOPSTR'03),修订了计算机科学的论文选集和课堂讲稿(第3018卷,第214-232页)。海德堡:施普林格。
[9] Friedman,H.M.(1999)。一些非常复杂的决策问题。在Proceedings中,第14届计算机科学逻辑研讨会(LICS’99)(第2-12页)。
[10] Frisch,A.M.、Grum,M.、Jefferson,C.、Martinez Hernandez,B.和Miguel,I.(2005年)。本质的本质:一种用于指定组合问题的约束语言。在程序中。,第四届约束满足问题建模和重新制定国际研讨会(第73-88页)(10月)。
[11] Frisch,A.M.、Grum,M.、Jefferson,C.、Martinez Hernandez,B.和Miguel,I.(2007)。Essence的设计:用于指定组合问题的约束语言。在程序中。,第二十届国际人工智能联合会议(IJCAI’07)(第80–87页)。
[12] Frisch,A.M.、Harvey,W.、Jefferson,C.、Martínez Hernández,B.和Miguel,I.(2008)。本质:用于指定组合问题的约束语言。约束,13(3)·兹比尔1147.68424
[13] Frisch,A.M.、Jefferson,C.、Martínez Hernández,B.和Miguel,I.(2005)。约束建模规则。在程序中。,第19届国际人工智能联合会议(第109-116页)。
[14] Frisch,A.M.、Jefferson,C.、Martínez Hernández,B.和Miguel,I.(2007)。约束模型生成中的对称性。在国际对称会议的会议记录中。
[15] Garey,M.R.和Johnson,D.S.(1979年)。计算机与难处理性:NP-完备性理论指南。旧金山:W.H.Freeman·Zbl 0411.68039号
[16] Gebser,M.、Schaub,T.和Thiele,S.(2007年)。格林戈:答案集编程的新推手。在C.Baral、G.Brewka和J.S.Schlipf(编辑),Proc。,第九届逻辑编程和非单调推理国际会议(LPNMR’07),计算机科学课堂讲稿(第4483卷,第266-271页)。海德堡:施普林格。
[17] Grädel,E.(1992年)。通过二阶逻辑片段捕获复杂类。理论计算机科学,101,35-57·Zbl 0780.68040号 ·doi:10.1016/0304-3975(92)90149-A
[18] Grädel,E.(2007年)。有限模型理论和描述复杂性,第3章。E.Grädel、P.G.Kolaitis、L.Libkin、M.Marx、J.Spencer、M.Y.Vardi等人(编辑),《有限模型理论及其应用》(第125-230页)。海德堡:施普林格。
[19] Grädel,E.和Gurevich,Y.(1998年)。亚有限模型理论。信息与计算,140(1),26–81·Zbl 0892.68033号 ·文件编号:10.1006/inco.1997.2675
[20] Immerman,N.(1986年)。可在多面体中计算的关系查询。信息与控制,68,86–104·Zbl 0612.68086号 ·doi:10.1016/S0019-9958(86)80029-8
[21] Immerman,N.(1999)。描述性复杂性。纽约:斯普林格·Zbl 0918.68031号
[22] Leone,N.、Pfeifer,G.、Faber,W.、Eiter,T.、Gottlob,G.和Perri,S.等人(2006年)。用于知识表示和推理的DLV系统。ACM计算逻辑汇刊,7(3)·Zbl 1367.68308号
[23] Libkin,L.(2004)。有限模型理论基础。海德堡:施普林格·Zbl 1060.03002号
[24] Mancini,T.和Cadoli,M.(2005)。通过对问题规范的推理来检测和打破对称性。在程序中。,第六届抽象、重构和近似国际研讨会(SARA 2005),计算机科学课堂讲稿(第3607卷,第165-181页)。海德堡:施普林格。
[25] Mariön,M.、Wittocx,J.和Denecker,M.(2006)。用于解决陈述性问题的IDP框架。在E.Giunchiglia、V.Marek、D.Mitchell和E.Ternovska(编辑),Proc。,搜索和逻辑:答案集编程和SAT(LaSh'06)(第19-34页)。
[26] Marriott,K.、Nethercote,N.、Rafeh,R.、Stuckey,P.J.、de la Banda,M.G.和Wallace,M.(2008)。锌建模语言的设计。约束,13(3)·兹比尔1146.68352
[27] Mills,P.、Tsang,E.P.K.、Williams,R.、Ford,J.和Borrett,J.(1998)。EaCL1.0:一种简单的抽象约束编程语言。技术报告CSM-321,埃塞克斯大学(12月)。
[28] Mitchell,D.G.和Ternovska,E.(2005)。表示和解决NP搜索问题的框架。程序中。第20届全国人工智能会议(AAAI’05)(第430–435页)。
[29] Mitchell,D.、Ternovska,E.、Hach,F.和Mohebali,R.(2006)。模型扩展作为建模和解决搜索问题的框架。技术报告TR 2006-24,西蒙·弗雷泽大学计算科学学院。
[30] Papadimitriou,C.(1994年)。计算复杂性。阅读:Addison-Wesley·Zbl 0833.68049号
[31] Syrjänen,T.(2000年)。Lparse 1.0用户手册。可从以下位置获得:http://www.tcs.hut.fi/Software/smodels/ .
[32] Van Hentenryck,P.(1999年)。OPL优化编程语言。剑桥:麻省理工学院。
[33] Vardi,M.Y.(1982)。关系查询语言的复杂性。在第14次ACM会议上。关于计算理论。海德堡:施普林格。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。