×
周毅;张燕

一阶逻辑程序的级数语义。 （英语） Zbl 1419.68035号

Artif公司。智力。 250, 58-79 (2017).
摘要：在本文中，我们提出了一种一阶正规逻辑程序的递进语义，并证明了它与众所周知的稳定模型（答案集）语义等价。渐进式定义为答案集编程（ASP）提供了新的见解，例如，它与数据日志、一阶逻辑（FOL）和可满足性模理论（SMT）的关系。作为一个例子，我们扩展了ASP的Datalog中的有界性概念，并表明它与程序等价下的递归自由和循环自由的概念相一致。此外，我们证明了有界性精确地捕获了正常逻辑程序在任意结构上的一阶可定义性。最后，我们证明了渐进式定义建议了从ASP到SMT的另一种转换，这产生了一种实现一阶ASP的新方法。

MSC公司：

68N17号 逻辑编程
68问题55 计算理论中的语义学

关键词：

逻辑程序设计;稳定模型语义;进展语义学;一阶逻辑

软件：

亚萨特;C模型
PDF格式BibTeX公司 XML格式引用
\textit｛Y.Zhou｝和\textit｛Y.Zhang｝，人工制品。智力。250、58-79（2017年；Zbl 1419.68035）
全文： 内政部

参考文献：

