Canal-U

Langages et sémantique

Les langages permettent la communication. La sémantique définit la manière d'interpréter les énoncés des langages pour leur attribuer un sens. Cette description très générale s'applique et est appliquée tant aux langues naturelles que nous parlons tous les jours qu'aux langages artificiels utilisés pour programmer les ordinateurs. Dans cette présentation on mettra en évidence ce qui rassemble et ce qui sépare la sémantique de ces deux types de langages. On discutera les limites des approches classiques de la sémantique, en particulier dans le contexte où des humains et des ordinateurs doivent communiquer.