| 1. | Theories and methods of belief reform
信念修正的理论与方法 |
| 2. | ( 2 ) there are several problems in all kinds of belief revision methods , for example loss of useful information or birth of unexpected information in reasoning procedure and also difficulty to draw a conclusion
另外指出各种方法一般都应遵循两个原则：一是最小改变原则；二是强首要更新原则。 ( 2 )各种信念修正方法都存在着丢失希望信息、产生不希望结论或结论难于选择的问题。 |
| 3. | This thesis concerns belief change without linearity , main contribution includes : ( 1 ) we establishes a representation theorem for a partial meet contraction which is defined by a nonlinear relation and satisfies a complete condition
本文对非线性信念修正的若干问题进行了讨论，取得的主要结果如下： ( 1 )建立了基于部分交构造的由非线性序选择机制决定的满足某种完备性条件的一类收缩算子的表示定理。 |
| 4. | Among them c . alchourronn p . gardenfors and d . makinson ' s agm theory is the most well known . the agm postulates claimed to be satisfied by any rational revision method . this paper studies several revision methods and puts forward a non - revision method
在所有的方法中最有影响的一个，是由c . alchourron 、 p . gardenfors和d . makinson所提出的agm理论， agm理论中提出了一组应为所有合理的信念修正模型所满足的公设，即所谓的agm公设。 |
| 5. | Professor deng has developed a non - revision method which describes the credible degree of belief by quantitative method . since this method uses the quantitative information to describe the reliable degree of knowledge , it dose not deal with the inconsistent knowledge and uses the heuristic information to instruct reasoning that can make the result by reasoning among source knowledge the most reliable conclusion
邓安生提出定量非修正方法，该方法避免了在信念修正过程中所产生的有用信息丢失的现象；并将在已有的信念之下能够推出的最为可靠的结论作为系统的最终结论，使得系统具有唯一的结论集，从而完全解决了系统在含有不一致信念的情况下结论难于选择的问题。 |
| 6. | The theory of belief revision is an important branch in the research of artificial intelligence . many researchers have discussed about it , and put forward lots of methods according to different requirements in different applicable areas , the most representative of which is the agm theory
信念修正理论是目前人工智能的一个重要的研究方向，很多专家学者对此进行了广泛而深入的研究，并且根据不同的应用领域的不同需要，提出了许多信念修正的方法，其中最具有代表性的就是agm理论。 |
| 7. | The main work of this paper can be divided into three parts : ( 1 ) the first part of this paper presents several representative iterative belief revision methods , and compare them to agm postulates . it can be concluded that most of the iterative belief revision methods obey such two rules : one is minimal change principle ; the other is strong prime update principle
本文将对几种信念修正方法进行比较，并讨论他们满足agm公设的情况，同时给出定量非修正方法的实现算法。具体而言，主要完成以下三项工作： ( 1 )首先介绍几种典型的迭代修正方法。并对这些方法进行比较，讨论他们满足agm公设的情况。 |
