%0 Journal Article
%T Belief Revision by Sets of Sentences
%A Zhang Dongmo
%A <br>Zhang
%A Dongmo
%J 计算机科学技术学报
%D 1996
%I 
%X The aim of this paper is to extend the system of belief revision developed by Alchourron, Gardenfors and Makinson (AGM) to a more general framework.This extension enables a treatment of revision not only by single sentences but also by any sets of sentences, especially by infinite sets. The extended revision and contraction operators will be called general ones, respectively. A group of postulates for each operator is provided in such a way that it coincides with AGM's in the limit case. A notion of the nice-ordering partition is introduced to characterize the general contraction operation. A comp ut ation- orient ed ap-proach is provided for belief revision operations.
%K Belief revision
%K the logic of theory change
%K epistemic entrenchment
%K default logic<br>人工智能
%K 可信度修正
%K 缺席逻辑
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=F57FEF5FAEE544283F43708D560ABF1B&aid=FA00D6925376EDB49B349F827285E586&yid=8A15F8B0AA0E5323&vid=708DD6B15D2464E8&iid=0B39A22176CE99FB&sid=6270DC1B5693DDAF&eid=F122871CC7EC92DC&journal_id=1000-9000&journal_name=计算机科学技术学报&referenced_num=7&reference_num=1