[1] 谢尔盖·阿比特布尔；理查德·赫尔（Richard Hull）；Vianu，Victor，数据库基础（1995），Addison-Wesley·Zbl 0848.68031号
[2] 米克洛斯·阿杰泰（Miklós Ajtai）；Gurevich，Yuri，Datalog vs一阶逻辑，J.Compute。系统。科学。，49, 3, 562-588 (1994) ·兹伯利0824.68034
[3] 亚松森，弗农；陈，尹；张燕；周毅，带聚合逻辑程序的有序完成，Artif。智力。，224, 72-102 (2015) ·Zbl 1343.68043号
[4] 亚松森，弗农；林方珍；张燕；周毅，有限结构上一阶逻辑程序的有序完成，Artif。智力。，177-179, 1-24 (2012) ·Zbl 1244.68072号
[5] 亚松森，弗农；张燕；周毅，带聚合逻辑程序的有序完成，（AAAI-2012（2012）），691-697
[6] Baral，Chitta，知识表示、推理和陈述式问题解决（2003），剑桥大学出版社·Zbl 1056.68139号
[7] 迈克尔·巴塞洛缪；Lee，Joohyng，功能稳定模型语义和答案集编程模理论（IJCAI 2013（2013））·Zbl 1286.68041号
[8] 迈克尔·巴塞洛缪；Lee，Joohyng，关于内涵函数的稳定模型语义，理论与实践。日志。程序。，13, 4-5, 863-876 (2013) ·Zbl 1286.68041号
[9] 迈克尔·巴塞洛缪；Lee，Joohyng，多值公式的稳定模型：部分函数与总函数，（《知识表示和推理原则：第十四届国际会议论文集》，KR 2014，奥地利维也纳，2014年7月20日至24日（2014））
[10] 迈克尔·巴塞洛缪；Lee，Joohyung；孟云松，通过修改限定对FLP稳定模型语义的一阶扩展，（IJCAI-2011（2011）），724-730
[11] Barwise，J。；Moschovakis，Y.，《全球归纳可定义性》，J.Symb。日志。，43, 521-534 (1978) ·兹伯利0395.03021
[12] 陈，尹；林方珍；王一松；张明义，正规逻辑程序的一阶循环公式，（第十届知识表示与推理原理国际会议论文集，第十届国际知识表示和推理原理会议论文集），英国湖区，2006年6月2-5日（2006），298-307
[13] 陈，尹；林方珍；张燕；周，易，循环可分程序及其一阶可定义性，Artif。智力。，175, 3-4, 890-913 (2011) ·Zbl 1223.68027号
[14] Clark，Keith L.，否定为失败，（逻辑与数据库（1978）），293-322
[15] 马克·德内克（Marc Denecker）；尤利娅·利勒；特鲁兹钦斯基（Truszczynski），米罗斯劳（Miroslaw）；Vennekens，Joost，回答集编程的Tarskian非正式语义（ICLP 2012（2012）），277-289·Zbl 1281.68147号
[16] 埃宾豪斯（Ebbinghaus），海因兹·迪特（Heinz-Dieter）；Flum，Jörg，有限模型理论，数学逻辑的观点（1995），Springer·Zbl 0841.03014号
[17] Fages，François，Clark完备性的一致性和稳定模型的存在性，Meth。CS中的逻辑，1,1,51-60（1994）
[18] 保罗·费拉里斯；Lee，Joohyung；Lifschitz，Vladimir，稳定模型和边界，Artif。智力。，175, 1, 236-263 (2011) ·兹比尔1227.68103
[19] Haim Gaifman；哈里·梅森。；Yehoshua Sagiv；Vardi，Moshe Y.，数据库逻辑程序的不确定优化问题，J.ACM，40，3，683-713（1993）·Zbl 0785.68021号
[20] 马丁·格布瑟（Martin Gebser）；罗兰·卡明斯基（Roland Kaminski）；本杰明·考夫曼；Schaub，Torsten，《实践中的答案集求解》，《人工智能和机器学习综合讲座》（2012年），Morgan&Claypool出版社·兹比尔1251.68060
[21] Michael Gelfond；弗拉基米尔·利夫施奇茨（Vladimir Lifschitz），《逻辑编程的稳定模型语义》（The stable model semantics for logic programming），（国际逻辑编程会议和研讨会论文集（1988），麻省理工学院出版社），1070-1080
[22] Michael Gelfond；弗拉基米尔，Lifschitz，逻辑程序和析取数据库中的经典否定，新世代。计算。，9, 3/4, 365-386 (1991) ·Zbl 0735.68012号
[23] 乔治·戈特洛布（Georg Gottlob）；安德烈·赫尼奇；克莱门斯·库普克；Lukasiewicz，Thomas，保护存在规则和描述逻辑的稳定模型语义，（《知识表示和推理原则：第十四届国际会议论文集》，KR 2014，奥地利维也纳，2014年7月20日至24日（2014））·Zbl 1499.68087号
[24] 阿米莉亚·哈里森；弗拉基米尔·利夫希茨；皮尔斯，大卫；Valverde，Agustín，《无限平衡逻辑和强等价逻辑程序》，Artif。智力。，246, 22-33 (2017) ·Zbl 1419.68120号
[25] 汤米·詹胡宁；Niemela，Ilkka，非析取答案集程序到命题子句的紧凑翻译，（逻辑编程、知识表示和非单调推理——迈克尔·盖尔丰德65岁生日之际的论文（2011）），111-130·Zbl 1326.68058号
[26] Lee，Joohyung；孟云松，一阶稳定模型语义和一阶循环公式，J.Artif。智力。研究，42，125-180（2011）·Zbl 1234.68247号
[27] Lierler，Yuliya，cmodels-基于SAT的析取答案集求解器，（逻辑编程和非单调推理，第八届国际会议，LPNMR 2005，意大利迪亚曼特，2005年9月5日至8日，Proceedings（2005）），447-451
[28] Lifschitz，Vladimir，《具有内涵功能的逻辑程序》，（《知识表示和推理原理：第十三届国际会议论文集》，KR 2012，意大利罗马，2012年6月10日至14日（2012），Springer）·Zbl 1281.68067号
[29] 林方珍；约夫·肖姆（Yoav Shoham），《知识和合理假设的逻辑》，阿蒂夫（Artif）。智力。，57, 2-3, 271-289 (1992) ·Zbl 0763.68060号
[30] 林方珍；赵玉婷，ASSAT：由SAT解析器计算逻辑程序的答案集，Artif。智力。，157, 1-2, 115-137 (2004) ·Zbl 1085.68544号
[31] 林方珍；周毅，从答案集逻辑编程到通过GK逻辑的限定，Artif。智力。，1751264-277（2011年）·Zbl 1216.68270号
[32] 大卫·迈尔；杰弗里·乌尔曼。；Vardi，Moshe Y.，在普遍关系模型的基础上，ACM Trans。数据库系统。，9, 2, 283-308 (1984) ·Zbl 0563.68077号
[33] 维克托·马雷克（Victor W.Marek）。；Truszczynski，Miroslaw，稳定模型和替代逻辑编程范式（The logic programming paradigm:A 25-Year Perspective（1999），Springer-Verlag），375-398·Zbl 0979.68524号
[34] Niemelä，Ilkka，《将稳定模型语义作为约束编程范式的逻辑程序》，Ann.Math。Artif公司。智力。，25, 3-4, 241-273 (1999) ·Zbl 0940.68018号
[35] 罗伯特·纽文胡斯（Robert Nieuwenhuis）；阿尔伯特·奥利弗拉斯（Albert Oliveras）；Tinelli，Cesare，解决SAT和SAT模理论：从抽象的Davis-Putnam-Logemann-Loveland过程到（text{DPLL}（t）），J.ACM，53，6，937-977（1999）·Zbl 1326.68164号
[36] 大卫·皮尔斯；阿古斯汀·瓦尔弗德，《走向非单调推理的一阶平衡逻辑》（JELIA’2004（2004）），147-160·Zbl 1111.68687号
[37] 雷蒙德·赖特（Raymond Reiter），《默认推理逻辑》（A logic for default reasoning），阿蒂夫（Artif）。智力。，13，1-2，81-132（1980年）·Zbl 0435.68069号
[38] 沈毅东；王克文；托马斯·艾特；迈克尔·芬克；克里斯托夫·雷德尔；托马斯·克伦瓦尔纳（Thomas Krennwallner）；Deng，Jun，FLP回答集语义，通用逻辑程序无循环证明，Artif。智力。，213, 1-41 (2014) ·Zbl 1391.68016号
[39] 张恒；张燕，析取逻辑程序的一阶可表达性和有界性（IJCAI 2013（2013））
[40] 张燕；Zhou，Yi，关于回答集程序的进行语义和有界性，（KR 2010（2010））
[41] 周毅，一阶析取逻辑编程与正规逻辑编程，（《第二十四届国际人工智能联合会议论文集》，第二十四届人工智能国际联合会议论文，2015年，阿根廷布宜诺斯艾利斯，2015年7月25日至31日（2015）），3292-3298
[42] 周毅；张燕，选言逻辑程序的进展语义，（AAAI 2011（2011））
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。