Update postulates without inertia - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 1995

Update postulates without inertia

Résumé

Starting from Katsuno and Mendelzon postulates, a new set of postulates which is minimal and complete has been defined, these postulates characterize an update operator. The update operator class which is obtained is larger than Katsuno and Mendelzon's one, since it includes updating operators which are not inert, and which allow for the existence of unreachable states. The main property is that every update operator satisfying this new set of postulates admits an underlying ranked transition graph. The rank-ordering of its transitions has not to be faithful as in Katsuno and Mendelzon system.

Dates et versions

hal-04050866 , version 1 (29-03-2023)

Identifiants

Citer

Didier Dubois, Florence Dupin de Saint-Cyr, Henri Prade. Update postulates without inertia. European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty (ECSQARU 1995), Jul 1995, Fribourg, Switzerland. pp.162--170, ⟨10.1007/3-540-60112-0_19⟩. ⟨hal-04050866⟩
7 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More