Jean-Louis Laurière

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
Naissance
Décès
Nationalité  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

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 p. (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 p. (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 p. (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 7 janvier 2018)
  3. (en) Pierre Flener, « Constraint Programming in a Nutshell », Joint ACP and GdR RO Summer School 2017, sur lien, (consulté le 7 janvier 2018)
  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
  • Portail de l’informatique
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Sharealike. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.