QUANTI

Une étude pluridisciplinaire de la quantification :
mathématique, informatique, didactique et linguistique.

Apparue il y a plus de deux mille ans, la quantification  est aujourd’hui un objet d’étude dans différents domaines scientifiques à Montpellier (en Mathématiques, en Informatique et un peu en Linguistique). Les principales questions étudiées sont les suivantes : quels sont les systèmes de preuves ? Quels sont les modèles correspondant à un système de preuve ? Comment s’exprime et se comprend la quantification dans la langue ordinaire ? Comment analyser automatiquement des énoncés quantifiés et obtenir automatiquement les formules logiques représentants leurs sens possibles? Comment enseigner ces notions et arriver à ce qu’élèves et étudiants les utilisent convenablement, en informatique (en spécification, en vérification, en bases de données) et en mathématiques (dans l’appropriation des concepts et dans les démonstrations) ; Comment sensibiliser et former les futurs enseignants aux phénomènes didactique liés aux usages de la quantification dans l’activité mathématique et en informatique. C’est à ces questions que notre projet se propose d’apporter des éléments de réponse, en tirant parti de la complémentarité des compétences pluridisciplinaires réunies dans cette étude de la quantification.

Journées d'études, exposés:

• mardi 11 juillet 2017
• workshop QUAD Quantifiers and determiners ESSLLI 2017 (Ch Retoré, M. Steedman)
  
• vendredi 8 décembre 2017
  
• vendredi 15 décembre 2017

Publications du projet:

• Audrey Bedel : Quantificateurs existentiels et modes de repérage. 2017.  Mémoire de Master 1 CogMaster ENS (encadrement A. Mari/Ch. Retoré IJN/LIRMM)
  
• William Babonnaud Une étude de l’extension du calcul des prédicats par les opérateurs epsilon et tau de Hilbert — application aux ambigüités de portée des quantificateurs en linguistique informatique. 2017. Mémoire de Master 2 MPRI U Paris 7 et ENS Cachan encadrement A. Mari/Ch. Retoré IJN/LIRMM) 
• Viviane Durand-Guerrier, Faiza Chellougui and Simon Modeste. Anaphora in mathematics and informatics education in Ch. Retoré M Steedman (eds) Quantifiers and determiners. ESSLLI Toulouse, July 2017.
  
• Davide Catta, Mehdi Mirzapour Quantifier scoping and semantic preferences  In S. Chatzikyriakidis (ed) Computing Natural Language Inference http://aclweb.org/anthology/W17-7202
  
• Christian Retoré La langue commune au cœur du raisonnement, notamment mathématique. La tribune des mathématiciens. Images des mathématiques, CNRS, 27 octobre 2017.
• Davide Catta, Alda Mari, Michel Parigot, Christian Retoré. Natural language variants of universal quantification in first order modal logic. Logic colloquium, Udine, July 2018. 
• A venir: publication comme un numéro spécial de Logics and their applications d'une sélection d'articles issus du workshop Quantifiers and determiners et des journées d'études.