×
曼纽尔·比什勒；迈克尔·莫拉克；斯特凡·沃尔特兰

selp：一个一次性的认知逻辑程序求解器。 （英语） Zbl 1472.68022号

理论与实践。日志。程序。 20，第4期，435-455（2020年）.
概要：认识逻辑程序（ELP）是答案集编程（ASP）的一种扩展，带有认识运算符，允许一种形式的元推理，即在多个可能世界上进行推理。现有的ELP求解方法通常依赖于多次调用ASP解算器来评估ELP。然而，在本文中，我们表明也存在从ELP到具有有界arity的非基础ASP的直接转换。由此产生的ASP程序可以在一次操作中解决。然后，我们使用最近提出的处理大型非基础ASP规则的技术，将这种编码方法实现到本文介绍的原型ELP求解系统“selp”中。该解算器在一组ELP基准实例上表现出竞争性的性能。

引用于6文件

MSC公司：

68N17号 逻辑编程
03B42号 知识和信念的逻辑（包括信念变化）
68T20型 人工智能背景下的问题解决（启发式、搜索策略等）
68T27型 人工智能中的逻辑

关键词：

逻辑程序设计；知识表示；非单调推理

软件：

格林戈；克林戈；WASP公司；高温气冷堆；出售；Lpopt公司；GI-log公司
PDF格式BibTeX公司 XML格式引用
\textit{M.Bichler}等人，《理论与实践》。日志。程序。20，第4号，435--455（2020；Zbl 1472.68022）
全文： 内政部 arXiv公司

参考文献：

