Colloque

Les systèmes applicatifs typés : de nouvelles perspectives

Ismaïl Biskri

Membre a labase

Ismaïl Biskri

Résumé de la communication

Les travaux sur les modèles symboliques dédiés à la syntaxe et à la sémantique formelles sont nombreux. Certains, dans la tradition linguistique Chomskyenne travaillent avec des règles de réécriture. Ces premiers modèles sont particulièrement dépendants des langues analysées, ce qui ne favorise pas la flexibilité exigée par les besoins actuels en technologie. Les autres modèles, que nous identifierons comme des Systèmes Applicatifs Typés, travaillent avec des règles explicites pour un calcul logique d'inférences. Ils font partie du courant des grammaires catégorielles plus précisément des modèles de la Grammaire Universelle, de la Grammaire Catégorielle Combinatoire, de la grammaire des opérateurs et opérandes de Harris, de la Grammaire Catégorielle d'Unification, des types intuitionnistes de Martin Löf, des Grammaires Catégorielles Abstraites, de la Grammaire Catégorielle Combinatoire Applicative avec l’utilisation de la Logique Combinatoire de Curry, ainsi que d'autres généralisations du calcul de Lambek. Mis à part quelques différences dans les stratégies de mise en œuvre de ces modèles, cette classe a l’avantage de représenter l’intrication des unités syntagmatiques au moyen de l’opération de l’application d’un opérateur à son opérande, une représentation, en soi, flexible et universelle. Malgré leur flexibilité et leur adaptabilité, ces modèles ont été étudiées dans le seul domaine de l’analyse syntaxique des langues. Nous présenterons de nouvelles perspectives dans l’utilisation de ce modèle.

Résumé du colloque

Le langage sert à exprimer et à communiquer les pensées des interlocuteurs. C’est surtout en dialoguant que les locuteurs communiquent leurs pensées. Toutes les sciences qui traitent du langage, de l’action et de la pensée (philosophie, sciences humaines et intelligence artificielle) reconnaissent l’importance des actes de discours (actes d’énonciation, de référence, de prédication, d’expression de propositions et d’attitudes, et actes illocutoires et perlocutoires). Selon la théorie des actes de discours, les actes illocutoires sont les unités de base de signification et de communication dans l’usage et la compréhension du langage. Jusqu’à présent, on a surtout analysé les actes de discours de premier niveau accomplis par des locuteurs individuels à un seul moment d’énonciation. Cependant, les interlocuteurs entendent accomplir des actes illocutoires afin de poursuivre des conversations.

Notre objectif principal sera d’analyser la structure et la dynamique de jeux de langage oraux et écrits importants. Le colloque réunira des logiciens, des linguistes, des philosophes et des informaticiens qui collaborent. On parlera des discours ayant un but conversationnel propre, des actes illocutoires de niveau supérieur et de l’intentionnalité collective. Certains chercheurs indépendants feront des présentations critiques des hypothèses de la théorie des actes de discours sur l’analyse de la conversation. Les communications seront regroupées selon trois axes : le premier axe, Actes de discours et philosophie, regroupera des communications en philosophie du langage et de l’esprit; le second axe, Informatique, analyse des langues naturelles et communication, concernera la modélisation informatique des dialogues intelligents; et le troisième, Analyse du discours et des interactions discursives, portera sur le traitement de textes des langues naturelles.