TouIST: a Friendly Language for Propositional Logic and More
TouIST: un langage convivial pour la logique propositionnelle et plus
Résumé
This work deals with logical formalization and problem solving using automated solvers. We present the automatic translator TouIST that provides a simple language to generate logical formulas from a problem description. Our tool allows us to model many static or dynamic combinatorial problems and to benefit from the regular improvements of SAT, QBF or SMT solvers in order to solve these problems efficiently. In particular, we show how to use TouIST to solve different classes of planning tasks in Artificial Intelligence.
Ce travail traite de la formalisation logique et de la résolution de problèmes à l'aide de solveurs automatisés. Nous présentons le traducteur automatique TouIST qui fournit un langage simple pour générer des formules logiques à partir d'une description de problème. Notre outil nous permet de modéliser de nombreux problèmes combinatoires statiques ou dynamiques et de bénéficier des améliorations régulières des solveurs SAT, QBF ou SMT afin de résoudre ces problèmes efficacement. En particulier, nous montrons comment utiliser TouIST pour résoudre différentes classes de tâches de planification en Intelligence Artificielle.
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|
Loading...