×
帕特里克·托尔·卡尔;安东尼·勒克莱尔（Anthony P.Leclerc）。;Tran，儿子Cao

并行内存效率高的认知逻辑程序求解器：更难、更好、更快。 （英语） Zbl 1485.68036号

安。数学。Artif公司。智力。 86，编号1-3，61-85（2019）.
摘要：随着答案集编程（ASP）的实际应用随着高效解析器的发展而增长，随着其语义的稳定和解析器对其支持的成熟，我们预计对ASP扩展的兴趣会越来越大。认识规范就是这样一种扩展，它将模式操作符K和M添加到ASP语言中。我们把这种语言中的程序称为认知逻辑程序（ELP）。到目前为止，由于搜索空间呈指数级增长，求解器仅适用于最简单的ELP。我们描述了一个求解器，在其开发时（2016年年中），它能够更好地解决更难的问题（例如，没有出现K和M的指数增长内存需求），并且比任何其他已知的ELP求解器都更快。

引用于2文件

MSC公司：

68N17号 逻辑编程
03B42号 知识和信念的逻辑（包括信念变化）
第68页第27页 人工智能中的逻辑

关键词：

认知逻辑程序求解器;逻辑编程工具;答案集编程扩展;认知规范;求解器算法

软件：

Wviews公司;EHEX公司;ESP处理器;ES模型;出售;Potassco公司;GISolver公司;克林戈;GI-log公司;ELPS公司;格林戈;github
PDF格式BibTeX公司 XML格式引用
\textit｛P.T.Kahl｝等人，Ann.Math。Artif公司。智力。86，编号1--3，61-85（2019；Zbl 1485.68036）
全文： 内政部 arXiv公司

参考文献：

