Zhang Dongmo, Chen Shifu, Zhu Wujia, Li Hongbin. Nonmonotonic reasoning and multiple belief revi- sion. In Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, IJCAI-97, Morgan Kaufmann,  Home/Search   Document Details and Download   Summary   Related Articles   Check

....in terms of iterated belief revision by sets An exception, in a slightly more complex framework, is [Wey 99] We obviously interpret single sentences here as singleton sets. For one treatment of this topic, and its relation with nonmonotonic inference from infinite sets of premises, see [ZCZL 97] of sentences, using the particular, independently motivated, revision model of Nayak. In the process of doing this, a couple of interesting avenues for further exploration have suggested themselves. In particular, the questions of which properties of iterated multiple revision should be deemed ....

D. Zhang, S. Chen, W. Zhu and H. Li, Nonmonotonic reasoning and multiple belief revision, in: Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI'97), (Morgan Kaufmann, 1997) 95--100.

....and his belief revision operation. But his belief revision operator is not the one of AGM s. Boutilier It2] presented a unified framework for default reasoning and belief revision. Being different from ours, his method is based on modal framework of default logic and belief revision. In [16], Zhang et al. showed some features of the syntax independent default reasoning. It was proved that the strong provability is a finite supracompact rational nonmonotonic inference relation, that is to say, satisfies the following rules: RN1) If F A, then F A (Supraclassicality) RN2) If F2 , ....

Zhang Dongmo, Chen Shifu, Zhu Wujia, Li Hongbin. Nonmonotonic reasoning and multiple belief revi- sion. In Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, IJCAI-97, Morgan Kaufmann,

....us that confining our attention only to the generalization of postulates for singleton belief change would fail to get a full characterization of infinite belief changes. This result also provides a powerful tool to investigate the connection between belief revision and non monotonic reasoning. In [Zhang et al. 1997 ] we in troduced a non monotonic logic the semantic of which bases on the theory of multiple belief revision and one of the inference rules in which, finite supracompactness, is just the counterpart of the Limit Postulate. ....

Dongmo Zhang, Shifu Chen, Wujia Zhu and Hongbing Li, Nonmonotonic reasoning and multiple belief revision, this volume.

.... Partitions In order to capture the idea of strength of belief, 5] introduced the concept of total ordered partitions, which was a key notion in the establishment of general belief revisions (see [6] and the analyses of relationships between belief revision and nonmonotonic reasoning(see [7]) In this section, we use the concept to specify reconstruction and cognitive process. Definition 2.1 [5] Let F be a set of sentences, 7 ) be a partition of F, and be a total ordering relation on 7 ) The triple Z = F,7) is called a lolal orderedparlilion(TOP) ofF, or a lolalordered ....

Zhang Dongmo, Chen Shifu, Zhu Wujiaet al., Nonmonotonic reasoning and multiple belief revision, in:Proc. 15th Int. Joint Conf. on Artificial Intelligence (IJCAI-97), 95-100.

.... exists a nite subset 0 of such that 0 [ 0 j A for every nite subset 0 of Cn( Finite Supracompactness) It is not easy to identify who is the rst proposer of each rule, but most of them can be found in [Makinson 89] and [Makinson 93] others from [Freund 90] 20] Herre 94] 21] and [Zhang et al. 97b] 9] and [10] We should say that even though this list is not complete for nonmonotonic inference rules, most of them which were suggested as a rule for general nonmonotonic reasoning in the literature are supposed in the list except those which obviously can be derived from the list, such ....

....This rule re ects that nonmonotonic reasoning has the extra capability to jump to conclusions . It is also notable that these inference rules are by no means independent. In fact, Makinson 93] has given an elegant picture about the relationship among some of these rules. Based on the results of [Zhang et al. 97b] we have Proposition 1 If a nonmonotonic inference relation j satis es supraclassicality, consistency preservation, weak transitivity, in nite conditionalization, rational monotonicity, and nite supracompactness, then all the others in the list can be derived. Proof. According to Lemma 2.2, ....

[Article contains additional citation context not shown here]

D. Zhang, S. Chen, W. Zhu and H. Li, Nonmonotonic reasoning and multiple belief revision, in: Proc. Int. Joint Conf. on Articial Intelligence (IJCAI-97), 95-100, 1997.

....(Cut) 3] If j A and j B, then ; Aj B. Restricted Monotonicity) From then, many other inference rules for nonmonotonic inference relation were put forward ( Makinson 1989] Makinson 1993] Freund 1990] Kraus et al. 1990] Lehmann and Magidor 1992] Herre 1994] Kaluzhny and Lehmann 1995][Zhang et al. 1997b] Most of the rules have two versions: nite one and 1 means for any B 2 , B. 2 in nite one, di erentiating nite and in nitely many promises of an inference relation. Some of rules have only one version, such as supracompactness which only makes sense in the in nite case. The ....

.... nite subset 0 of such that 0 [ 0 j A for every nite subset 0 of Cn( Finite Supracompactness) It is not easy to identify who is the rst proposer for each rule, but most of them can be found in [Makinson 1989] and [Makinson 1993] others from [Freund 1990] 20] Herre 1994] 21] and [Zhang et al. 1997b] 9] 10] We should say that even though this list is not a complete one for nonmonotonic inference rules, most of them which were suggested as a rule for general nonmonotonic reasoning in the literature are supposed in the list except those which 1. obviously can be derived from the list, ....

[Article contains additional citation context not shown here]

D. Zhang, S. Chen, W. Zhu and H. Li, Nonmonotonic reasoning and multiple belief revision, in: Proc. Int. Joint Conf. on Arti cial Intelligence (IJCAI-97), 95-100, 1997. 14

No context found.

Dongmo Zhang et al., Nonmonotonic reasoning and multiple belief revision, IJCAI-97, 95-100. 13

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC