×
严章加;Foob，Norman Y。

通过强遗忘和弱遗忘解决逻辑程序冲突。 （英语） Zbl 1131.68037号

Artif公司。智力。 170，编号8-9，739-778（2006）.
小结：我们考虑如何在逻辑程序中忘记一组原子。直观地说，当逻辑程序中忘记了一组原子时，该组中的所有原子都应该以某种方式从此程序中消除，程序中与它们相关的其他原子也可能受到影响。我们在逻辑程序中定义了强伪造和弱伪造的概念，以捕捉这种直觉，揭示它们与经典命题理论中遗忘概念的密切联系，并为它们提供精确的语义表征。基于这些概念，我们开发了逻辑程序中冲突解决的一般框架。我们研究了该框架中与强遗忘和弱遗忘以及冲突解决相关的各种语义属性和特征。我们认为许多重要的冲突解决问题都可以在该框架中表示出来。特别是，我们证明了所有主要的逻辑程序更新方法都可以转换到我们的框架中，在这个框架下，每种方法都成为具有特定约束的特定冲突解决案例。我们还研究了强遗忘和弱遗忘以及冲突解决的基本计算性质。

引用于15文件

MSC公司：

68N17号 逻辑编程
65年第68季度 算法和问题复杂性分析
68立方英尺 知识表示

关键词：

解决冲突;知识表示;答案集语义;逻辑程序更新;计算复杂度
PDF格式BibTeX公司 XML格式引用
\textit{Y.Zhanga}和\textit{N.Y.Foob}，Artif。智力。170，编号8--9，739--778（2006；Zbl 1131.68037）
全文： 内政部 链接

参考文献：

[1] Apt，K.R。；布莱尔，H.A。；Walker，A.，朝向陈述性知识理论，（Minker，J.，演绎数据库和逻辑编程基础（1988），Morgan Kaufmann），293-322
[2] J.J.Alferes、J.A.Leite、L.M.Pereira等人，《动态逻辑编程》，收录于：《KR-98学报》，1998年，第98-111页；J.J.Alferes、J.A.Leite、L.M.Pereira等人，《动态逻辑编程》，收录于：《KR-98学报》，1998年，第98-111页
[3] Baral，C.，《知识表示、推理和陈述式问题解决》（2002），剑桥大学·Zbl 1056.68139号
[4] 黄铜，S。；Dix，J.，《基于部分求值的析取逻辑程序语义的一般框架》，《逻辑编程杂志》，38，3，167-213（1998）
[5] 艾特，T。；芬克，M。；萨巴蒂尼，G。；Tompits，H.，《基于因果拒绝的更新序列的性质》，逻辑编程理论与实践，2711-767（2002）·Zbl 1105.68326号
[6] 艾特，T。；芬克，M。；萨巴蒂尼，G。；Tompits，H.，关于进化非单调知识库的推理，ACM计算逻辑事务，6389-440（2005）·Zbl 1367.68279号
[7] Gelfond，M。；Lifschitz，V.，《逻辑编程的稳定模型语义》（The stable model semantics for logic programming），（1988年国际逻辑编程会议论文集，麻省理工学院出版社），1070-1080
[8] K.Inoue，《扩展诱拐的简单描述》，载《第一届国际计算逻辑会议论文集》（CL-2000），2000年，第718-732页；K.Inoue，《扩展诱拐的简单描述》，载《第一届国际计算逻辑会议论文集》（CL-2000），2000年，第718-732页·Zbl 0983.68538号
[9] K.Inoue，C.Sakama，《逻辑程序等价性更新》，载《JELIA学报》，2004年；K.Inoue，C.Sakama，《逻辑程序等价性更新》，载《JELIA学报》，2004年·Zbl 1111.68381号
[10] S.Konieczny，R.Pino Pérez，《关于合并的逻辑》，载《第六届知识表示与推理国际会议论文集》（KR-98），1998年，第488-498页；S.Konieczny，R.Pino Pérez，《关于合并的逻辑》，载《第六届知识表示与推理国际会议论文集》（KR-98），1998年，第488-498页
[11] 科尼奇尼，S。；Pino Pérez，R.，命题信念库合并或如何合并来自多个来源的信念/目标以及与社会选择理论的一些联系，《欧洲运筹学杂志》，160，3，785-802（2005）·Zbl 1061.90060号
[12] Kunen，K.，逻辑程序中的符号数据依赖，《逻辑编程杂志》，7，3，231-245（1989）
[13] 朗·J。；Marquis，P.，通过变量遗忘解决不一致性，（第八届知识表示与推理原则国际会议论文集（KR-2002）（2002年），Morgan Kaufmann出版社），239-250
[14] 朗·J。；利伯拉托雷，P。；Marquis，P.，命题独立性-公式变量独立性和遗忘，《人工智能研究杂志》，18，391-443（2003）·兹伯利1056.68112
[15] Leite，J.A.，《不断发展的知识库：规范和语义》（2003），IOS出版社·Zbl 1056.68138号
[16] 利伯拉托雷，P。；Schaerf，M.，《知识库集成系统》，（第七届知识表示与推理国际会议论文集（KR-2000）（2000），摩根考夫曼出版社），145-152
[17] Lifschitz，V。；皮尔斯，D。；Valverde，A.，《强等价逻辑程序》，ACM计算逻辑事务，2，4，426-541（2001）·Zbl 1365.68149号
[18] F.Lin，R.Reiter，算了吧！，1994年AAAI秋季相关性研讨会工作说明，第154-159页；F.Lin，R.Reiter，算了吧！，1994年AAAI秋季相关性研讨会工作说明，第154-159页
[19] Lin，F.，关于最强必要条件和最弱充分条件，人工智能，128，143-159（2001）·Zbl 0971.68127号
[20] F.Lin，Y.Chen，《发现强等价逻辑程序的类》，载《IJCAI-2005年学报》，2005年；F.Lin，Y.Chen，发现强等价逻辑程序的类，收录于：IJCAI-2005，2005·Zbl 1182.68042号
[21] Papadimitriou，C.H.，《计算复杂性》（1995），艾迪森·韦斯利·Zbl 0557.68033号
[22] C.Sakama，K.Inoue，通过诱拐更新扩展逻辑程序，摘自：LPNMR’99会议录，1999年，第2-17页；C.Sakama，K.Inoue，通过诱拐更新扩展逻辑程序，收录于：LPNMR’99会议录，1999年，第2-17页·Zbl 0952.68052号
[23] Sakama，C。；Seki，H.，析取逻辑编程中的部分演绎，逻辑编程杂志，32，3，229-245（1997）·Zbl 0883.68026号
[24] 苏凯。；吕，G。；张毅，《变量遗忘对知识的推理》，（第九届知识表示与推理原理国际会议论文集（KR-2004）（2004），摩根·考夫曼出版社），576-586
[25] 你，J.-H。；袁，L.，演绎数据库和逻辑程序的三值语义，《计算机与系统科学杂志》，49，2，334-361（1994）·Zbl 0821.68080号
[26] 张毅，优先逻辑程序设计的两个结果，逻辑程序设计理论与实践，3，2，223-242（2003）·Zbl 1111.68387号
[27] Y.Zhang，N.Foo，《更新逻辑程序》，载《ECAI-1998会议录》，1998年，第403-407页；Y.Zhang，N.Foo，更新逻辑程序，摘自：ECAI-1998年会议记录，1998年，第403-407页
[28] Zhang，Y.，基于逻辑程序的更新（2006），ACM计算逻辑事务，提交出版·Zbl 1367.68045号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。