×
迈克尔·巴塞洛缪;Lee，Joohyng先生

具有内涵函数的一阶稳定模型语义。 （英语） Zbl 1478.68341号

Artif公司。智力。 273, 56-93 (2019).
摘要：在经典逻辑中，非布尔语言，例如对象的位置，可以用函数自然地描述。然而，答案集程序并非如此，其中函数的值是预定义的，语义的非单调性与最小化谓词的范围有关，但与函数无关。我们扩展了Ferraris、Lee和Lifschitz的一阶稳定模型语义，以允许内涵函数——逻辑程序指定的函数就像指定谓词一样。我们表明，稳定模型语义的许多已知属性都自然地扩展到了这种形式，并将其与其他相关的合并内涵函数的方法进行了比较。此外，我们将此扩展用作定义答案集编程模理论（ASPMT）类似于可满足性模理论（SMT）的定义方式，允许在答案集编程（ASP）环境中进行类似SMT的有效一阶推理。利用涉及函数的SMT求解技术，ASPMT可以应用于包含实数的域，并缓解了接地问题。我们表明，集成ASP和CSP/SMT的其他方法可能与ASPMT的特殊情况有关，在这种情况下，函数仅限于非张力函数。

引用于2文件

MSC公司：

68T27型 人工智能中的逻辑
68N17号 逻辑编程

关键词：

答案集编程;内涵函数;可满足性模理论

软件：

PDDL公司;d真实;Clingcon公司;CCalc公司;ASPMT2SMT公司
PDF格式BibTeX公司 XML格式引用
\textit{M.Bartholomew}和\textit{J.Lee}，Artif。智力。273，56-93（2019年；兹比尔1478.68341）
全文： 内政部

参考文献：

