langage de programmation D’intelligence artificielle, un langage informatique développé expressément pour la mise en œuvre de la recherche en intelligence artificielle (IA). Au cours de leurs travaux sur le Logic Theorist et le GPS, deux premiers programmes D’IA, Allen Newell et J. Clifford Shaw de la RAND Corporation et Herbert Simon de L’Université Carnegie Mellon ont développé leur langage de traitement de l’information (IPL), un langage informatique adapté à la programmation de L’IA. Au cœur de L’IPL se trouvait une structure de données très flexible qu’ils ont appelée une liste., Une liste est simplement une séquence ordonnée d’éléments de données. Certains ou tous les éléments d’une liste peuvent être eux-mêmes des listes. Ce schéma conduit à des structures richement ramifiées.
en 1960, John McCarthy, informaticien au Massachusetts Institute of Technology (MIT), a combiné des éléments D’IPL avec le lambda calculus (un système mathématique-logique formel) pour produire le langage de programmation LISP (processeur de liste), qui reste le principal langage pour le travail en IA aux États-Unis., (Le lambda calcul lui-même a été inventé en 1936 par le logicien de L’Université de Princeton Alonzo Church alors qu’il enquêtait sur L’entscheidungsproblem abstrait, ou « problème de décision”, pour le calcul des prédicats—le même problème que le mathématicien et logicien britannique Alan Turing avait attaqué quand il a inventé la machine de Turing universelle.)
le langage de programmation logique PROLOG (Programmation en Logique) a été conçu par Alain Colmerauer à L’Université D’Aix-Marseille, France, où le langage a été implémenté pour la première fois en 1973., PROLOG a été développé par le logicien Robert Kowalski, membre du groupe AI de l’Université d’Édimbourg. Ce langage utilise une puissante technique de démonstration de théorème connue sous le nom de résolution, inventée en 1963 au laboratoire national Argonne de la Commission de l’énergie atomique des États-Unis dans L’Illinois par le logicien britannique Alan Robinson. PROLOG peut déterminer si une instruction donnée découle logiquement d’autres instructions données., Par exemple, étant donné les déclarations » tous les logiciens sont rationnels” et « Robinson est un logicien”, un programme PROLOG répond par l’affirmative à la requête « Robinson est rationnel? »PROLOG est largement utilisé pour le travail sur L’IA, en particulier en Europe et au Japon.
des chercheurs de L’Institute for New Generation Computer Technology de Tokyo ont utilisé PROLOG comme base pour des langages de programmation logiques sophistiqués. Connus sous le nom de langages de cinquième génération, ceux-ci sont utilisés sur les ordinateurs parallèles non numériques développés à l’Institut.,
D’autres travaux récents incluent le développement de langages pour raisonner sur les données dépendantes du temps telles que « le compte a été payé hier.” Ces langages sont basés sur une logique tendue, qui permet aux déclarations d’être situées dans l’écoulement du temps. (La logique tendue a été inventée en 1953 par le philosophe Arthur Prior à L’Université de Canterbury, Christchurch, Nouvelle-Zélande.)
Laisser un commentaire