L’œuvre scientifique de Jacques Pitrat (1934-2019) – Une perspective historique
Henri Prade1 ; Jean-Paul Haton2
1 IRIT-CNRS Université Paul Sabatier 118, rte de Narbonne 31062 Toulouse Cedex 9, France
2 LORIA Université de Lorraine Nancy & Institut Universitaire de France
Revue Ouverte d'Intelligence Artificielle, Hommage à Jacques Pitrat, Volume 3 (2022) no. 1-2, pp. 69-80.

Jacques Pitrat a été le premier chercheur français à mener des recherches en intelligence artificielle dès le début des années 1960. Il a consacré toute sa vie de chercheur à développer une approche mettant en avant le rôle des métaconnaissances pour réaliser des programmes capables de s’améliorer eux-mêmes. Le but de ce court article est de retracer les principales étapes de sa recherche en les replaçant dans une perpective historique, et de mettre en évidence la cohérence et l’actualité de sa démarche tout en en montrant la spécificité.

Jacques Pitrat was the first French researcher to carry out research in artificial intelligence from the beginning of the 1960s. As a researcher, he devoted all his life to the development of an approach emphasizing the role of meta-knowledge in order to carry out programs capable of improving themselves. The aim of this short article is to retrace the main stages of his research by placing them in a historical perspective, and to highlight the consistency and the topicality of his approach while showing its specificity.

Reçu le :
Révisé le :
Accepté le :
Publié le :
DOI : 10.5802/roia.19
Mots-clés : Histoire de l’IA, démonstration automatique, résolution de problèmes, métaconnaissance.
Keywords: History of AI, automated reasoning, problem solving, meta-knowledge.

Henri Prade 1 ; Jean-Paul Haton 2

