TouIST: a Friendly Language for Propositional Logic and More - Argumentation, Décision, Raisonnement, Incertitude et Apprentissage Accéder directement au contenu
Communication Dans Un Congrès Année : 2020

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.
Fichier principal
Vignette du fichier
IJCAI2020_DemoTouIST.pdf (208.66 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02925894 , version 1 (31-08-2020)

Identifiants

Citer

Jorge H. Fernandez, Olivier Gasquet, Andreas Herzig, Dominique Longin, Emiliano Lorini, et al.. TouIST: a Friendly Language for Propositional Logic and More. 29th International Joint Conference on Artificial Intelligence (IJCAI 2020), Jan 2020, Yokohama, Japan. pp.5240-5242, ⟨10.24963/ijcai.2020/756⟩. ⟨hal-02925894⟩
259 Consultations
266 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More