Logic program-based updates
Logic program-based updates
复制标题
基于逻辑程序的更新
DOI：
10.1145/1149114.1149115
复制
发表时间：
2006
期刊：
影响因子：
--
通讯作者：
Yan Zhang
中科院分区：
文献类型：
--
作者：
Yan Zhang
在基于逻辑程序的更新中，矛盾信息消除、冲突消解和语法表示是三个相互干扰、影响更新结果的主要问题。我们观察到，现有的方法的逻辑程序为基础的更新，以这样或那样的方式，是有问题的，以处理这些问题。在本文中，我们将系统地解决所有这些问题。本文提出的基于逻辑程序的更新方法具有以下特点：（1）采用优先级逻辑程序设计语言，为基于逻辑程序的更新提供形式化的基础，使更新中的信息冲突及其相关问题得到妥善处理;（2）我们的方法为底层更新过程提供了语义表征和句法表示，并且因此与逻辑程序扩展声明语义和语法敏感性内的更新的性质一致;以及（3）我们的方法还提供了非平凡的解决方案以简化在某些条件下的各种更新评估过程。
In logic program-based updates, contradictory information elimination, conflict resolution, and syntactic representation are three major issues that interfere with each other and significantly influence the update result. We observe that existing approaches of logic program-based updates, in one way or another, are problematic to deal with these issues. In this article, we address all these problems in a systematic manner. Our approach to the logic program-based update has the following features: (1) a prioritized logic programming language is employed for providing a formal basis of formalizing logic program-based updates, so that information conflict and its related problems in updates can be handled properly; (2) our approach presents both semantic characterization and syntactic representation for the underlying update procedure, and hence is consistent with the nature of updates within the logic program extent-declarative semantics and syntactic sensitivity; and (3) our approach also provides nontrivial solutions to simplify various update evaluation procedures under certain conditions.