Opérateurs totalement informatifs et ordres linéaires partitionnés en révision de croyances
Résumé
Cet article traite d'opérateurs de révision des croyances qui conduisent à des situations totalement informées. Ce type de situation peut être représenté dans le cadre de révision de Katsuno et Mendelzon par une formule propositionnelle complète à partir de laquelle n'importe quelle formule ou sa négation peut être déduite. Nous caractérisons de tels opérateurs par un ensemble de postulats et fournissons un théorème de représentation qui conduit à totalement ordonner les interprétations. Nous présentons une famille d'opérateurs concrets basée sur des fonctions de départage. Néanmoins, les ordres linéaires sont extrêmement difficiles à obtenir dans la pratique. C'est pourquoi nous proposons dans une deuxième partie une structure ordonnée originale, appelée ordre linéaire partitionné (OLP). Ces structures peuvent être considérées comme des restrictions d'ordres linéaires indépendants, chacun d'entre eux représentant une situation locale totalement informée. Nous étudions les propriétés de la famille des OLP en termes d'expressivité, de représentations graphiques et de modèles interdits. Enfin, nous proposons des postulats rationnels et un théorème de représentation pour les opérateurs de révision aboutissant à un les OLP sur les interprétations, ainsi qu'un opérateur concret satisfaisant ces postulats.
Domaines
Intelligence artificielle [cs.AI]Origine | Fichiers produits par l'(les) auteur(s) |
---|---|
Licence |
Domaine public
|