Jean-Louis Lauriere
Jean-Louis Lauriere
Jean-Louis Laurière , nascido em1945 e morto o 25 de agosto de 2005, foi um pesquisador francês em ciência da computação . Ele foi professor na Universidade Pierre-et-Marie-Curie até 1987.
Jean-Louis Laurière é conhecido por ser um pioneiro da pesquisa em Inteligência Artificial , em particular em 1976 com a linguagem e solucionador ALICE que permite enunciar e resolver problemas combinatórios . Jean-Louis Laurière também desenvolveu no início dos anos 1980 o sistema especialista SNARK , uma linguagem de programação declarativa e um mecanismo de inferência que foi um marco na história dos sistemas baseados em regras. Entre 1982 e 1985 ele desenvolveu a inteligência artificial Pandora que explora a lógica básica, que ele chama de "ordem 0+". É o primeiro sistema especialista verdadeiramente operacional da história, capaz de explicar seu raciocínio, de dialogar com os usuários e de detectar contradições no conhecimento ou nos dados que recebe ("Du zero pointé au Zéro Plus", Ciência e VidaAbril de 1991) Pandora é vendida em empresas a partir de 1986 pela empresa GSI-Tecsi com o nome de Intelligence Service. Em 1988, Jean-Louis Laurière o retira da comercialização.
O Laboratório de Ciência da Computação de Paris 6 organizou um dia científico em sua homenagem em22 de março de 2006.
Funciona
-
Robert Faure e Jean-Louis Laurière , Confiabilidade e renovação de equipamentos: aplicações básicas de investimento , Paris; Bruxelas; Montreal, Gauthier-Villars , col. "Coleção de programação",1974, xiv + 133 pág. ( ISBN 2-04-007845-2 , SUDOC 000050458 ).
-
Jean-Louis Laurière ( pref. Robert Faure), Elementos de programação dinâmica , Paris; Bruxelas; Montreal, Gauthier-Villars , col. "Coleção de programação",1979, 137 p. ( ISBN 2-04-010446-1 , SUDOC 000264822 ).
-
Jean-Louis Laurière , Inteligência artificial: resolução de problemas pelo homem e pela máquina , t. 1, Paris, Eyrolles ,1987, xi + 473 pág. ( ISBN 2-212-08190-1 , SUDOC 052287874 , lido online ).
-
Jean-Louis Laurière , Inteligência artificial: representação do conhecimento , t. 2, Paris, Eyrolles ,1988, 267 p. ( ISBN 2-212-08190-1 , SUDOC 001261266 ).
-
Jean-Louis Laurière e Michèle Vialatte , SNARK User Manual , 88 p. ( SUDOC 147353513 ).
-
Jean-Louis Laurière , A Declarative Language: Snark , Paris, Gauthier-Villars , coll. "AFCET",1986, 31 p. ( SUDOC 022499822 ).
-
Jean-Louis Laurière , Uma linguagem e um programa para enunciar e resolver problemas combinatórios , Paris, Tese de Estado, Universidade Pierre-et-Marie-Curie,1976, 227 p. ( SUDOC 029557313 ).
-
Jean-Louis Laurière , Sobre a coloração de certos hipergrafos: Aplicação aos problemas de horário “ , Paris, tese do 3º ciclo, Universidade Pierre-et-Marie-Curie,1971, vi + 139 pág. ( SUDOC 106857363 ).
Referências
-
Jean-Louis Laurière , Uma linguagem e um programa para enunciar e resolver problemas combinatórios , Paris, Tese de Estado, Universidade Pierre-et-Marie-Curie,1976, 227 p. ( SUDOC 029557313 )
-
(en) Jean-Louis Laurière , " Uma linguagem e um programa para resolver problemas combinatórios e afirmação " , Artificial Intelligence , vol. 10, n o 1,
Fevereiro de 1978, p. 29-127 ( ler online , consultado em 7 de janeiro de 2018 )
-
Jean-Louis Laurière , uma língua declarativa: Snark , Paris, Gauthier-Villars , coll. "AFCET",1986, 31 p. ( SUDOC 022499822 )
-
Site LIP6
-
Abdelwaheb Belaïd , Pesquisa em inteligência artificial , Seuil,1987( ISBN 978-2-02-009451-1 , leia online )
-
Dia científico organizado em homenagem a Jean-Louis Laurière