首页   按字顺浏览 期刊浏览 卷期浏览 Minimal and consistent evolution of knowledge bases
Minimal and consistent evolution of knowledge bases

 

作者: Jorge Lobo,   Goce Trajcevski,  

 

期刊: Journal of Applied Non-Classical Logics  (Taylor Available online 1997)
卷期: Volume 7, issue 1-2  

页码: 117-146

 

ISSN:1166-3081

 

年代: 1997

 

DOI:10.1080/11663081.1997.10510902

 

出版商: Taylor & Francis Group

 

关键词: knowledge base updates;deductive databases;view updates;consistency maintenance

 

数据来源: Taylor

 

摘要:

This work presents efficient algorithms to update knowledge bases in the presence of integrity constraints. The algorithms ensure that the changes to the knowledge bases are minimal. We use the deductive database paradigm to represent knowledge. Minimality is defined as a natural partial order over possible models of the database and expresses a preference for data explicity stored in the database over the data deduced by default. This requirement seems rational for many applications and yet it is hard to be expressed with a set of integrity constraints. We handle safe negation and local variables in the bodies of the rules. We tackle the issue of modifying the active domain (i.e. adding new constants or removing some of the constants which are present in the knowledge base), and we demonstrate how interaction with the user can be used to handle recursive definitions.

 

点击下载:  PDF (1664KB)



返 回