• Présentation générale

    Page ouèbe académique de Pierre R. Mercuriali


    Chercheur post-doctoral à l'INRIA et à l'IECL dans l'équipe PASTA, dans le cadre de l'action exploratoire Inria APOLLON : Art de la POLitique : Langage aristotélicien et Optimisation Numérique avec Antoine Lejay et Lionel Lenôtre

    Villers-lès-Nancy, France
    nom (point) prénom (arobase) gmail (point) com
    prénom (point) nom (arobase) inria (point) fr


    CV en français ፨ HAL ፨ ResearchGate ፨ Google Scholar ፨ Profil "Pure" à TUDelft ፨ GitHub ፨ Twitter

    Situation actuelle

    • Qualification CNU 27 (Informatique)
    • Doctorat en Informatique théorique (Loria, UL)
    • Master en TAL et Sciences cognitives (UFR-MI, maintenant IDMC, UL)

    Historique

    • 2023 - ... : chercheur postdoctoral à l’IECL & Inria. Nancy, France ; avec Antoine Lejay et Lionel Lenôtre.
    • 2020-2022 : chercheur postdoctoral à TUDelft, assistant de cours en intelligence artifi- cielle symbolique. Départements de Robotique Cognitive et de Sciences et Ingéniérie des Matériaux, Delft, Pays-Bas ; avec Geeske Langejans et Carlos Hernandez Corbato.
    • 2016-2020 : doctorant, chargé de cours en algorithmique, programmation, bureautique. LORIA, Nancy, France ; avec Miguel Couceiro et Romain Péchoux.

  • Recherche

    Thèmes de recherche principaux (ordre alphabétique)

    • Complexité et calculabilité
    • Ensembles ordonnés
    • Fonctions Booléennes
    • Humanités numériques
    • Linguistique computationnelle
    • Logique formelle
    • Raisonnement
    • Représentation des connaissances


    Thèse

    Sur les systèmes de formes normales pour représenter efficacement des fonctions multi-valuées. Thèse menée au Loria sous la direction de Miguel Couceiro et Romain Péchoux, dans les équipes Orpailleur et Mocqua (anciennement Carte). Soutenue le 15 décembre 2020. Télécharger la thèse, les diapositives.

  • Publications

    Journaux

    • M., P., Langejans, G. H., and Hernández Corbato, C.(2022). ROCA : an ontology to describe and analyse tool use and tool making. Soumis à PLOSOne (en cours de révision)
    • P. M., Miguel Couceiro, Romain Péchoux, Abdallah Saffidine. On the complexity of minimizing median normal forms of monotone Boolean func- tions and lattice polynomials. Journal of Multiple-Valued Logic and Soft Computing, Old City Publishing, 2019, 33 (3), pp.197-218.
    • P.M., Miguel Couceiro, Erkko Lehtonen, Romain Péchoux. On the efficiency of normal form systems for representing Boolean functions. Theoreti- cal Computer Science, Elsevier, 2020, 813, pp.341-361.


    Conférences internationales

    • Mercuriali, P., Langejans, G. H., and Hernández Corbato, C. ROCA - an ontology to capture tool use among primates and hominins. ESHE 2022 - European Society for the study of Human Evolution, septembre 2022, Tübingen, Allemagne.
    • Mercuriali, P., Langejans, G. H., and Hernández Corbato, C. (2021). Ontological behavior modeling and reasoning to capture tool use among primates and hominins. CAA2021 - Computer Applications in Archaeology, Limassol, Cyprus.
    • Pierre Mercuriali, Miguel Couceiro, Erkko Lehtonen, Romain Péchoux, Mathias Soeken. Normal form systems generated by single connectives have mutually equivalent efficiency. DICE 2018 - Developments in Implicit Com- putational Complexity, avril 2018, Thessalonique, Grèce. 〈10.4230/LIPIcs.DICE.2016.1〉
    • Pierre Mercuriali, Miguel Couceiro, Romain Péchoux, Abdallah Saffidine. Median based calculus for lattice polynomials and monotone Boolean functions. ISMVL 2017 - 47th IEEE International Symposium on Multiple- Valued Logic, mai 2017, Novi Sad, Serbie. pp.6.


    Conférences nationales

    • Pierre Mercuriali, Miguel Couceiro, Romain Péchoux. Sur l’efficacité des systèmes de formes normales de fonctions Booléennes. LFA 2017 - 26èmes Rencontres Francophones sur la Logique Floue et ses Applications, octobre 2017, Amiens, France.

  • Conférences, séminaires...

    Conférences invitées

    • 31.03.2023. Avec Giovanni Battista Magnoli Bocchi (Archimède): Humanités numériques : La construction d’un lexique des idées de la Physique d’Aristote : l’exemple de φῶς, Colloque « La lumière : des sciences aux crises énergétiques » (page archivée)a à l’UHA, Mulhouse.
    • 27.04.2023. Des robots qui grandissent : l’enfance, inspiratrice de l’intelligence artifi- cielle. Colloque Enfants, enfances. Approches pluridisciplinaires, LISEC (Laboratoire Interuniversitaire des Sciences de l’Éducation et de la Communication), Bar-le-Duc.


    Séminaires et groupes de travail

    • 07.07.2023. GT-PASTA : Construction d'un lexique d'idées : la notion de relation. Nous cherchons à comprendre et à automatiser la manière dont les historiens comprennent un texte historique. Partons du principe que lors de la lecture du texte, un historien façonne des relations entre mots, telles que l'opposition sémantique, la chronologie, ou la simple occurrence simultanée dans une phrase. Comment mesurer la pertinence historique et la généralité d'une relation ? Peut-on ordonner les relations suivant ces mesures et, si oui, quelle est la nature de ces ordres ? Comment agréger les informations provenant de plusieurs ordres et relations différents ? Illustrons par un cas test sur la Politique d'Aristote. Nancy.
    • 28.03.2023. GT-PASTA : La Lumière dans le De Anima d'Aristote : une approche par hypergraphes. Cherchons à comprendre et à automatiser la manière dont les historiens comprennent un texte historique. Partons du principe que lors de la lecture du texte, un historien construit des "formules", qu'il manipule pour atteindre de nouvelles conclusions. Ces formules correspondent à des relations entre mots, que nous exprimons, de manière purement syntaxique, comme des hypergraphes. Pouvons-nous restituer la compréhension que l'historien a du texte à partir de l'hypergraphe ? Quel est l'effet d'une perturbation de l'hypergraphe sur la sémantique qu'il exprime ? Illustrons par un cas test sur la notion de lumière dans le De Anima d'Aristote. Nancy.
    • xx.03.2017. MALOTEC: De combien de manières peut-on paver un échiquier avec des dominos ? Séances de travail doctorales, LORIA, Nancy.

  • Cours et encadrement

    Encadrement et co-encadrement


    • 2023 : thèse de master de Saïd Toubra en science de la donnée, traitement automatique des langues, et statistiques. IECL & Inria.
    • 2022 : thèse de master de Ke Xu en robotique cognitive et traitement auto- matique des langues. TUDelft, Delft, Pays-Bas.


    Documents de cours


    • Logique symbolique pour l'IA (en anglais), préparé dans le cadre du FAIP - Fundamentals of AI Programme, TUDelft, Delft, Pays-Bas. Le cours, les exercices, leur correction, et les vidéos : Introduction, What are symbols?, Why use symbols?, How to build propositionl logic formulas?, Interpretation(s) and truth(s), Limits of PL; other logics.
    • Introduction à la logique pour la représentation des connaissances et raisonnement (en anglais), préparé dans le cadre du cours RO47014: Knowledge Representation and Symbolic Reasoning, TUDelft, Delft, Pays-Bas. Un grand merci aux membres de l'équipe KAS, dirigée par Carlos Hernandez Corbato, pour leur aide précieuse durant l'élaboration de ces documents. Le cours, les exercices (à venir), la feuille de commandes LaTeX.

  • Explorations diverses et variées

    Documents


    • Lexique aristotélicien - à venir.
    • Intelligence artificielle symbolique : Une douce introduction à la logique propositionnelle pour l'intelligence artificielle. Contient un Lexique bilingue d'IA symbolique (anglais, français).


    Logiciels


    • DutchDM, logiciel d’entraînement au vocabulaire néerlandais avec IPA.
    • Hexascript, conscript pour l’anglais basé sur des graphes hexagonaux.
    • TMachine, simulation graphique de machines de Turing.

  • Édition

    Édition d'ouvrages anciens


    J'édite des extraits d'ouvrages scientifiques anciens dans le but de pouvoir les imprimer sans la texture du papier du fond.

    • à venir...

  • Liens intéressants et amusants

    Recherche


    • Numdam, la bibliothèque numérique française de mathématiques. Je l'utilise en particulier pour les archives de la revue Mathématiques et sciences humaines et les ouvrages associés.
    • Seeds of Science (ISSN: 2768-1254), un journal ouvert (sans coût de publication ni de lecture) "dedicated to nurturing promising ideas and helping them blossom". J'y suis relecteur bénévole !


    Musique


    • UCSB Library, banque d'enregistrements audio sur cylindres.


    Arts visuels


    • Gifcities, banque d'animations au format GIF.


    Divers


    • Oldcook.com, manuscrits et livres de cuisine médiévaux.