Logiciel TarskiUdeS

Le logiciel TarskiUdeS permet de se familiariser avec la logique du premier ordre. Il a été développé à l'Université de Sherbrooke par Tristen Bronson et Laurent Beauchemin dans le cadre d'un projet informatique, à partir d'une version initiale développée par Robert Stärk. Il est inspiré du logiciel Tarski's World développé à Stanford par les logiciens Jon Barwise et John Etchemendy. TarskiUdeS comporte plusieurs améliorations qui facilitent son utilisation et la vérification d'une formule. Il est nommé ainsi en l'honneur du mathématicien et logicien Alfred Tarski. Le langage porte sur un monde composé d'objets dans un plan. Il y a trois types d'objets : triangle, carré et pentagone. Chaque objet a une taille : petit, moyen et grand. On peut énoncer des formules qui décrivent la position, la taille des objets, comme « Tous les triangles sont plus grands que les pentagones, et situés à gauche de ceux-ci ».

Lien de téléchargement

TarskiUdeS est disponible en tant qu'archive Java (.jar) pour Windows, MacOS et Linux :