1 IRIT-CNRS Université Paul Sabatier 118, rte de Narbonne 31062 Toulouse Cedex 9, France
2 LORIA Université de Lorraine Nancy & Institut Universitaire de France
Licence : CC-BY 4.0
Droits d'auteur : Les auteurs conservent leurs droits 
@article{ROIA_2022__3_1-2_69_0,
     author = {Henri Prade and Jean-Paul Haton},
     title = {L{\textquoteright}{\oe}uvre scientifique de {Jacques} {Pitrat} (1934-2019) {\textendash} {Une} perspective historique},
     journal = {Revue Ouverte d'Intelligence Artificielle},
     pages = {69--80},
     publisher = {Association pour la diffusion de la recherche francophone en intelligence artificielle},
     volume = {3},
     number = {1-2},
     year = {2022},
     doi = {10.5802/roia.19},
     language = {fr},
     url = {https://roia.centre-mersenne.org/articles/10.5802/roia.19/}
}
TY  - JOUR
AU  - Henri Prade
AU  - Jean-Paul Haton
TI  - L’œuvre scientifique de Jacques Pitrat (1934-2019) – Une perspective historique
JO  - Revue Ouverte d'Intelligence Artificielle
PY  - 2022
SP  - 69
EP  - 80
VL  - 3
IS  - 1-2
PB  - Association pour la diffusion de la recherche francophone en intelligence artificielle
UR  - https://roia.centre-mersenne.org/articles/10.5802/roia.19/
DO  - 10.5802/roia.19
LA  - fr
ID  - ROIA_2022__3_1-2_69_0
ER  - 
%0 Journal Article
%A Henri Prade
%A Jean-Paul Haton
%T L’œuvre scientifique de Jacques Pitrat (1934-2019) – Une perspective historique
%J Revue Ouverte d'Intelligence Artificielle
%D 2022
%P 69-80
%V 3
%N 1-2
%I Association pour la diffusion de la recherche francophone en intelligence artificielle
%U https://roia.centre-mersenne.org/articles/10.5802/roia.19/
%R 10.5802/roia.19
%G fr
%F ROIA_2022__3_1-2_69_0
Henri Prade; Jean-Paul Haton. L’œuvre scientifique de Jacques Pitrat (1934-2019) – Une perspective historique. Revue Ouverte d'Intelligence Artificielle, Hommage à Jacques Pitrat, Volume 3 (2022) no. 1-2, pp. 69-80. doi : 10.5802/roia.19. https://roia.centre-mersenne.org/articles/10.5802/roia.19/

[1] Feng-Hsiung Hsu Behind Deep Blue : Building the Computer that Defeated the World Chess Champion, Princeton University Press, 2002, 300 pages

[2] A. Adam; J.-P. Laurent LAURA, a system to debug student programs, Artificial Intelligence, Volume 15 (1980), pp. 75-122 | DOI

[3] H. J. Berliner; R. Greenblatt; J. Pitrat; A. Samuel; D. Slate Computer game playing, Proc. 5th Int. Joint Conf. on Artificial Intelligence, Cambridge, MA, Aug. 22-25 (1977), pp. 975-982

[4] A. Bernstein; M. de V. Roberts Computer vs. chess-player, Scientific American, Volume 198 (1958), pp. 96-105 | DOI

[5] D. Bourgoin Un programme heuristique pour résoudre des exercices d’arithmétique, Thèse de 3e cycle, Univ. Paris VI (1978)

[6] B. Bouzy Modélisation cognitive du joueur de go, Ph. D. Thesis, Univ. Paris VI (1995)

[7] P. Braffort L’Intelligence Artificielle, P.U.F., 1968

[8] Rule-based Expert Systems – The MYCIN Experiments of the Stanford Heuristic Programming Project (B. G. Buchanan; E. H. Shortliffe, eds.), Addison-Wesley, Reading, 1984

[9] T. Cazenave Système d’apprentissage par auto-observation. Application au jeu de go, Ph. D. Thesis, Univ. Paris VI (1996)

[10] M. O. Cordier Commande d’un robot en langage naturel dans un domaine nécessitant des connaissances pragmatiques  : les recettes de cuisine, Thèse de 3e cycle, Univ. Paris VI (1979)

[11] D. Crevier AI : The Tumultuous History of the Search for Artificial Intelligence. Basic Books, Harper Collins Publishers, New York, 1993 (Traduction française  : À la Recherche de l’Intelligence Artificielle. Champs, Flammarion. 1997)

[12] J.-L. Delhaye DATAL, un programme de démonstration automatique de théorèmes, Thèse de 3e cycle, Univ. Paris VI (1970)

[13] J.-M. Fouet Utilisation de connaissances pour améliorer l’utilisation de connaissances  : la machine Gosseyn, Thèse d’État, Univ. Paris VI (1987)

[14] H. Giroire Un système à base de connaissances pour la génération d’exercices dans des domaines liés au monde réel, Ph. D. Thesis, Univ. Paris VI (1989)

[15] M. Grandbastien Un programme qui résout formellement des équations trigonométriques par des procédés heuristiques, Thèse de 3e cycle, Univ. Paris VI (1974)

[16] R. D. Greenblatt; D. E. Eastlake; S. D. Crocker The Greenblatt chess program, Proc. of the Fall Joint Computer Conf. of the American Federation of Information Processing Societies (AFIPS ’67), Nov. 14-16, 1967, Anaheim, Ca, AFIPS Conference Proceedings 31 (1967), pp. 801-810

[17] M. Kay Functional unification grammar : A formalism for machine translation, Proc. 10th Int. Conf. on Computational Linguistics (COLING’84), Stanford, July 2-6 (1984), pp. 75-78

[18] D. Kayser Définition d’un critère pour la construction de règles par appentissage sur ordinateur. Application à l’analyse heuristique d’énoncés en langage naturel, Thèse d’État, Univ. Paris VI (1975)

[19] D. Kayser Une méthode simple  : les ATN sémantiques, Actes 3e Congrès AFCET Reconnaissance des Formes / Intelligence Artificielle, Journée d’études AFCET Applications des programmes de compréhension des langages naturels (1981), pp. 41-63

[20] J. E. Laird; A. Newell; P. S. Rosenbloom Soar : An architecture for general intelligence, Artificial Intelligence, Volume 33 (1987), pp. 1-6 | DOI

[21] J.-L. Laurière Un langage et un programme pour énoncer et résoudre des problèmes combinatoires, Thèse d’État, Univ. Paris VI (1976) (227 p.)

[22] J.-L. Laurière A language and a program for stating and solving combinatorial problems, Artificial Intelligence, Volume 10 (1978) no. 1, pp. 29-127 | DOI

[23] J.-L. Laurière; M. Vialatte SNARK : A language to represent declarative knowledge and an inference engine which uses heuristics, Proc. IFIP 10th World Computer Congress (Information Processing’86), Dublin, Sept. 1-5 (1986), pp. 811-816

[24] J.- L. Le Moigne Sur un exceptionnel manifeste épistémologique  : “Symbols and Search”. Merveilleux et pourtant compréhensible est le traitement heuristique des systèmes de symboles physiques, Revue d’Intelligence Artificielle, Volume 16 (2002) no. 1-2, pp. 251-268 | DOI

[25] R. Le Roux Une Histoire de la Cybernétique en France (1948-1975), Histoire des Techniques, 14, Classiques Garnier, 2018

[26] D. B. Lenat EURISKO : A program that learns new heuristics and domain concepts, Artificial Intelligence, Volume 21 (1983) no. 1-2, pp. 61-98 | DOI

[27] D. B. Lenat; M. Prakash; M. Shepherd CYC : Using common sense knowledge to overcome brittleness and knowledge acquisition bottlenecks, The AI Magazine, Volume 6 (1986) no. 4, pp. 65-85

[28] R. K. Lindsay; B. G. Buchanan; E. A. Feigenbaum; J. Lederberg Applications of Artificial Intelligence for Organic Chemistry : The DENDRAL Project, McGraw-Hill, 1980

[29] P. Marquis; O. Papini; H. Prade Éléments pour une histoire de l’intelligence artificielle, Panorama de l’Intelligence Artificielle – 3 volumes, Volume 1, chap. 1, Cépaduès, 2014, p. 1–39 ([Version anglaise mise à jour et augmentée  : A Guided Tour of Artificial Intelligence Research – 3 volumes, chap 1, vol. 1, p. 1-43, Springer, 2020])

[30] J. McCarthy; M. Minsky; N. Rochester; C. E. Shannon A proposal for the Dartmouth summer research project on artificial intelligence, August 31, 1955, The AI Magazine, Volume 27 (2006) no. 4, pp. 12-14

[31] B. Merialdo Représentation des ensembles en démonstration automatique, Ph. D. Thesis, Univ. Paris VI (1979)

[32] M. Minsky Minsky’s frame system theory, Proc. of the 1975 workshop on Theoretical Issues in Natural Language Processing (TINLAP’75) (1975), pp. 104-116 (cet article est paru à l’origine sans nom d’auteur)

[33] J. Moore; A. Newell How can Merlin understand ?, Knowledge and Cognition (L. Gregg, ed.), Erlbaum, Hillsdale, N. J., 1974, pp. 201-252

[34] A. Newell The chess machine : An example of dealing with a complex task by adaptation, Proc. Western Joint Computer Conference, Los Angeles, March 1-3, Volume 1 (1955), pp. 101-108

[35] A. Newell; J. C. Shaw; H. A. Simon Empirical explorations of the logic theory machine. A case study in heuristic, Proc. of the Western Joint Computer Conference (1957), pp. 218-239

[36] A. Newell; J. C. Shaw; H. A. Simon Chess-playing programs and the problem of complexity, IBM J. Res. Dev., Volume 2 (1958) no. 4, pp. 320-335 | DOI

[37] A. Newell; J. C. Shaw; H. A. Simon Report on a general problem-solving program, Proc. Int. Conf. on Information Processing (1959), pp. 256-264

[38] A. Newell; H. A. Simon The logic theory machine. A complex information processing system, IRE Trans. on Information Theory, Volume 2 (1956) no. 3, pp. 61-79 | DOI

[39] A. Newell; H. A. Simon Computer Science as empirical inquiry : Symbols and search, 10th Turing Award Lecture, 1975 (Communications of the ACM), Volume 19, Association for Computing Machinery, 1976 no. 3, pp. 113-126

[40] A. Newell; H. A. Simon Human Problem Solving, Prentice-Hall, Englewood Cliffs, 920 p., 1972

[41] N. J. Nilsson Problem Solving Methods in Artificial Intelligence, McGraw-Hill, New York, 1971

[42] Y. Parchemal Sepiar  : un système à base de connaissance qui apprend à utiliser efficacement une expertise, Ph. D. Thesis, Univ. Paris VI (1988)

[43] D. Pastre Démonstration automatique de théorèmes en théorie des ensembles, Thèse de 3e cycle, Univ. Paris VI (1976)

[44] D. Pastre MUSCADET  : un système de démonstration automatique de théorèmes utilisant connaissances et métaconnaissances en mathématiques, Thèse d’État, Univ. Paris VI (1984)

[45] S. Pinson Méta-modèle et heuristiques de jugement  : le système Credex, application à l’évaluation du risque crédit entreprise, Ph. D. Thesis, Univ. Paris VI (1987)

[46] J. Pitrat Diverses méthodes d’apprentissage des machines, Actes 2e congrès de l’Association Française de Calcul et de Traitement de l’Information (1961), pp. 208-219

[47] J. Pitrat Simulation de l’intelligence sur machine, Automatisme, Volume 7 (1962) no. 7-8, pp. 259-271

[48] J. Pitrat Réalisation de programmes de démonstration de théorèmes utilisant des méthodes heuristiques, Thèse de doctorat es Sciences Mathématiques, Faculté des Sciences de l’Université de Paris (1966)

[49] J. Pitrat Realization of a general game-playing program, Information Processing 68 (1969), pp. 1570-1574

[50] J. Pitrat Heuristic interest of using metatheorems, Symposium on Automatic Demonstration (Lecture Notes in Mathematics), Volume 125, Springer, Berlin, 1970, pp. 194-206 | DOI | MR

[51] J. Pitrat Un Programme de Démonstration de Théorèmes, Monographies d’Informatique de l’AFCET, 7, Dunod, 1970 (120 p.)

[52] J. Pitrat A program for learning to play chess, Pattern Recognition and Artificial Intelligence (C. H. Chen, ed.), Academic Press, 1976, pp. 125-155

[53] J. Pitrat A chess combination program which uses plans, Artificial Intelligence, Volume 8 (1977) no. 3, pp. 275-321 | DOI

[54] J. Pitrat L’utilisation du langage naturel pour poser des problèmes à un ordinateur, Actes Colloque Intelligence Artificielle « Application de l’intelligence artificielle à l’informatique » , Strasbourg, 19-23 sept. (1977), pp. 85-95

[55] J. Pitrat Programmes d’échecs et utilisation des connaissances, Actes Colloque Intelligence Artificielle « Programmes d’intelligence artificielle utilisant une grande quantité de connaissances » , Rouen, 17-21 sept. (1979), pp. 265-293

[56] J. Pitrat Un language pour décrire les connaissances pragmatiques, Actes Colloque Intelligence Artificielle, Toulouse, 6-10 juil. (1981), pp. 177-205

[57] J. Pitrat Les connaissances déclaratives, Actes Colloque Intelligence Artificielle « Utilisation de connaissances déclaratives » , Le Mans, 20-24 sept. (1982), pp. 3-16

[58] J. Pitrat Textes, Ordinateurs et Compréhension, Eyrolles, 1985 (201 p.)

[59] J. Pitrat An Artificial Approach to Understanding Natural Language, North Oxford Academic (UK) & GP Publishing (USA), 1988

[60] J. Pitrat Métaconnaissance, Futur de l’Intelligence Artificielle, Hermès, 1990 (401 p.)

[61] J. Pitrat An intelligent system must and can observe its own behavior, COGNITIVA 90 : At the Crossroads of Artificial Intelligence, Cognitive Science, and Neuroscience (1991), pp. 119-128

[62] J. Pitrat Penser Autrement l’Informatique, Hermès, 1993 (206 p.)

[63] J. Pitrat De la Machine à l’Intelligence, Hermès, 1995 (134 p.)

[64] J. Pitrat Implementation of a reflective system, Future Generation Computer Systems, Volume 12 (1996), pp. 235-242 | DOI

[65] J. Pitrat Editorial : Hommage à Herbert Simon (1916-2001), Revue d’Intelligence Artificielle, Volume 16 (2002) no. 1-2, pp. 7-9

[66] J. Pitrat Herbert Simon, pionnier de l’Intelligence Artificielle, Revue d’Intelligence Artificielle, Volume 16 (2002) no. 1-2, pp. 11-16 | DOI

[67] J. Pitrat Herbert Simon et le méta, Revue d’Intelligence Artificielle, Volume 16 (2002) no. 1-2, pp. 87-99 | DOI

[68] J. Pitrat Artificial Beings. The Conscience of a Conscious Machine, ISTE, Wiley, 2009 (288 p.)

[69] M. Porcheron Utilisation de méta-connaissances pour la compilation des règles de production, Ph. D. Thesis, Univ. Paris VI (1990)

[70] S. Rosenbloom; J. E. Laird; A. Newell; R. McCarl A preliminary analysis of the Soar architecture as a basis for general intelligence, Artificial Intelligence, Volume 47 (1991) no. 1-3, pp. 289-325 | DOI

[71] F. Rousselot Réalisation d’un programme comprenant des textes, en utilisant un formalisme unique pour représenter toutes les connaissances nécessaires, Thèse d’État, Univ. Paris VI (1984)

[72] G. Sabah Conscience et Intelligence artificielle(s) vues par Jacques Pitrat (2021) (ROIA, ce numéro)

[73] A. Samuel Some studies in machine learning using the game of checkers, IBM Journal, Volume 3 (1959) no. 3, pp. 210-229 | DOI

[74] A. Samuel Some studies in machine learning using the game of checkers. II. Recent progress, IBM Journal, Volume 11 (1967) no. 6, pp. 601-617 | DOI

[75] R. Schank; R. P. Abelson Scripts, Plans, Goals and Understanding : An Inquiry into Human Knowledge Structures, Erlbaum, 1977

[76] C. E. Shannon Programming a computer for playing chess. Philosophical Magazine (7th series), IBM Journal, Volume XLI (1950) no. 314, pp. 256-275 (Presented at the National Institute of Radio Engineers Convention, New York, 9 March 1949)

[77] D. Silver; J. Schrittwieser; K. Simonyan; I. Antonoglou; A. Huang; A. Guez; T. Hubert; L. Baker; M. Lai; A. Bolton; Y. Chen; T. Lillicrap; Fan Hui; L. Sifre; G. van den Driessche; T. Graepel; D. Hassabis Mastering the game of Go without human knowledge, Nature, Volume 550 (19 octobre 2017), pp. 354-359 | DOI

[78] G. Tisseau Modélisation à partir d’un énoncé informel  : Le système MODÉLIS. Application à des exercices de thermodynamique, Ph. D. Thesis, Univ. Paris VI (1990)

[79] A. Turing Computing machinery and intelligence, Mind, Volume 59 (1950), pp. 433-460 | DOI

[80] M. Vivet Un programme qui vérifie des égalités à l’aide du raisonnement par récurrence, Thèse de 3e cycle, Univ. Paris VI (1973)

[81] W. Woods Transition network grammars for natural language analysis, Com. ACM, Volume 13 (1970) no. 10, pp. 591-606 | DOI

Cité par Sources :