Skip to Content.
Sympa Menu

athena - [ATHENA] [Codes Sources] 50 ans de Prolog (Laurent Cervoni, 9 juin 2022)

athena AT services.cnrs.fr

Subject: Histoire des techniques

List archive

[ATHENA] [Codes Sources] 50 ans de Prolog (Laurent Cervoni, 9 juin 2022)


Chronological Thread  
  • From: Baptiste Mélès <baptiste.meles AT gmail.com>
  • Subject: [ATHENA] [Codes Sources] 50 ans de Prolog (Laurent Cervoni, 9 juin 2022)
  • Date: Tue, 17 May 2022 17:10:37 +0200

Séminaire « Codes sources »

L'objectif du séminaire Codes sources est de présenter la pensée
informatique là où elle s'exprime le plus concrètement : dans les textes
que sont les codes sources.


Séance du jeudi 9 juin 2022 (14h-16h, séance hybride à l'adresse
https://univ-tlse3-fr.zoom.us/j/97938751991) :

Laurent CERVONI (groupe Talan) :

« Programmation Logique et Intelligence Artificielle :
cinquantième anniversaire de Prolog »


Résumé :

Durant l'été 1972, Alain Colmerauer et son équipe à Marseille ont
développé et implémenté la première version du langage de
programmation logique Prolog. Associé à des collaborations antérieures
et ultérieures avec Robert Kowalski et ses collègues d'Édimbourg, ce
travail a jeté les bases pratiques et théoriques du Prolog et de la
programmation logique d'aujourd'hui. Prolog et ses technologies
connexes sont rapidement devenus des outils clés de la programmation
symbolique et de l'intelligence artificielle.

Nous parcourrons une partie de l’histoire de l’intelligence
artificielle, notamment, par le prisme de la programmation logique.
Puis au travers de quelques échantillons de codes, nous évoquerons les
principes de base utilisés par Prolog, l’originalité de l’écriture
d’un code Prolog, son apport dans la représentation des connaissances
et ses usages les plus courants. Quelques perspectives d’articulations
avec les autres approches de l’IA pourront être évoquées au cours des
échanges.

Lieu :

Salle 15-16/101 de l'IRILL (rotonde 15, 1er étage)
4 place Jussieu, 75005 Paris
métro Jussieu (lignes 7 et 10)
ou
par vidéoconférence à l'adresse Zoom
https://univ-tlse3-fr.zoom.us/j/97938751991


------------------------------------------------------------------------

/* ***************************************
* À propos du séminaire Codes sources *
*************************************** */

À celui seul qui prend la peine de les lire effectivement, les codes
sources révèlent leur richesse. On y découvre que l'élégance d'un
algorithme réside parfois hors de sa complexité, dans l'usage virtuose
des idiomes du langage de programmation ou dans la connaissance fine de
la machine à laquelle il est destiné. Bien souvent des codes sources
comportent davantage de lignes de commentaires que de code. Tous ces
trésors de pensée informatique fondent à la compilation comme neige au
soleil — preuve qu'un programme n'est pas seulement écrit pour être
compilé.

Le but du séminaire est de décrire ces œuvres de l'esprit comme des
textes à part entière. Nous espérons ainsi contribuer à la constitution
d'une culture générale en programmation. En informatique comme en
littérature, cela suppose la familiarisation progressive avec un corpus
de grands textes.

À chaque séance, un intervenant — jeune chercheur ou chercheur confirmé
en informatique, en histoire ou en philosophie — présente, en moins
d'une heure, un code source de son choix : un fragment de système
d'exploitation, de pilote, de compilateur, de bibliothèque... Le code
peut avoir été écrit par l'orateur ou par quelqu'un d'autre, dans
quelque langage que ce soit. Le commentaire peut être algorithmique,
stylistique, historique ou philosophique, et porter sur tous les aspects
du code, commentaires compris. Le code est ensuite discuté avec
l'auditoire.


Organisateurs :

- Raphaël Fournier (CNAM)
- Baptiste Mélès (CNRS, Archives Henri-Poincaré)
- Lionel Tabourier (LIP6).

Site : http://codesource.hypotheses.org/

Contact : Baptiste Mélès (baptiste.meles AT univ-lorraine.fr)

Twitter : https://twitter.com/SemCodesSources

Liste de diffusion : https://groups.google.com/forum/#!forum/codes-sources

------------------------------------------------------------------------


--
Baptiste MÉLÈS
CNRS, Chargé de recherche / Researcher | http://baptiste.meles.free.fr/
Archives Henri-Poincaré—PReST (CNRS UMR 7117, Université de Lorraine)
91 avenue de la Libération, 54000 Nancy, France
Secrétaire des Amis de Jean Cavaillès | http://cavailles.hypotheses.org/
-
Pour une réponse rapide, n'hésitez pas à me téléphoner | Do not hesitate
to call me for a sooner response.


  • [ATHENA] [Codes Sources] 50 ans de Prolog (Laurent Cervoni, 9 juin 2022), Baptiste Mélès, 05/17/2022

Archive powered by MHonArc 2.6.19.

Top of Page