[1] 亚松森，弗农；陈茵；张燕；周毅，带聚合逻辑程序的有序完成，Artif。智力。，224, 72-102 (2015) ·Zbl 1343.68043号
[2] 约瑟夫·巴伯（Joseph Babb）；Lee，Joohyng，Cplus2ASP:答案集编程中的计算动作语言（C+），（逻辑编程与非单调推理国际会议论文集（LPNMR）（2013）），122-134·Zbl 1405.68041号
[3] Balduccini，Marcello，《在答案集编程中表示约束满足问题》（《答案集编程和其他计算范式研讨会工作笔记》（2009））·Zbl 1219.68083号
[4] Balduccini，Marcello，用非Herbrand函数扩展答案集编程的“保守”方法，（正确推理-为纪念Vladimir Lifschitz撰写的基于逻辑的人工智能论文（2012）），24-39·Zbl 1248.68468号
[5] 克拉克·巴雷特（Clark W.Barrett）。；罗伯托·塞巴斯蒂亚尼；Seshia，Sanjit A。；Tinelli，Cesare，可满足性模理论，（Biere，Armin；Heule，Marijn；van Maaren，Hans；Walsh，Toby，《人工智能与应用前沿》，《可满足性手册》，第185卷（2009），IOS出版社），825-885
[6] 迈克尔·巴塞洛缪；Lee，Joohyng，具有内涵函数的公式的稳定模型，（知识表示和推理原理国际会议论文集（KR）（2012）），2-12
[7] 迈克尔·巴塞洛缪；Lee，Joohyng，功能稳定模型语义和答案集编程模理论，（国际人工智能联合会议（IJCAI）会议记录（2013））·Zbl 1286.68041号
[8] 迈克尔·巴塞洛缪；Lee，Joohyung，《强否定的功能观点》，（第五届答案集编程和其他计算范式研讨会工作笔记（2013））
[9] 迈克尔·巴塞洛缪；Lee，Joohyng，关于内涵函数的稳定模型语义，理论与实践。日志。程序。，13, 4-5, 863-876 (2013) ·Zbl 1286.68041号
[10] 迈克尔·巴塞洛缪；Lee，Joohyng，《系统ASPMT2SMT：由SMT求解器计算ASPMT理论》（《欧洲人工智能逻辑会议论文集》（JELIA）（2014）），529-542·Zbl 1432.68055号
[11] 格哈德·布鲁卡（Gerhard Brewka）；伊尔卡·尼梅尔；Truszczynski，Miroslaw，Answer set programming at一瞥，Commun。ACM，54，12，92-103（2011）
[12] Cabalar，Pedro，功能答案集编程，理论与实践。日志。程序。，11, 2-3, 203-233 (2011) ·Zbl 1220.68033号
[13] 基思·克拉克（Keith Clark），《作为失败的否定》（Negation as failure）（赫夫·加莱尔（Herve Gallaire）；杰克·明克尔（Jack Minker），《逻辑和数据库》（1978），阻燃出版社：纽约阻燃出版社），293-322
[14] 保罗·费拉里斯；Lee，Joohyung；Lifschitz，Vladimir，稳定模型的新视角，（国际人工智能联合会议论文集（2007）），372-379
[15] 保罗·费拉里斯；Lee，Joohyung；弗拉基米尔·利夫希茨；Palla，Ravi，稳定模型一般理论中的对称分裂，（国际人工智能联合会议（IJCAI）论文集（2009），AAAI出版社），797-803
[16] 保罗·费拉里斯；Lee，Joohyung；Lifschitz，Vladimir，稳定模型和边界，Artif。智力。，175, 236-263 (2011) ·Zbl 1227.68103号
[17] 玛丽亚·福克斯；Long，Derek，PDDL2.1：表达时间规划域的PDDL扩展，J.Artif。智力。决议，20，61-124（2003）·Zbl 1036.68093号
[18] 玛丽亚·福克斯；Long，Derek，《为规划建立混合离散连续域模型》，J.Artif。智力。决议，27，235-297（2006）·Zbl 1182.68238号
[19] 高思春；孔顺浩；Clarke，Edmund，可满足性模ODE（2013），arXiv预印本
[20] 高思春；孔顺浩；Clarke，Edmund M.，《dReal:超现实非线性理论的SMT求解器》，（自动化演绎国际会议（2013），施普林格：施普林格柏林，海德堡），208-214·Zbl 1381.68268号
[21] Gebser，M。；奥斯特罗斯基，M。；Schaub，T.，约束答案集求解，（逻辑程序设计国际会议（ICLP）（2009）论文集），235-249·Zbl 1251.68061号
[22] Michael Gelfond；Kahl，Yulia，《知识表示、推理和智能代理的设计》（2014），剑桥大学出版社
[23] Michael Gelfond；Lifschitz，Vladimir，逻辑编程的稳定模型语义，（Kowalski，Robert；Bowen，Kenneth，国际逻辑编程会议和研讨会论文集（1988），麻省理工学院出版社），1070-1080
[24] 恩里科·金奇利亚（Enrico Giunchiglia）；Lee，Joohyung；弗拉基米尔·利夫希茨；诺曼·麦凯恩；Turner，Hudson，非单调因果理论，Artif。智力。，153, 1-2, 49-104 (2004) ·Zbl 1085.68161号
[25] 汤米·詹胡宁；刘国华；Niemelä，Ilkka，《非基础答案集编程与可满足性模理论的紧密集成》，（第一届含变量理论的基础与转换研讨会工作笔记（2011年））·兹比尔1326.68058
[26] Lee，Joohyung；孟云松，《关于连续变化的答案集编程模理论和推理》，（国际人工智能联合会议论文集（2013））
[27] Lee，Joohyung；弗拉基米尔·利夫希茨；杨芳凯，《行动语言：初步报告》，（国际人工智能联合会议（IJCAI）（2013））
[28] Lee，Joohyung；尼基尔·罗尼（Nikhil Loney）；孟云松，用动作语言模理论表示混合自动机，（逻辑编程理论与实践（2017））·Zbl 1422.68154号
[29] Yuliya Lierler；本杰明·苏斯曼，《约束答案集编程与可满足性模理论》（IJCAI（2016）），1181-1187·Zbl 1379.68285号
[30] 弗拉基米尔·利夫希茨；Turner，Hudson，《用逻辑程序表示转换系统》，（逻辑编程和非单调推理国际会议论文集（LPNMR）（1999），92-106·Zbl 0952.68132号
[31] 弗拉基米尔·利夫希茨；杨芳凯（Yang，Fangkai），《从非单调因果理论中消除函数符号》（Lakemeyer，Gerhard；McIlraith，Sheila a.，《知道、推理和行动：赫克托·J·勒沃斯克（Hector J.Levesque）荣誉论文》（2011），大学出版社）·Zbl 1341.68215号
[32] 弗拉基米尔·利夫希茨；Yang，Fangkai，功能完成，J.Appl。非类别。日志。，23, 1-2, 121-130 (2013) ·Zbl 1400.68205号
[33] 弗拉基米尔·利夫希茨；大卫·皮尔斯；Valverde，Agustin，强等价逻辑程序，ACM Trans。计算。日志。，2, 526-541 (2001) ·Zbl 1365.68149号
[34] 弗拉基米尔·利夫希茨（Vladimir Lifschitz），《关于否定逻辑程序的声明语义》（Minker，Jack，演绎数据库和逻辑编程基础（1988），Morgan Kaufmann:Morgan Koufmann San Mateo，CA），177-192·Zbl 0718.68019号
[35] 弗拉基米尔·利夫施奇茨（Vladimir Lifschitz），《分界》（Extenscription），（Gabbay，D.M.；Hogger，C.J.；Robinson，J.A.，《人工智能和逻辑编程中的逻辑手册》，第3卷（1994），牛津大学出版社），298-352·Zbl 0810.68005号
[36] 弗拉基米尔·利夫希茨，《论因果解释的逻辑》，阿蒂夫。智力。，96, 451-465 (1997) ·Zbl 0901.03022号
[37] 弗拉基米尔，Lifschitz，什么是答案集编程？，（《AAAI人工智能会议论文集》（2008），麻省理工学院出版社），1594-1597
[38] 弗拉基米尔·利夫施奇茨（Vladimir Lifschitz），《Datalog程序及其稳定模型》，（de Moor，O.；Gottlob，G.；Furche，T.；Sellers，A.，《Datalog Reloaded:First International Workshop，Datalog 2010》，英国牛津，2010年3月16日至19日。数据日志重新加载：第一次国际研讨会，数据日志2010，英国牛津，2010年3月16-19日，修订论文集（2011），斯普林格）·Zbl 1287.68021号
[39] 弗拉基米尔·利夫施奇茨（Vladimir Lifschitz），《具有内涵功能的逻辑程序》（Logic programs with intensional functions），《知识表示与推理原则国际会议论文集》（KR）（2012），24-31
[40] 林方珍；Wang，Yisong，带函数的答案集编程，（知识表示与推理原理国际会议论文集（2008）），454-465
[41] Lin，Fangzhen，《在具体说明行动的间接影响时接受因果关系》，（国际人工智能联合会议论文集（1995）），1985-1991
[42] 刘国华；汤米·詹胡宁；Niemelä，Ilkka，通过混合整数规划的答案集规划，（知识表示与推理原理国际会议论文集（2012）），32-42
[43] 约翰·麦卡锡（John McCarthy），《界限——非单调推理的一种形式》，Artif。智力。，13, 27-39, 171-172 (1980) ·Zbl 0435.68072号
[44] Veena S.Mellarkod。；Michael Gelfond；张元林，《答案集编程与约束逻辑编程集成》，《数学年鉴》。Artif公司。智力。，53, 1-4, 251-287 (2008) ·Zbl 1165.68504号
[45] Wałega、Przemys \322»aw Andrzej；梅胡尔·巴特（Mehul Bhatt）；Schultz，Carl，ASPMT（QS）：非单调空间推理与答案集编程模理论，（逻辑编程与非单调推理（2015），Springer），488-501·Zbl 1470.68219号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。