Jacques Pitrat

Jacques Pitrat (född i februari 1934, död i oktober 2019) var en av de franska pionjärerna för symbolisk artificiell intelligens. Han utvecklade kunskapsbaserade system, expertsystem och teoremprovare, och var en stark förespråkare för meta-kunskapsbaserade system.

Utexaminerad från École Polytechnique , och medlem av Corps de l'armement , började han sin karriär vid Laboratoire Central de l'Armement (fransk motsvarighet till DARPA) från 1959 till 1967. 1966 försvarade han sin habiliteringsavhandling ( Doctorat d'État ) om en sats som bevisar programvara som använder meta-satser.

Han arbetade på CNRS från 1967 till sin pensionering, och avslutade sin karriär som forskningschef emeritus i slutet av 2015. Han undervisade i artificiell intelligens vid Université Pierre et Marie Curie i Paris från 1967 till 1998.

Utgivna böcker

Realisation de programs demonstration de théorèmes utilisant des méthodes heuristiques . Dessa 1966.
Un program demonstration de théorèmes. Monografier d'informatique de l'AFCET . Dunod. 1970.
Texter, ordnare och förståelse. Eyrolles. 1985. Översatt till engelska: En artificiell metod för att förstå naturligt språk. North Oxford Academic (Grande-Bretagne) och GP Publishing (USA) 1988.
Métaconnaissance, Futur de l'Intelligence Artificielle . Hermès. 1990.
Penser autrement l'informatique. Hermès. 1993.
De la machine à l'intelligens . Hermès. 1995.
Artificiella varelser - The conscience of a conscious machine ISTE, Wiley, Mars 2009. ISBN 978-1848211018

Webbresurser