Knowledge base dynamics, abduction, and database updates
作者:
Chandrabose Aravindan,
PhanMinh Dung,
期刊:
Journal of Applied Non-Classical Logics
(Taylor Available online 1995)
卷期:
Volume 5,
issue 1
页码: 51-76
ISSN:1166-3081
年代: 1995
DOI:10.1080/11663081.1995.10510843
出版商: Taylor & Francis Group
关键词: epistemology;belief dynamics;rationality postulates;abduction;databases;view updates
数据来源: Taylor
摘要:
In this paper, we argue that to apply rationality results of belief dynamics theory to various practical problems, it should be generalized in two respects: first of all, it should allow certain part of belief to be declared immutable; and secondly, the belief state need not be deductively closed. Such a generalization of belief dynamics, referred to as knowledge base dynamics, is presented, along with the concept of generalized contraction to contract a sentence from knowledge base. We show that knowledge base dynamics has interesting connections with abduction, thus enabling us to use abductive procedures to realize contractions. Finally, we demonstrate how knowledge base dynamics can provide an axiomatic characterization for deleting view atoms from databases.
点击下载:
PDF (1392KB)
返 回