Pondération logique en logique possibiliste. Une discussion
La logique possibiliste standard associe une formule logique avec un niveau de certitude (ou de priorité) sur une échelle totalement ordonnée. Il est cependant possible de faire migrer des littéraux dans le poids pour exprimer par exemple que “q est certain pourvu que p soit vrai”. En fait, de telles pondérations semblent aussi pouvoir être utiles dans différents registres, comme pour décrire des arguments, ou des ensembles d'agents. Cette note discute ces possibilités. Elle aborde également la question de la modélisation de la méconnaissance (“unawareness”).
