Codage SMT dans un espace de plans (liens causaux) pour la planification temporelle en temps continu - Archive ouverte HAL Access content directly
Conference Papers Year :

Codage SMT dans un espace de plans (liens causaux) pour la planification temporelle en temps continu

(1) , (1, 2) , (1, 2)
1
2

Abstract

L'amélioration considérable des solveurs SAT a permis de les utiliser pour la résolution de divers problèmes d'intelligence artificielle, et en particulier la généra-tion automatique de plans d'actions. Récemment, des solveurs SMT (SAT Modulo Theory) prometteurs ba-sés sur des solveurs SAT efficaces ont été dévelop-pés. Il est donc intéressant d'utiliser le langage SMT qui nous permet de produire directement des codages de problèmes de planification temporelle sans avoir à discrétiser le temps ou à utiliser un gestionnaire de contraintes temporelles externe (Time Map Manager). Cette approche a déjà été explorée, mais la plupart des codages existants considèrent une modélisation dis-crète du temps. Nous introduisons dans cet article une nouvelle traduction de problèmes de planification tem-porelle en temps continu, basée sur un codage dans un espace de plans (liens causaux), en formules proposi-tionnelles modulo QF-RDL (Quantifier Free Rational Difference Logic).
Fichier principal
Vignette du fichier
JFPDA_2018_paper_8.pdf (450.48 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01840825 , version 1 (16-07-2018)

Identifiers

  • HAL Id : hal-01840825 , version 1

Cite

Frédéric Maris, Maël Valais, Julien Vianey. Codage SMT dans un espace de plans (liens causaux) pour la planification temporelle en temps continu. Journées Francophones sur la Planification, la Décision et l'Apprentissage pour la conduite de systèmes (JFPDA @ PFIA 2018), LORIA : Laboratoire lorrain de Recherche en Informatique et ses Applications, France; AFIA : Association française pour l'intelligence artificielle, France, Jul 2018, Nancy, France. ⟨hal-01840825⟩
94 View
27 Download

Share

Gmail Facebook Twitter LinkedIn More