Isomorphismes entre instances et sous-instances STRIPS - Archive ouverte HAL
[go: up one dir, main page]

Communication Dans Un Congrès Année : 2022
Isomorphismes entre instances et sous-instances STRIPS
1 IRIT-ADRIA - Argumentation, Décision, Raisonnement, Incertitude et Apprentissage (Institut de recherche en informatique de Toulouse - IRIT 118 Route de Narbonne 31062 Toulouse Cedex 9 - France)
"> IRIT-ADRIA - Argumentation, Décision, Raisonnement, Incertitude et Apprentissage

Résumé

Determining whether two STRIPS planning instances are isomorphic is the simplest form of comparison between planning instances. It is also a particular case of the problem concerned with finding an isomorphism between a planning instance P and a sub-instance of another instance P′. In this paper, we study the complexity of both problems. We show that the former is GI-complete, and we prove the latter to be NP-complete. Nonethelss, we propose an algorithm to build an isomorphism, when possible. We report experimental trials on benchmark problems which demonstrate that applying constraint propagation in preprocessing can greatly improve the efficiency of a SAT solver.
Dans le domaine de la planification automatique, décider si deux instances encodées en STRIPS sont isomorphes est la manière la plus élémentaire de comparer deux instances. C'est aussi un cas particulier du problème où l'on se donne deux instances P et P ′ , et l'on cherche un isomorphisme entre P et une sous-instance de P ′. Dans cet article, nous nous proposons d'étudier la complexité de ces deux problèmes. On montre que le premier est GI-complet, tandis que le second est NP-complet. Malgré cela, nous proposons un algorithme qui permet de construire un tel isomorphisme, lorsqu'il existe. De même, nous montrons expérimentalement que, sur nos jeux de tests, un pré-traitement basé sur des méthodes de propagation de contraintes permet d'améliorer significativement l'efficacité du solver SAT utilisé par notre algorithme.
Fichier principal
Vignette du fichier
Martin_Cooper_2022.pdf (433.87 Ko) Télécharger le fichier
Origine Fichiers éditeurs autorisés sur une archive ouverte

Dates et versions

hal-03819065 , version 1 (18-10-2022)
Identifiants
  • HAL Id : hal-03819065 , version 1

Citer

Martin Cooper, Arnaud Lequen, Frédéric Maris. Isomorphismes entre instances et sous-instances STRIPS. Journées Francophones de Programmation par Contraintes, Association Française pour l’Intelligence Artificielle (AFIA), Jun 2022, Saint-Etienne, France. pp.35-42. ⟨hal-03819065⟩
78 Consultations
26 Téléchargements

Partager

More