TouIST, a Teacher-and Student-Friendly Language for Propositional Logic and Discrete Mathematics - Université Toulouse III - Paul Sabatier - Toulouse INP Accéder directement au contenu
Article Dans Une Revue Computer Tools in Education journal (“Kompjuternye instrumenty v obrazovanii”) Année : 2021

TouIST, a Teacher-and Student-Friendly Language for Propositional Logic and Discrete Mathematics

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. All this can be very helpful as a teaching support for logics and discrete mathematics. Users will benefit from the regular improvements of SAT, QBF or SMT solvers in order to solve concrete logical and combinatorial problems efficiently, e.g., different classes of planning tasks in Artificial Intelligence.
Fichier principal
Vignette du fichier
TouIST__Teacher__and_Student_Friendly_Language_for_Propositional_Logic_and_Discrete_Mathematics__Version_longue_.pdf (252.54 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03477306 , version 1 (13-12-2021)

Identifiants

  • HAL Id : hal-03477306 , version 1

Citer

Olivier Gasquet, Dominique Longin, Emiliano Lorini, Frédéric Maris, Pierre Régnier, et al.. TouIST, a Teacher-and Student-Friendly Language for Propositional Logic and Discrete Mathematics. Computer Tools in Education journal (“Kompjuternye instrumenty v obrazovanii”), 2021, 2, pp.13-25. ⟨hal-03477306⟩
178 Consultations
34 Téléchargements

Partager

Gmail Facebook X LinkedIn More