Jean-François Baget

J'interviens dans le cours HAI933I du Master 2 Informatique de l'Université Montpellier. Depuis 2019, j'y enseigne principalement l'extension de notre formalisme des règles existentielles à la négation par l'échec, sous la sémantique des modèles stables. Les enseignements prennent la forme de Cours/TD, et des modélisations peuvent être demandées d'un cours à l'autre, en utilisant l'outil Clingo.

Une démonstration d'Integraal utilisant Py4Graal et InteGraal CLI, utilisée pour faire découvrir le logiciel et ses possibilités. Créée à l'occasion de la visite HCERES du LIRMM (octobre 2025), elle a depuis servi pour présenter notre outil lors d'une visite des ingénieurs Inria du SED, et pour une présentation d'Integraal à OBSAM, un partenaire potentiel.

Py4Graal2 (développé par Carole Beaugeois) est un ensemble de classes Pythons permettant de raisonner via une communication avec un serveur Integraal. Il succède à Py4Graal (écrit par Tom Salembien) qui communiquait de façon similaire avec un serveur Graal. Le tutoriel suivant est destiné à des développeurs qui veulent découvrir comment utiliser Py4Graal. Il explique de façon intuitive la sémantique des objets utilisés et les différents types de raisonnements offerts par Integraal.

Sous un pretexte délibérément provocant, cette démonstration (faite pour les 30 ans du LIRMM, puis exploitée lors de la fête de la science) montre la simplicité d'utilisation de règles et de mappings pour de l'analyse de données. La démonstration utilise la première version de Py4Graal, et communique avec Graal, qui ne donnait pas la possibilité d'utiliser des mappings. La simulation de ces mappings faite ici préfigure l'implémentation qui sera faite plus tard dans Integraal.