×

A new approach to base revision. (English) Zbl 0957.03020

Barahona, Pedro (ed.) et al., Progress in artificial intelligence. 9th Portuguese conference on Artificial intelligence, EPIA ’99, Évora, Portugal, September 21-24, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1695, 327-341 (1999).
Summary: We present three approaches to revision of belief bases, which are also examined in the case in which the sentences in the base are partitioned between those which can and those which cannot be changed; the approaches are shown to be semantically equivalent. A new approach is then presented, based on the modification of individual rules, instead of deletion. The resulting base is semantically equivalent to that generated by the other approaches, in the sense that it has the same models, but the rule part alone has fewer models, that is, is subjected to a smaller change.
For the entire collection see [Zbl 0929.00072].

MSC:

03B42 Logics of knowledge and belief (including belief change)
68T30 Knowledge representation