Sur des propriétés structurelles des formules de Horn
Résumé
Nous étudions les propriétés structurelles des for-mules de Horn en lien avec leur graphe de dépen-dance. Nous donnons une caractérisation simple des arcs de ce graphe, en termes d'affectations qui satis-font ou non une formule, et nous en dérivons un algo-rithme efficace, pour construire le graphe de dépen-dance de la borne supérieure de Horn d'un ensemble de modèles ; en particulier donc, de la borne supé-rieure d'un ensemble de modèles caractéristiques. Ce résultat nous permet également de montrer que la per-tinence d'une hypothèse, pour un problème d'abduc-tion de Horn, peut être décidée efficacement avec une représentation par ensemble de modèles. Abstract We investigate the structural properties of Horn formulas that concern their dependency graph. We give a simple characterisation of the arcs in this graph in terms of assignments that satisfy or falsify a formula, and we derive an efficient algorithm for building the dependency graph of the Horn Least Upper Bound of a set of models ; thus, in particular, of a set of characteristic models. This result also allows us to show that the relevance of a hypothesis for a Horn abduction problem can be decided efficiently under model-based representation .
Domaines
Intelligence artificielle [cs.AI]
Origine : Fichiers éditeurs autorisés sur une archive ouverte
Loading...