检索结果-内蒙古大学图书馆

Active integrity constraints and revision programming

THEORY AND PRACTICE OF LOGIC programming 2011年第6期11卷 905-952页

作者： Caroprese, Luciano Truszczynski, Miroslaw Univ Calabria I-87030 Arcavacata Di Rende Italy Univ Kentucky Dept Comp Sci Lexington KY 40506 USA

We study active integrity constraints and revision programming, two formalisms designed to describe integrity constraints on databases and to specify policies on preferred ways to enforce them. Unlike other more commonly accepted approaches, these two formalisms attempt to provide a declarative solution to the problem. However, the original semantics of founded repairs for active integrity constraints and justified revisions for revision programs differ. Our main goal is to establish a comprehensive framework of semantics for active integrity constraints, to find a parallel framework for revision programs, and to relate the two. By doing so, we demonstrate that the two formalisms proposed independently of each other and based on different intuitions when viewed within a broader semantic framework turn out to be notational variants of each other. That lends support to the adequacy of the semantics we develop for each of the formalisms as the foundation for a declarative approach to the problem of database update and repair. In the paper, we also study computational properties of the semantics we consider and establish results concerned with the concept of the minimality of change and the invariance under the shifting transformation.

关键词： inconsistent databases active integrity constraints revision programming

来源：评论

学校读者我要写书评

暂无评论

Annotated revision programs

引用

ARTIFICIAL INTELLIGENCE 2002年第1-2期138卷 149-180页

作者： Marek, V Pivkina, I Truszczynski, M Univ Kentucky Dept Comp Sci Lexington KY 40506 USA

revision programming is a formalism to describe and enforce updates of belief sets and databases. That formalism was extended by Fitting who assigned annotations to revision atoms. Annotations provide a way to quantify the confidence (probability) that a revision atom holds. The main goal of our paper is to reexamine the work of Fitting, argue that his semantics does not always provide results consistent with intuition, and to propose an alternative treatment of annotated revision programs. Our approach differs from that proposed by Fitting in two key aspects: we change the notion of a model of a program and we change the notion of a justified revision. We show that under this new approach fundamental properties of justified revisions of standard revision programs extend to the annotated case. (C) 2002 Elsevier Science B.V. All rights reserved.

关键词： knowledge representation database updates belief revision revision programming annotated programs

来源：评论

学校读者我要写书评

暂无评论

Annotated revision programs 5th

引用

5th International Conference on Logic programming and Nonmonotonic Reasoning (LPNMR 99)

作者： Marek, V Pivkina, I Truszczynski, M Univ Kentucky Dept Comp Sci Lexington KY 40506 USA

ISBN: (纸本)3540667490

关键词： knowledge representation database updates belief revision revision programming annotated programs

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：