dbo:abstract
|
- Jacques Pitrat (born in Feb. 1934, died in Oct. 2019) was one of the French symbolic artificial intelligence pioneers. He developed knowledge based systems, expert systems, and theorem provers, and was a strong advocate of meta-knowledge based systems. Graduated from École Polytechnique, and member of the Corps de l'armement, he began his career at the Laboratoire Central de l'Armement (French equivalent of DARPA) from 1959 to 1967. In 1966 he defended his Habilitation thesis (Doctorat d'État) about a theorem proving software using meta-theorems. He worked at CNRS from 1967 till his retirement, ending his career as emeritus research director at end of 2015. He taught Artificial intelligence at Université Pierre et Marie Curie in Paris from 1967 till 1998. (en)
- Jacques Pitrat (27 février 1934 - 14 octobre 2019) est l'un des pionniers français de l'intelligence artificielle symbolique. Il a travaillé sur les systèmes à bases de connaissances, les démonstrateurs de théorèmes et les métaconnaissances. (fr)
|
dbo:wikiPageExternalLink
| |
dbo:wikiPageID
| |
dbo:wikiPageLength
|
- 2591 (xsd:nonNegativeInteger)
|
dbo:wikiPageRevisionID
| |
dbo:wikiPageWikiLink
| |
dbp:wikiPageUsesTemplate
| |
dcterms:subject
| |
rdfs:comment
|
- Jacques Pitrat (27 février 1934 - 14 octobre 2019) est l'un des pionniers français de l'intelligence artificielle symbolique. Il a travaillé sur les systèmes à bases de connaissances, les démonstrateurs de théorèmes et les métaconnaissances. (fr)
- Jacques Pitrat (born in Feb. 1934, died in Oct. 2019) was one of the French symbolic artificial intelligence pioneers. He developed knowledge based systems, expert systems, and theorem provers, and was a strong advocate of meta-knowledge based systems. Graduated from École Polytechnique, and member of the Corps de l'armement, he began his career at the Laboratoire Central de l'Armement (French equivalent of DARPA) from 1959 to 1967. In 1966 he defended his Habilitation thesis (Doctorat d'État) about a theorem proving software using meta-theorems. (en)
|
rdfs:label
|
- Jacques Pitrat (en)
- Jacques Pitrat (fr)
|
owl:sameAs
| |
prov:wasDerivedFrom
| |
foaf:isPrimaryTopicOf
| |
is dbo:wikiPageWikiLink
of | |
is foaf:primaryTopic
of | |