AIConfPaper
IJCAI 2020poster0 citations

TouIST: a Friendly Language for Propositional Logic and More

Jorge Fernandez, Olivier Gasquet, Andreas Herzig, Dominique Longin, Emiliano Lorini, Frédéric Maris, Pierre Régnier

Source ↗PDF ↗

Abstract

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.

Constraints and Satisfiability: generalPlanning and Scheduling: general
BibTeX
@inproceedings{ijcai2020p756,
  title     = {TouIST: a Friendly Language for Propositional Logic and More},
  author    = {Fernandez, Jorge and Gasquet, Olivier and Herzig, Andreas and Longin, Dominique and Lorini, Emiliano and Maris, Frédéric and Régnier, Pierre},
  booktitle = {Proceedings of the Twenty-Ninth International Joint Conference on
               Artificial Intelligence, {IJCAI-20}},
  publisher = {International Joint Conferences on Artificial Intelligence Organization},
  editor    = {Christian Bessiere},
  pages     = {5240--5242},
  year      = {2020},
  month     = {7},
  note      = {Demos},
  doi       = {10.24963/ijcai.2020/756},
  url       = {https://doi.org/10.24963/ijcai.2020/756},
}
TouIST: a Friendly Language for Propositional Logic and More · IJCAI 2020