Des classes polynomiales pour l'abduction en logique propositionnelle
Résumé
L'abduction consiste à rechercher une explication E d'une observation a étant donnée une connaissance S, c'est-a-dire un ensemble de faits E tel que S et E impliquent conjointement a. Cette problématique est intimement liée, par exemple, à celles du diagnostic ou de l'explication d'incohérence. La plupart des problèmes d'abduction sont très difficiles, même si on restreint S à des classes de formules pour lequel le problème SAT est polynomial. Dans cet article, nous proposons deux algorithmes génériques pour des restrictions de la problématique générale, puis nous donnons des classes de formules pour lesquelles la connaissance S peut être exprimée pour que ces algorithmes deviennent polynomiaux. Les restrictions envisagées concernent principalement la forme de l'observation a et l'ensemble d'hypothèses sur lequel peut être formée l'explication E. Enfin, nous étudions des cas dans lesquels on peut chercher des explications avec des approximations de S dans des classes polynomiales.
Domaines
Intelligence artificielle [cs.AI]
Origine : Fichiers éditeurs autorisés sur une archive ouverte