[1] ASP标准化工作组：ASP-Core-2输入语言格式，2.01c版。https://www.mat.unical.it/aspcomp2013/ASPS标准化 (2013)
[2] Balai，E.：ELPS（2015），德克萨斯理工大学。可从以下网址下载软件和文档：https://github.com/iensen/elps/wiki/
[3] Balai，E.，Kahl，P.：有分类的认识论逻辑程序。Inclezan，D.，Maratea，M.（编辑）《第七届答案集编程和其他计算范式研讨会论文集》（ASPOCP 2014）（2014）
[4] Balduccini，M.:sismodels（2001），德克萨斯理工大学。请参见http://www.mbal.tk网站/以获取信息
[5] Balduccini，M.，Son，T.C.（编辑）：《逻辑编程、知识表示和非单调推理——在迈克尔·盖尔丰德65岁生日之际献给他的演讲》，计算机科学讲义，第6565卷。柏林施普林格出版社（2011）·Zbl 1213.68025号
[6] Baral，C.：知识表示、推理和陈述式问题解决。剑桥大学出版社，剑桥（2003）·Zbl 1056.68139号 ·doi:10.1017/CBO9780511543357
[7] Bichler，M.、Morak，M.和Woltran，S.：selp（2018）TU Wien。可从以下网址下载软件和文档：http://dbai.tuwien.ac.at/proj/selp/
[8] Bichler，M.、Morak，M.和Woltran，S.：selp：单发认知逻辑程序求解器。收录人：Fandinno，J.、Fichte，J.K.（编辑）第十一届答案集编程和其他计算范式研讨会论文集（ASPOCP 2018）（2018）·Zbl 1472.68022号
[9] Brewka，G.，Eiter，T.，Truszczynski，M.：集编程一目了然。Commun公司。ACM 54（12），92-103（2011）·doi:10.1145/2043174.2043195
[10] Cui，R.，Zhang，Z.，Zhao，K.：ESParser：认知规范的奠基者。收录：Delgrand，J.P.，Faber，W.（编辑）CSSS-12，第1823-1827页。IEEE计算机学会CPS（2012）
[11] Faber，W.，Woltran，S.：多种答案集程序及其应用。收录于：Balduccini and Son[5]，第44-63页·Zbl 1326.68055号
[12] Fariñas del Cerro，L.，Herzig，A.，Su，E.I.：认识均衡逻辑。Yang，Q.，Wooldridge，M.（编辑）《第24届国际人工智能联合会议论文集》（IJCAI 2015）。https://doi.org/10.1093/logcom/exv065。AAAI出版社/IJCAI（2015）·Zbl 1432.68453号
[13] Gebser，M.，Kaminski，R.，Kaufmann，B.，Schaub，T.：实践中的答案集求解。人工智能与机器学习综合讲座。摩根&克莱普尔出版社（2012）·Zbl 1251.68060号
[14] Gebser，M.，Kaminski，R.，Kaufmann，B.，Schaub，T.：Clingo=ASP+对照：初步报告。收录人：Kowalski，R.A.，Bowen，K.A.（编辑）ICLP 2014。arXiv:1405.3694。麻省理工学院出版社，剑桥（2014）·Zbl 1486.68027号
[15] Gelfond，M.：强烈的反省。在：Dean，T.L.，McKeown，K.（编辑）AAAI-91，第1卷，第386-391页。AAAI出版社/麻省理工学院出版社（1991）
[16] Gelfond，M.：不完全信息的逻辑编程和推理。安。数学。Artif公司。智力。12(1-2), 89-116 (1994) ·Zbl 0858.68013号 ·doi:10.1007/BF01530762
[17] Gelfond，M.：认知规范的新语义。收录人：Delgrand，J.P.，Faber，W.（编辑）LPNMR-11。计算机科学课堂讲稿，第6645卷，第260-265页。施普林格（2011）·Zbl 1327.68249号
[18] Gelfond，M.，Kahl，Y.：知识表示、推理和智能代理的设计：答案集编程方法。剑桥大学出版社，剑桥（2014）·doi:10.1017/CBO9781139342124
[19] Hanks，S.，McDermott，D.：非单调逻辑和时间投影。Artif公司。智力。33(3), 379-412 (1987) ·Zbl 0654.68107号 ·doi:10.1016/0004-3702（87）90043-9
[20] Kahl，P.：精炼认识逻辑程序的语义。德克萨斯理工大学博士论文，卢伯克（2014）
[21] Kahl，P.，Watson，R.，Balai，E.，Gelfond，M.，Zhang，Y.：认知规范的语言（精炼），包括原型求解器。J.日志。计算。https://doi.org/10.1093/logcom/exv065 (2015) ·Zbl 1489.68272号
[22] Kahl，P.T.，Leclerc，A.P.：具有世界观约束的认识逻辑程序。收录于：Paló，A.D.、Tarau，P.、Saeedloei，N.、Fodor，P.（编辑）《第34届国际逻辑编程会议的技术通信》（ICLP 2018），第64卷。OASIcs（2018年）
[23] Kelly，M.：Wviews:认识逻辑程序的世界观求解器。西悉尼大学荣誉论文（2007年）
[24] Kelly，M.:Wviews（原版）（2007年），西悉尼大学。可从以下网址下载软件和文档：http://staff.scm.uws.edu.au/
[25] Kelly，M.：Wviews（新版）（2018），Michael Kelly。可从以下网址下载软件和文档：https://github.com/galactose/wviews
[26] Le，T.，Son，T.C.：新墨西哥州立大学EP-ASP（2017）。可从以下网址下载软件和文档：https://github.com/tiep/EP-ASP
[27] Leclerc，A.P.，Kahl，P.T.：认知逻辑程序求解器进展调查。In：Fandinno，J.，Fichte，J.K.（编辑）第11届答案集编程和其他计算范式研讨会论文集（ASPOCP 2018）（2018）
[28] Lifschitz，V.，Tang，L.R.，Turner，H.：逻辑程序中的嵌套表达式。安。数学。Artif公司。智力。25, 369-389 (1999) ·Zbl 0940.68075号 ·doi:10.1023/A:1018978005636
[29] Potassco：执着，外国佬（2018），波茨坦大学。可从以下网址下载软件和文档：网址：http://potassco.sourceforge.net/
[30] Shen，Y.D.，Eiter，T.：评估答案集编程中的认知否定。Artif公司。智力。237, 115-135 (2016) ·Zbl 1358.68278号 ·doi:10.1016/j.artint.2016.04.004
[31] Smith，D.E.，Weld，D.S.：一致性图形计划。摘自：《第十五届全国人工智能会议记录》/《第十届人工智能创新应用会议记录》，第889-896页。AAAI-98/IAAI-98，AAAI（1998）
[32] Son，T.C.，Le，T.，Kahl，P.T.，Leclerc，A.P.：关于认知逻辑程序的计算世界观。参见：Sierra，C.（编辑）《第26届国际人工智能联合会议论文集》（IJCAI 2017）。IJCAI（2017）
[33] Strasser，A.：EHEX（2018），TU Wien。可从以下网址下载软件和文档：https://github.com/hexex/ehex
[34] Su，E.I.：通过模态概念扩展平衡逻辑。图卢兹大学博士论文（2015）
[35] Truszczynski，M.：重温认知规范。收录于：Balduccini and Son[5]，第315-333页·Zbl 1326.68280号
[36] van Harmelen，F.，Lifschitz，V.，Porter，B.（编辑）：《知识表示手册》。人工智能基础。爱思唯尔，阿姆斯特丹（2008）·Zbl 1183.68611号
[37] 沃森，R.G.：认识规范的推理引擎。得克萨斯大学埃尔帕索分校硕士论文（1994年）
[38] Zhang，Y.：认知逻辑程序的计算特性。收录人：Doherty，P.，Mylopoulos，J.，Welty，C.A.（编辑）KR-06，第308-317页。AAAI出版社（2006）
[39] 张，Z.，王，B.，张，S.:GISolver（2015），东南大学。可从以下网址下载软件和文档：http://cse.seu.edu.cn/people/seu_zzz/indexe.htm
[40] Zhang，Z.，Wang，B.，Zhang，S.：具有分级内省的逻辑编程。In：Inclezan，D.，Maratea，M.（编辑）ASPOCP 2015（2015）·Zbl 1375.68038号
[41] 张，Z.，张，S.：分级模态逻辑程序设计。收录：Calimeri，F.，Ianni，G.，Truszczynski，M.（编辑）LPNMR 2015。人工智能课堂讲稿，第9345卷。斯普林格（2015）·Zbl 1467.68030号
[42] Zhang，Z.，Zhao，K.：ESmodels：认知规范求解器。CoRR arXiv:1405.3486（2014）
[43] Zhang，Z.，Zhao，K.，Cui，R.：ESmodels：认知规范的推理引擎。收录人：Luo，J.（编辑）ICTAI 2013，第769-774页。IEEE（2013）
[44] Zhang，Z.，Zhao，K.，Cui，R.:ESParser，ESmodels（2014），东南大学。可从以下网址下载软件和文档：http://cse.seu.edu.cn/people/seu_zzz/indexe.htm
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。