×
马蒂亚斯·克诺尔；何塞·胡里奥·阿弗雷斯

在遗忘时保持强等价性。 （英语） Zbl 1432.68059号

Fermé，Eduardo（编辑）等人，《人工智能中的逻辑》。2014年9月24日至26日，第14届欧洲会议，JELIA 2014，葡萄牙马德拉，Funchal。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8761, 412-425 (2014).
总结：在不同语义下出现了各种逻辑程序遗忘的建议，这些建议满足了不同的属性集。尽管在设计捕获越来越多这些属性的方法方面取得了进展，但关于遗忘的结果应该保留初始程序对剩余的、未被遗忘的原子的意义的想法尚未被捕获。特别是，现有的建议可能无法保留程序结构中给定的原子之间的依赖关系。在逻辑程序中，这些关系是由强等价捕获的，但是，在遗忘的同时保持两个不同程序的强等价是不够的。相反，在原始程序和因遗忘而产生的程序之间，应保持与剩余原子相关的强等价性。在本文中，我们通过形式化捕获遗忘时关系保持的属性来克服这一不足，同时为任意逻辑程序的这种遗忘提供了一个通用的语义定义。然后，我们研究了正常程序在完备语义下的遗忘，以及在答案集语义下具有双重否定的程序的遗忘。在这两种情况下，我们都专注于高效的基于语法的算法，这些算法只处理有效需要更改的规则。
关于整个系列，请参见[Zbl 1296.68009号].

引用于8文件

MSC公司：

68N17号 逻辑编程
PDF格式BibTeX公司 XML格式引用
\textit{M.Knorr}和\textit{J.Alferes}，莱克特。注释计算。科学。8761、412--425（2014年；Zbl 1432.68059）
全文： 内政部

参考文献：

[1] Alferes，J.J。；克诺尔，M。；王凯。；Cabalar，P。；Son，T.C.，《基础扎实的语义学下的遗忘，逻辑编程和非单调推理》，36-41（2013），海德堡：斯普林格出版社·Zbl 1405.68336号 ·doi:10.1007/978-3-642-40564-84
[2] 安东尼乌，G。；艾特，T。；王凯。；比约纳，北。；沃伦科夫，A.，《忘记可定义逻辑》，《程序设计、人工智能和推理的逻辑》，77-91（2012），海德堡：施普林格出版社·兹比尔1352.68225 ·doi:10.1007/978-3-642-28717-69
[3] 黄铜，S。；Dix，J.，基于部分求值的（析取）逻辑程序语义，J.Log。程序。，40, 1, 1-46 (1999) ·Zbl 0946.68088号 ·doi:10.1016/S0743-1066（98）10030-4
[4] Dantsin，E。；艾特，T。；Gottlob，G。；Voronkov，A.，逻辑编程的复杂性和表达能力，ACM计算。调查。，33, 3, 374-425 (2001) ·doi:10.1145/502807.502810
[5] Eiter，T.、Fink，M.、Woltran，S.：答案集编程中等价的语义特征和复杂性。ACM事务处理。计算。日志。8(3) (2007) ·Zbl 1367.68031号
[6] 艾特，T。；Wang，K.，《答案集编程中的语义遗忘》，Artif。智力。，172, 14, 1644-1672 (2008) ·Zbl 1184.68159号 ·doi:10.1016/j.artint.2008.05.002
[7] Gelder，A.V。；Ross，K.A。；Schlipf，J.S.，《通用逻辑程序的良好语义》，J.ACM，38，3，620-650（1991）·Zbl 0799.68045号
[8] Gelfond，M。；Lifschitz，V.，逻辑程序和析取数据库中的经典否定，新一代计算。，9, 3-4, 365-385 (1991) ·Zbl 0735.68012号 ·doi:10.1007/BF03037169
[9] 康查科夫，R。；Wolter，F。；Zakharyaschev，M.，基于逻辑的本体比较和模块提取，以及DL-Lite的应用，Artif。智力。，174, 15, 1093-1141 (2010) ·Zbl 1238.68154号 ·doi:10.1016/j.artint.2010.06.003
[10] Lifschitz，V。；皮尔斯，D。；Valverde，A.，《强等效逻辑程序》，ACM Trans。计算。日志。，2, 4, 526-541 (2001) ·Zbl 1365.68149号 ·数字对象标识代码：10.1145/383779.383783
[11] Lifschitz，V。；Tang，L.R。；特纳，H.，《逻辑程序中的嵌套表达式》，《数学年鉴》。Artif公司。智力。，25, 3-4, 369-389 (1999) ·兹伯利0940.68075 ·doi:10.1023/A:1018978005636
[12] Lin，F.，Reiter，R.：算了吧！摘自：AAAI秋季相关性研讨会论文集，第154-159页（1994）
[13] Lutz，C.，Wolter，F.：表达描述逻辑中统一插值和遗忘的基础。参见：Walsh，T.（ed.）IJCAI 2011，《第22届国际人工智能联合会议论文集》，西班牙加泰罗尼亚巴塞罗那，7月16-22日，第989-995页。IJCAI/AAAI（2011）
[14] Wang，Y.，Wang，K.，Zhang，M.：忘记重温答案集程序。In:Rossi，F.（ed.）IJCAI 2013，第23届国际人工智能联合会议论文集，中国北京，8月3-9日，IJCAI/AAAI（2013）
[15] 王毅、张毅、周毅、张毅：强等价条件下逻辑程序中的遗忘。摘自：Brewka，G.，Eiter，T.，McIlraith，S.A.（编辑）《知识表示和推理原则：第十三届国际会议论文集》，韩国，2012年，第643-647页。AAAI出版社（2012）
[16] 王，Z。；王凯。；托珀，R.W。；Pan，J.Z.，《忘记DL-Lite中的知识库》，《数学年鉴》。Artif公司。智力。，58, 1-2, 117-151 (2010) ·Zbl 1205.68410号 ·doi:10.1007/s10472-010-9187-9
[17] 沃尔特兰，S。；Alferes，J.J。；Leite，J.，《答案集编程中相对化等价概念的表征》，《人工智能中的逻辑学》，161-173（2004），海德堡：斯普林格出版社·Zbl 1111.68695号 ·doi:10.1007/978-3-540-30227-816
[18] 王，K.S.：逻辑程序中的遗忘。新南威尔士大学博士论文（2009年）
[19] Zhang，Y。；Foo，纽约，通过强弱遗忘解决逻辑程序冲突，Artif。智力。，170, 8-9, 739-778 (2006) ·Zbl 1131.68037号 ·doi:10.1016/j.artint.2006.02.002
[20] Zhang，Y。；周，Y.，《知识遗忘：属性和应用》，Artif。智力。，173, 16-17, 1525-1537 (2009) ·Zbl 1187.03015号 ·doi:10.1016/j.artint.2009.07.005
[21] 周，Y.，张，Y.：有限遗忘。摘自：Burgard，W.，Roth，D.（编辑）《第二十五届AAAI人工智能会议论文集》，2011年，美国加利福尼亚州旧金山，8月7日至11日。AAAI出版社（2011）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。