特鲁什琴斯基，米罗斯劳 命题理论的约简、可满足关系和逻辑程序语义的推广。 （英语） Zbl 1209.68101号 工件。智力。 174，编号16-17，1285-1306（2010）. 摘要：多年来，稳定的模型语义在程序中获得了对默认否定的正确（二值）解释的地位。然而，对于具有聚合（约束）的程序，稳定模型语义（来源于皮尔斯、费拉里斯和利夫希茨的工作）在其广泛接受的泛化中有一个竞争对手：费伯、利昂和普菲弗提出的语义，这似乎（本质上）不同。我们的目标是解释这两种语义之间的关系。Pearce、Ferraris和Lifschitz对稳定模型语义的扩展最好在任意命题理论的背景下进行观察。我们在这里提出了Faber-Leone-Pfeifer语义（简称FLP语义）到完整命题语言的扩展，它揭示了FLP和稳定模型语义之间的共同线索和差异。我们利用FLP稳定模型的特征，在FLP语义下的强等价性和理论的正规形式上得到了相应的结果。我们使用类似的方法来定义任意命题理论的支持模型，并研究其性质。 引用于10文件 MSC公司： 68N17号 逻辑编程 68问题55 计算理论中的语义学 关键词：逻辑程序设计;稳定模型;支持的模型;还原;逻辑HT 软件：烟雾;亚萨特;CCalc公司;安顿;C模型 PDF格式BibTeX公司 XML格式引用 \textit{M.Truszczyn ski}，阿蒂夫。智力。174，编号16-171285-1306（2010年；兹bl 1209.68101） 全文： DOI程序 参考文献： [1] Apt，K.，《逻辑编程》（van Leeuven，J.，《理论计算机科学手册》（1990），Elsevier:Elsevier Amsterdam），493-574·Zbl 0900.68136号 [2] Balduccini，M。；Gelfond，M。；Nogueira，M.，《基于答案集的知识系统设计》，《数学和人工智能年鉴》，47，1-2，183-219（2006）·Zbl 1105.68105号 [3] Baral，C.，《从知识到智能——构建块和应用》，受邀演讲，AAAI，2005（2005） [5] 博恩，G。；大脑，M。；沃斯，医学博士。；Fitch，J.，Anton：撰写逻辑和逻辑撰写，（Erdem，E.；Lin，F.；Schaub，T.，《第十届逻辑编程和非单调推理国际会议论文集》，LPNMR 2009。《第十届逻辑编程和非单调推理国际会议论文集》，LPNMR 2009，《计算机科学讲义》，第5753卷（2009），Springer），542-547 [6] 黄铜，S。；Dix，J.，通过部分求值刻画析取稳定语义，逻辑编程杂志，32，3207-228（1997）·Zbl 0883.68082号 [7] 布鲁克斯，D。；Erdem，E。；Minett，J。；Ringe，D.，《基于特征的分支分类法和答案集编程》（Hermenegildo，M.；Cabeza，D.），《第七届声明性语言实践方面国际研讨会论文集》，PADL 2005。第七届声明性语言实用方面国际研讨会论文集，PADL 2005，计算机科学讲稿，第3350卷（2005），Springer），37-51 [8] 卡巴拉，P。；Ferraris，P.，命题理论与逻辑程序有很强的等价性，《逻辑程序设计的理论与实践》，7，6，745-759（2007）·Zbl 1132.68321号 [9] Clark，K.，《作为失败的否定》（Gallaire，H.；Minker，J.，《逻辑和数据库》（1978），阻燃出版社：阻燃出版社，纽约-朗顿），293-322 [10] Denecker，M。；Vennekens，J。；邦德，S。；Gebser，M。；Truszczyñski，M.，《第二次答案集编程竞赛》（Erdem，E.；Lin，F.；Schaub，T.），《第十届逻辑编程和非单调推理国际会议论文集》，LPNMR 2009。《第十届逻辑编程和非单调推理国际会议论文集》，LPNMR 2009，《计算机科学讲义》，第5753卷（2009），Springer），637-654 [11] 艾特，T。；Brewka，G。；道特兰，M。；芬克，M。；伊安尼，G。；Krennwallner，T.，《将非单调知识库与外部资源相结合》，（Ghilardi，S.；Sebastiani，R.，《第七届组合系统前沿国际研讨会论文集》，FroCoS 2009。第七届组合系统前沿国际研讨会论文集，FroCoS 2009，计算机科学讲稿，第5749卷（2009），Springer），18-42·兹比尔1193.68242 [12] 艾特，T。；Faber，W。；塞拉利昂，北卡罗来纳州。；Pfeifer，G。；Poleres，A.，《行动成本下的答案集规划》，《人工智能研究杂志》（JAIR），第19期，第25-71页（2003年）·Zbl 1026.68124号 [13] 艾特，T。；Faber，W。；塞拉利昂，北卡罗来纳州。；Pfeifer，G。；Polleres，A.，《知识状态规划的逻辑编程方法》，II:The（dlv ^k）system，Artificial Intelligence，144，1-2，157-211（2003）·Zbl 1079.68619号 [14] 艾特，T。；芬克，M。；Woltran，S.，回答集编程中等价的语义特征和复杂性，ACM计算逻辑汇刊，8，3，53（2007年7月）·Zbl 1367.68031号 [15] 艾特，T。；Gottlob，G.，《析取逻辑编程的计算成本：命题案例》，《数学与人工智能年鉴》，15，3-4，289-323（1995）·Zbl 0858.68016号 [16] Faber，W。；塞拉利昂，北卡罗来纳州。；Pfeifer，G.，析取逻辑程序中的递归聚合：语义和复杂性，（第九届欧洲人工智能会议论文集。第九届欧洲人工智能会议论文集，JELIA 2004。第九届欧洲人工智能会议记录。第九届欧洲人工智能会议记录，JELIA 2004，人工智能讲义，第3229卷（2004），Springer），200-212·Zbl 1111.68380号 [17] Faber，W。；Pfeifer，G。；塞拉利昂，北卡罗来纳州。；Dell'Armi，T。；Ielpa，G.，dlv系统中聚合函数的设计与实现，逻辑编程理论与实践，8，5-6，545-580（2008）·Zbl 1156.68010号 [18] Fages，F.，Clark完备与稳定模型存在的一致性，《计算机科学中的逻辑方法杂志》，151-60（1994） [19] Ferraris，P.，命题理论的答案集，（逻辑编程和非单调推理，第八届国际会议，LPNMR 2005。逻辑编程和非单调推理，第八届国际会议，LPNMR 2005，人工智能讲义，第3662卷（2005），Springer），119-131·兹比尔1152.68408 [20] 费拉里斯，P。；Lifschitz，V.，重量约束和嵌套表达式，逻辑编程理论与实践，5，45-74（2004）·Zbl 1093.68017号 [21] 法拉利，P。；Lifschitz，V.，《答案集编程的数学基础》（Artömov，S.；Barringer，H.；d'Avila Garcez，A.；Lamb，L.C.；Woods，J.，《我们将向他们展示！Dov Gabbay荣誉论文》（2005），大学出版物），615-664·Zbl 1220.68035号 [22] Gelfond，M。；Leone，N.，《逻辑编程和知识表示——A-prolog视角》，《人工智能》，138，3-38（2002）·Zbl 0995.68022号 [23] Gelfond，M。；Lifschitz，V.，逻辑程序的稳定语义，（第五届逻辑程序设计国际会议论文集，ICLP 1988（1988），MIT出版社），1070-1080 [24] Gelfond，M。；Lifschitz，V.，逻辑程序和析取数据库中的经典否定，新一代计算，9365-385（1991）·Zbl 0735.68012号 [25] Giunchiglia，E。；Lee，J。；Lifschitz，V。；麦凯恩，N。；Turner，H.，非单调因果理论，人工智能，153，1-2，49-104（2004）·Zbl 1085.68161号 [27] 井上，K。；Sakama，C.，《否定是头部的失败》，《逻辑编程杂志》，35，39-78（1998）·兹比尔0905.68030 [28] Lee，J。；Lifschitz，V。；Palla，R.，《答案集编程中计数和选择的简化语义》，（第23届AAAI人工智能会议论文集，AAAI 2008（2008），美国AAAI出版社），472-479 [29] Lee，J。；Meng，Y.，《关于答案集编程中聚合的约简语义》（第十届逻辑编程与非单调推理国际会议论文集，LPNMR 2009）。第十届逻辑程序设计和非单调推理国际会议论文集，LPNMR 2009，计算机科学讲义，第5753卷（2009），Springer），182-195·Zbl 1258.68032号 [30] Lierler，Y.，抽象答案集求解器，（de la Banda，M.G.；Pontelli，E.，《第24届逻辑编程国际会议论文集》，ICLP 2008。第24届逻辑编程国际会议论文集，ICLP 2008，《计算机科学讲义》，第5366卷（2008年），施普林格出版社，377-391·Zbl 1185.68165号 [31] Lierler，Y。；Maratea，M.，Cmodels-2:基于SAT的答案集求解器增强为非轻型程序，（LPNMR-04论文集）。LPNMR-04论文集，《计算机科学讲义》，第2923卷（2004年），施普林格出版社，346-350·Zbl 1122.68377号 [32] Lifschitz，V。；皮尔斯，D。；Valverde，A.，《强等价逻辑程序》，ACM计算逻辑事务，2，4，526-541（2001）·Zbl 1365.68149号 [33] Lifschitz，V。；Tang，L.R。；Turner，H.，逻辑程序中的嵌套表达式，《数学和人工智能年鉴》，369-389（1999）·Zbl 0940.68075号 [34] Lifschitz，V。；Woo，T.，《一般非单调推理中的答案集》（《第三届知识表示与推理原则国际会议论文集》，KR’92（1992），Morgan Kaufmann:Morgan Koufmann San Mateo，CA），603-614 [35] Lin，F.，将逻辑程序的强等价性简化为经典命题逻辑中的蕴涵，（第八届知识表示与推理原理国际会议论文集，KR 2002（2002），Morgan Kaufmann），170-176 [36] 林，F。；Zhao，Y.，ASSAT:SAT解析器计算逻辑程序的答案集，（第18届全国人工智能会议论文集，AAAI 2002（2002），AAAI-出版社），112-117 [37] 马雷克，V。；Truszczynski，M.，《稳定模型和替代逻辑编程范式》，（Apt，K.；Marek，W.；TruszynskI，M.；Warren，D.，《逻辑编程范式：25年展望》（1999），Springer:Springer-Blin），375-398·Zbl 0979.68524号 [38] 马雷克·W。；Subrahmanian，V.，《一般逻辑程序的稳定语义、支持语义、默认语义和自认知语义之间的关系》，《理论计算机科学》，103，2，365-386（1992）·Zbl 0753.68062号 [39] 马雷克·W。；Truszczyñski，M.，自认知逻辑，ACM杂志，38，3，588-619（1991）·Zbl 0799.68176号 [40] Moore，R.，非单调逻辑的语义考虑，人工智能，25，1，75-94（1985）·Zbl 0569.68079号 [41] Niemelä，I.，《以稳定模型语义作为约束编程范式的逻辑编程》，《数学与人工智能年鉴》，25，3-4，241-273（1999）·兹伯利0940.68018 [42] 尼美拉，I。；Simons，P.，用基数和权重约束扩展模型系统，（Minker，J.，Logic-Based Artificial Intelligence（2000），Kluwer Academic Publishers），491-521·Zbl 0979.68015号 [43] Nogueira，M。；Balduccini，M。；Gelfond，M。；Watson，R。；Barry，M.，航天飞机的序言决策支持系统，（Ramakrishnan，I.V.，第三届声明性语言实用方面国际研讨会论文集，PADL 2001。第三届声明性语言实用方面国际研讨会论文集，2001年PADL，计算机科学讲稿，1990（2001）卷，Springer），169-183 [44] Pearce，D.，稳定模型和答案集的新逻辑特征，（Dix，J.；Pereira，L.M.；Przymusinski，T.C.，逻辑编程的非单调扩展，NMELP’96。逻辑编程的非单调扩展，NMELP’96，计算机科学讲义，第1216卷（1997），Springer），57-70 [45] 皮尔斯，D。；Valverde，A.，《定量平衡逻辑和答案集程序的基础》，（第24届逻辑编程国际会议论文集，ICLP 2008（2008）），546-560·Zbl 1185.68175号 [46] Schaub，T。；Thiele，S.，《带答案集编程的代谢网络扩展》，（Hill，P.；Warren，D.，《第25届逻辑编程国际会议论文集》，ICLP 2009。《第25届逻辑编程国际会议论文集》，ICLP 2009，《计算机科学讲义》，第5649卷（2009），Springer），312-326 [47] 大豆蛋白，T。；Niemelä，I.，为产品配置中的应用开发声明性规则语言，（Gupta，G.，《第一届声明性语言实用方面国际研讨会论文集》，PADL 1999。《第一届声明性语言实践方面国际研讨会论文集》，PADL 1999，《计算机科学讲义》，第1551卷（1998），Springer），305-319 [48] 儿子，T。；彭泰利，E。；Sakama，C.，带谈判的多智能体规划的逻辑编程，（Hill，P.；Warren，D.，第25届逻辑编程国际会议论文集，ICLP 2009。《第25届逻辑编程国际会议论文集》，ICLP 2009，《计算机科学讲义》，第5649卷（2009），Springer），99-114·Zbl 1251.68263号 [49] 特鲁什琴斯基，M。；Woltran，S.，关于支持模型的逻辑程序超等价，（第23届全国人工智能会议论文集，AAAI 2008（2008），AAAI-出版社），560-565·Zbl 1165.68349号 [50] 涂，P。；儿子，T。；Baral，C.，《使用答案集编程的感知行为、不完全信息和静态因果律的推理和规划》，逻辑编程理论与实践，7，4，377-450（2007）·Zbl 1120.68101号 [51] Turner，H.，《轻松实现强等价：嵌套表达式和权重约束》，《逻辑编程理论与实践》，3609-622（2003）·Zbl 1079.68017号 [52] Woltran，S.，《关于应答集编程中强、一致和其他等价概念的共同观点》，《逻辑编程理论与实践》，8，2，217-234（2008）·Zbl 1140.68360号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。