Gestion de l'inconsistance dans les bases de connaissances : une approche syntaxique basée sur la logique des pénalités
Résumé
Nous proposons une logique des pénalités, qui est une formalisation et un développement de (Pinkas 91 [18). Dans cette logique, à chaque formule d'une base de connaissances on associe le coût à payer quand on viole cette formule. Une base de connaissances à pénalités induit une relation d'inférence non-monotone qui fait partie de la classe des relations d'inférences rationnelles. Nous donnons aussi une application de la logique des pénalités à la formalisation et à la résolution de problèmes d'optimisation discrète