[1] Abseher，M.、Musliu，N.和Woltran，S.，2017年。htd-一个免费的开源框架，用于（定制的）树分解及其他。程序中。CPAIOR，第376-386页·Zbl 06756600号
[2] Alviano，M.、Dodaro，C.、Faber，W.、Leone，N.和Ricca，F.2013。WASP：一个基于约束学习的本地ASP求解器。程序中。LPNMR，54-66。
[3] Bichler，M.、Morak，M.和Woltran，S.2016a。lpopt：用于答案集编程的规则优化工具。程序中。洛普斯特，114-130·Zbl 1485.68034号
[4] Bichler，M.、Morak，M.和Woltran，S.2016b。非基本规则在答案集编程中的威力。TPLP第16、5-6、552-569页·兹比尔1379.68042
[5] Bichler，M.、Morak，M.和Woltran，S.2018a。单快照认知逻辑程序求解。《IJCAI会议录》，1714-1720年。
[6] Bichler，M.、Morak，M.和Woltran，S.2018b。单快照认知逻辑程序求解。在ASPOCP程序中。
[7] Bliem，B.，Moldovan，M.，Morak，M.和Woltran，S.2017。树宽对ASP接地的影响及解决方法。《国际JCAI会议记录》，852-858·Zbl 1494.68040号
[8] 博德兰德，H.L.1993。一位穿过树干的导游。控制学报11，1-2，1-21·Zbl 0804.68101号
[9] Brewka，G.、Eiter，T.和Truszczynski，M.，2011年。答案集编程一目了然。ACM通信54、12、92-103。
[10] Calimeri，F.、Fuscá，D.、Perri，S.和Zangari，J.2017。I-DLV：DLV的新型智能接地器。人工智能11、1、5-20。
[11] Del Cerro，L.F.，Herzig，A.和Su，E.I.2015年。认识均衡逻辑。在IJCAI会议记录中，2964-2970。
[12] Ebbinghaus，H.-D.和Flum，J.1995。有限模型理论。施普林格数学专著。施普林格，柏林，海德堡·Zbl 0841.03014号
[13] Eiter，T.、Faber，W.、Fink，M.和Woltran，S.，2007年。具有有界谓词算术和含义的答案集编程的复杂性结果。数学和人工智能年鉴51，2-4，123-165·Zbl 1138.68017号
[14] Eiter，T.和Gottlob，G.1995。选言逻辑程序设计的计算成本：命题案例。《数学与人工智能年鉴》15，3-4，289-323·Zbl 0858.68016号
[15] Faber，W.、Morak，M.和Woltran，S.2019。认知逻辑程序的强等价性很容易实现。AAAI会议记录·Zbl 1434.68073号
[16] Faber，W.，Pfeifer，G.和Leone，N.2011。答案集编程中递归聚合的语义和复杂性。人工智能175，1278-298·Zbl 1216.68263号
[17] Ferraris，P.、Lee，J.和Lifschitz，V.2011。稳定的模型和范围。人工智能175，1，236-263·Zbl 1227.68103号
[18] Gebser，M.、Kaminski，R.、Kaufmann，B.和Schaub，T.2012。在实践中解决问题。摩根克莱普尔·Zbl 1251.68060号
[19] Gebser，M.、Kaminski，R.、Kaufmann，B.和Schaub，T.2014。clinco=ASP+对照：初步报告。在ICLP技术通信中·Zbl 1486.68027号
[20] Gebser，M.、Kaminski，R.、Kaufmann，B.和Schaub，T.2019。使用clipeo进行多快照ASP求解。TPLP第19、1、27-82页·Zbl 1486.68027号
[21] Gebser，M.、Kaminski，R.、König，A.和Schaub，T.2011。外国佬系列3的进展。LPNMR会议记录，345-351。
[22] Gebser，M.、Kaufmann，B.和Schaub，T.2009。投影布尔搜索问题的解决方案枚举。CPAIOR会议记录，71-86·Zbl 1241.68100号
[23] Gebser，M.、Kaufmann，B.和Schaub，T.2012。冲突驱动的答案集解决：从理论到实践。人工智能187，52-89·Zbl 1251.68060号
[24] Gelfond，M.1991年。强烈的自省。程序中。AAAI，第1卷，386-391。
[25] Gelfond，M.1994年。不完全信息的逻辑编程和推理。数学与人工智能年鉴12，1-2，89-116·Zbl 0858.68013号
[26] Gelfond，M.2011年。认知规范的新语义。LPNMR会议记录，260-265·Zbl 1327.68249号
[27] Gelfond，M.和Lifschitz，V.1988。逻辑编程的稳定模型语义。ICLP/SLP会议记录，1070-1080。
[28] Gelfond，M.和Lifschitz，V.1991。逻辑程序和析取数据库中的经典否定。新一代计算9，3/4，365-386·Zbl 0735.68012号
[29] Kahl，P.T.2014年。精炼认知逻辑程序的语义。美国德克萨斯州德克萨斯理工大学博士论文。
[30] Kahl，P.T.、Leclerc，A.P.和Son，T.C.2016。并行记忆效率高的认知逻辑程序求解器：更难、更好、更快。在ASPOCP程序中·Zbl 1485.68036号
[31] Kahl，P.T.、Watson，R.、Balai，E.、Gelfond，M.和Zhang，Y.2015。认知规范的语言（精炼），包括原型求解器。逻辑与计算杂志，exv065·Zbl 1489.68272号
[32] Leclerc，A.P.和Kahl，P.T.2018。认知逻辑程序解析器进展综述。CoRR abs/1809.07141。
[33] Lifschitz，V.、Tang，L.R.和Turner，H.1999。逻辑程序中的嵌套表达式。数学与人工智能年鉴25，3-4，369-389·兹伯利0940.68075
[34] Morak，M.和Woltran，S.2012。答案集编程中复杂非基本规则的预处理。在ICLP技术通信中，247-258·Zbl 1281.68068号
[35] 皮尔斯，D.2006。均衡逻辑。数学与人工智能年鉴47，1-2，3-41·Zbl 1117.03039号
[36] Pelov，N.、Denecker，M.和Bruynooghe，M.，2007年。具有聚合的逻辑程序的良好且稳定的语义。TPLP第7、3、301-353页·Zbl 1111.68070号
[37] Pulina，L.2016年。第九次QBF解决方案评估-初步报告。程序中。QBF。CEUR研讨会记录，第1719卷。CEUR-WS.org，1-13。
[38] Shen，Y.和Eiter，T.2016。在答案集编程中评估认知否定。人工智能237115-135·兹比尔1358.68278
[39] Shen，Y.，Wang，K.，Eiter，T.，Fink，M.，Redl，C.，Krennwallner，T.和Deng，J.2014。对于一般逻辑程序，FLP应答集语义没有循环证明。人工智能213，1-41·Zbl 1391.68016号
[40] Son，T.C.、Le，T.、Kahl，P.T.和Leclerc，A.P.2017。关于计算认知逻辑程序的世界观。程序中。IJCAI，1269-1275年。
[41] Truszczynski，M.2011年。重温认知规范。逻辑编程、知识表示和非单调推理——纪念迈克尔·盖尔丰德65岁生日的文章，315-333·Zbl 1326.68280号
[42] Zhang，Wang，B.和Zhang（S.2015）。具有分级自省的逻辑编程。在ASPOCP程序中·兹比尔1375.68038
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。