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

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.

Mots clés

TouIST SAT Solver Propositional logic Education & Training

Domaines

Intelligence artificielle [cs.AI] Logique en informatique [cs.LO]

Fichier principal

TouIST__Teacher__and_Student_Friendly_Language_for_Propositional_Logic_and_Discrete_Mathematics__Version_longue_.pdf (252.54 Ko)

Origine	Fichiers produits par l'(les) auteur(s)

Dominique Longin : Connectez-vous pour contacter le contributeur

https://ut3-toulouseinp.hal.science/hal-03477306

Soumis le : lundi 13 décembre 2021-13:29:50

Dernière modification le : jeudi 11 janvier 2024-11:18:39

Archivage à long terme le : lundi 14 mars 2022-18:59:23

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-TLSE2 CNRS UT1-CAPITOLE IRIT IRIT-ADRIA IRIT-LILAC IRIT-ACADIE ANR IRIT-IA IRIT-FSL IRIT-CNRS IRIT-UT3 TOULOUSE-INP UNIV-UT3 UT3-TOULOUSEINP

236 Consultations

77 Téléchargements