Jean-Louis Laurière

Ajouter des liens
Un article de Wikipédia, l'encyclopédie libre.
Ceci est une version archivée de cette page, en date du 30 janvier 2020 à 19:55 et modifiée en dernier par Bot de pluie (discuter | contributions). Elle peut contenir des erreurs, des inexactitudes ou des contenus vandalisés non présents dans la version actuelle.
Jean-Louis Laurière

Naissance
Décès
Nationalité Drapeau de la France Français
Domaines Informatique
Institutions Université Pierre-et-Marie-Curie
Diplôme Thèse d'État
Renommé pour Intelligence artificielle
Programmation par contraintes
Représentation des connaissances
Système expert

modifier Consultez la documentation du modèle

Jean-Louis Laurière, né en et mort le , était un chercheur français en informatique. Il a été professeur à l'Université Pierre-et-Marie-Curie jusqu'en 1987.

Jean-Louis Laurière est connu pour être un pionnier de la recherche en Intelligence artificielle, notamment en 1976 avec le langage et solveur ALICE[1],[2],[3] qui permet d'énoncer et de résoudre des problèmes combinatoires. Jean-Louis Laurière a également développé au début des années 1980 le système expert SNARK[4], à la fois un langage de programmation déclarative et un moteur d'inférence qui a été un jalon dans l'histoire des systèmes à base de règles[5].

Le Laboratoire d'informatique de Paris 6 organisa une journée scientifique en son honneur le [6].

Ouvrages

  • Robert Faure et Jean-Louis Laurière, Fiabilité et renouvellement des équipements : applications élémentaires aux investissements, Paris ; Bruxelles ; Montréal, Gauthier-Villars, coll. « Collection Programmation », , xiv+133 (ISBN 2-04-007845-2, SUDOC 000050458).
  • Jean-Louis Laurière (préf. Robert Faure), Éléments de programmation dynamique, Paris ; Bruxelles ; Montréal, Gauthier-Villars, coll. « Collection Programmation », , 137 p. (ISBN 2-04-010446-1, SUDOC 000264822).
  • Jean-Louis Laurière, Intelligence artificielle : Résolutions de problèmes par l'homme et la machine, t. 1, Paris, Eyrolles, , xi+473 (ISBN 2-212-08190-1, SUDOC 052287874, lire en ligne).
  • Jean-Louis Laurière, Intelligence artificielle : Représentation des connaissances, t. 2, Paris, Eyrolles, , 267 p. (ISBN 2-212-08190-1, SUDOC 001261266).
  • Jean-Louis Laurière et Michèle Vialatte, Manuel d'utilisation de SNARK, 88 p. (SUDOC 147353513).
  • Jean-Louis Laurière, Un Langage déclaratif : Snark, Paris, Gauthier-Villars, coll. « AFCET », , 31 p. (SUDOC 022499822).
  • Jean-Louis Laurière, Un langage et un programme pour énoncer et résoudre des problèmes combinatoires, Paris, Thèse d'Etat, Université Pierre-et-Marie-Curie, , 227 p. (SUDOC 029557313).
  • Jean-Louis Laurière, Sur la coloration de certains hypergraphes : Application aux problèmes d'emploi du temps«, Paris, Thèse de 3e cycle, Université Pierre-et-Marie-Curie, , vi+139 (SUDOC 106857363).

Références

  1. ↑ Jean-Louis Laurière, Un langage et un programme pour énoncer et résoudre des problèmes combinatoires, Paris, Thèse d'Etat, Université Pierre-et-Marie-Curie, , 227 p. (SUDOC 029557313)
  2. ↑ (en) Jean-Louis Laurière, « A language and a program for stating and solving combinatorial problems », Artificial Intelligence, vol. 10, no 1,‎ , p. 29-127 (lire en ligne, consulté le )
  3. ↑ (en) Pierre Flener, « Constraint Programming in a Nutshell », Joint ACP and GdR RO Summer School 2017, sur lien, (consulté le )
  4. ↑ Jean-Louis Laurière, Un Langage déclaratif : Snark, Paris, Gauthier-Villars, coll. « AFCET », , 31 p. (SUDOC 022499822)
  5. ↑ site du LIP6
  6. ↑ Journée scientifique organisée en l'honneur de Jean-Louis Laurière
Ce document provient de « https://fr.wikipedia.org/w/index.php?title=Jean-Louis_Laurière&oldid=166900980 ».