Science de la cognition

En 1957, la linguistique s'oriente vers la formalisation à la suite d'une publication[1] de Noam Chomsky dans laquelle il tente de construire une théorie basée sur :

• l'application de méthodes de recherche scientifique à la formalisation de la syntaxe,
• et l'introduction de la notion de structure profonde.

Les grammaires formelles donnent la primauté et une autonomie à la syntaxe ; elles sont centrées sur les règles qui régissent toutes les possibilités d'association des mots entre eux selon leurs catégories lexicales et permettent de décider si une phrase donnée est acceptable ou non dans sa forme syntaxique. Ces modèles sont un mécanisme génératif syntaxique et, les problèmes de sémantique ont montré leurs limites.

Pour tenter de pallier ces limites, Chomsky a intégré dans sa théorie standard[2] le principe de transformation. Les grammaires transformationnelles permettent de prendre en compte l'aspect sémantique ce qui rend la problématique initiale plus cognitive : le modèle devient une théorie complète du langage.

Des critiques ont été émises qui démontrent que le modèle transformationnel équivaut à une grammaire formelle de type 0 (voir [3] et [4]) ce qui ne permet pas de décrire efficacement les langues naturelles. La méthode transformationnelle reste trop attachée à l'analyse syntaxique et ne tient pas suffisamment compte de l'aspect sémantique.

Chomsky a donc étendu sa théorie standard qui a débouché sur la théorie standard étendue[5] dans laquelle il a ajouté une étape d'insertion lexicale avant l'application des transformations.

Cette théorie est claire en apparence, mais il est difficile d'établir et de concevoir les règles d'interprétation sémantique en raisonnant sur un ensemble d'arbres de dérivation ; les propos de Gross[6] expriment cette difficulté : « les tentatives d'affiner les descriptions d'une langue en augmentant le nombre de règles d'une grammaire de Chomsky n'aboutissent pas : le nombre de règles croît régulièrement avec la taille du corpus considéré et aucun signe de convergence n'apparaît. » De plus, certains phénomènes linguistiques restent inexplicables par cette théorie.

La grammaire catégorielle est considérée comme l'aboutissement d'une tendance qui a poussé à abandonner les transformations des grammaires génératives, puis la composante syntagmatique elle-même, pour ne considérer que des structures catégorielles assignées aux éléments lexicaux de telle sorte que la syntaxe se réduise à une algèbre, une combinatoire universelle contrôlée par ces structures catégorielles.

Des règles (.,/,\) sont applicables par extension aux structures communes des langages naturels ; nous rencontrons cependant des problèmes de compréhension lorsque nous traitons des tournures de phrases impersonnelles ou elliptiques. La multi-catégoricité est néfaste à la compréhension. Afin de réduire la complexité d’une phrase, Lambek introduit des règles de changement de type. Il transforme ce système en système déductif par des schémas d'axiomes et d'inférences. Cette grammaire doit cependant être renforcée par une capacité d'analyse sémantique ; c’est sur cette base que Richard Montague développera sa grammaire universelle connue aussi sous le nom de sémantique de Montague.

Les grammaires de cas s'intéressent aux problèmes des représentations de phrases, dans lesquels nous considérons que les aspects sémantiques sont plus centraux que la syntaxe. Le plus connus des théoriciens est Fillmore grâce à son article célèbre The Case for Case[7]. L'auteur soutient que nous pouvons identifier un ensemble de cas sémantiques permettant de mettre en évidence, de la même façon que des cas syntaxiques, les relations du sens qui existent entre les noms (ou groupes nominaux) et le verbe dans une phrase simple. Ce qui est important dans cette théorie, d'un point de vue informaticien, est d'obtenir une représentation de la phrase à partir de laquelle nous pourrons raisonner sur le sens. Sur les bases de cette approche, d’autres modèles ont vu le jour par Grimes[8], Simmons[9] et Shank[10].

L'anthropologue Malinowski est à l'origine de cette théorie. Indépendamment de la linguistique générative américaine qui avait choisi une approche mathématique d'un système isolé, Malinowski introduit une notion importante : les aspects fonctionnels du langage ; c'est-à-dire la nécessité d'expliciter le rôle des différents constituants par rapport à l'énonciateur. Nous retrouvons là un principe de l'anthropologie qui pense que le langage doit être étudié en tant qu'activité sociale fondamentalement liée à son contexte d'utilisation. Firth a repris ces idées pour les adapter afin de les insérer dans un cadre linguistique. Il introduit la notion de système : ensemble de choix dans un contexte linguistique spécifique. Enfin, Halliday reprend ces idées ([11] et[12]), les étend et construit une théorie linguistique complète. Les grammaires systémiques sont des grammaires descriptives qui caractérisent les phrases par des ensembles de traits qui peuvent être utilisés par d'autres processus.

Dans les grammaires fonctionnelles (voir [13] et[14]), le langage est considéré comme une activité interactive sociale et non pas un ensemble de phrases en ce sens que la fonction première d'une langue est la communication plus qu'une expression de pensées. Pour ce faire, ces grammaires unifient les informations des dictionnaires et les règles grammaticales qui sont considérées comme des expressions de contraintes qui sont elles-mêmes des conditions nécessaires pour qu'un élément donné soit une forme correcte.

Tout comme les grammaires systémiques, les grammaires fonctionnelles veulent donner un rôle prédominant aux aspects fonctionnels et relationnels dans la description des expressions linguistiques. Ces théories visent à expliciter les articulations entre les niveaux lexicaux, syntaxiques et sémantiques. Elles donnent généralement naissance à des modèles plus riches et plus souples que les grammaires génératives d’un point de vue informatique.

Dans les sciences cognitives, nous pouvons distinguer cinq acceptions différentes, diversement combinées ou confondues, tant en intelligence artificielle qu'en sémantique :

1. Le concept est une forme de la pensée humaine qui permet de dégager les caractères généraux essentiels, des choses et des phénomènes de la réalité objective ; c'est-à-dire une représentation mentale, générale et abstraite d'un objet. Ce concept, philosophique et logique, n'a pas nécessairement de rapport avec les langues ou les autres systèmes de signes.
2. Le concept est un universel de représentation qui appartient au langage mais qui ne dépend d'aucune langue particulière. Il relève de la sémantique universelle. En linguistique il est appelé primitive ou noème. En intelligence artificielle, nous le nommons primitive (Schank dans sa théorie des dépendances fonctionnelles).
3. Rastier[17] distingue le concept en tant que corrélat psychique du 2., en fait, il différencie le niveau noémique et le niveau conceptuel bien qu'il souligne que peu d'auteurs distinguent les universaux métalinguistiques (noèmes) et les universaux supposés de la pensée.
4. Le concept est le signifié d'un morphème d'une langue. En sémantique différentielle il est appelé sémème. En intelligence artificielle, nous le nommons concept ou plus spécifiquement formula voir frame (qui est parfois traduit par stéréotype) quand il est défini comme une collection de composants.
5. Saussure a introduit ce concept en tant que corrélat psychique du 4. En intelligence artificielle et dans les sciences cognitives, il est rarement distingué des autres concepts.

Dans les réseaux à visée lexicographique, tous les nœuds d'un plan représentent des unités sémantiques et non conceptuelles. Dans les réseaux conceptuels, les concepts représentent des classes de contenus d'une langue construites par le programmeur, donc ces réseaux représentent un modèle partiel de langue, une langue quasi naturelle.

Selon Lalande[18], tout concept possède une extension qui peut être nulle ; inversement, à toute classe définie d'objets correspond un concept, car nous ne pouvons définir une telle classe sans en indiquer un ensemble de caractères qui appartiennent aux objets de cette classe et à eux seuls et qui permettent de les distinguer de tous les autres.

L'ensemble des métaconcepts utilisés dans les travaux terminologiques ont été définis par le comité technique 37 de l'ISO (ISO/TC37) mais ces définitions ne font pas l'unanimité ; les concepts se chevauchent et manquent de précision ; c'est un problème de manque de rigueur.

Afin de réaliser une hiérarchie ou un treillis de concepts, il existe deux approches majeures.

La première approche[19] considère qu'un concept est une unité de connaissance qui comprend des propositions vérifiables concernant un élément de référence choisi, exprimé par un terme posant l’hypothèse de l’universalisme de la connaissance ; la définition se fait en trois étapes :

• l'étape référentielle : définir le référent, par exemple « être un soldat ».
• l'étape de prédication : définir l'ensemble des caractéristiques du concept, par exemple définir les caractéristiques spécifiques au fait « d’être un soldat ».
• l'étape de représentation : choisir le terme considéré comme la forme extérieure du concept, dans notre exemple nous prendrons le terme « soldat ».

La seconde approche[20] considère qu'un concept se situe à l'articulation entre deux logiques : la logique intentionnelle (niveau de la langue) et la logique extensionnelle (niveau du discours) et se construit de la manière suivante :

• Nous considérons un prédicat ou un mot de la langue (chien), nous sommes dans une logique intentionnelle ; aucun univers n'est pris en compte.
• Nous considérons un prédicat (chien) en tenant compte d'un univers, nous construisons un concept (un chien) qui introduit une classe virtuelle : un prédicat ne peut être considéré comme concept que lorsqu'il est considéré dans un univers de discours ; nous basculons d'une logique intentionnelle vers une logique extensionnelle.
• Nous construisons le terme : un article indéfini précédant un prédicat lié à un concept (le chien) abouti au nom d'une classe et désigne toutes les catégories de ce concept.

Cette seconde approche souligne le rôle essentiel de l'article dans la dénotation d'un ensemble d'entités[21].

Ce modèle considère que la formation de concepts est une composante fondamentale du processus cognitif. Le terme prototype est utilisé afin de mettre l'accent sur la conceptualisation par objet représentatif ou typique d'un groupe d'objets.

Ce modèle[22] a pour base les études sur les concepts naturels menées par les psychologues dans les années 1970. Ces chercheurs ont avancé que le modèle de formation classique mettait en évidence des concepts artificiels ce qui n'est pas applicable aux concepts naturels. Les psychologues qui ont élaboré ce modèle rejettent l'hypothèse de Sapir-Whorf[23]^,[24] et affirment la validité de l'universalisme cognitif.

Sowa, dans sa théorie des graphes conceptuels[25], a rendu son principe de concept mois restrictif ou moins strict en permettant les deux approches.

Cette approche[29] propose de simuler le fonctionnement neurobiologique d'un ensemble d'éléments capables de propager un nombre limité d'informations en utilisant la notion de parallélisme. Elle propose que les nœuds et les arcs soient considérés comme des microprocesseurs possédant une mémoire locale d'une douzaine de bits dans lesquels nous pouvons stocker des marqueurs. Elle introduit un superviseur qui est chargé de la gestion globale du réseau ; transmission de messages ordonnant aux nœuds de propager des marqueurs d'un certain type sous certaines conditions. Lorsqu'un nœud reçoit un message de propagation, il va marquer tous les arcs dont il est à l'origine et qui remplissent les conditions indiquées. Un aspect intéressant de cette théorie est de représenter chaque concept par deux nœuds :

• celui de l'individu typique (classe générale),
• celui de l'ensemble des individus.

Afin de pallier le problème des exceptions, cette approche distingue deux types de liens sorte de : universel et annulable ; ce qui permet, en introduisant un lien exception, d'annuler un lien annulable.

Les réseaux à propagation de marqueurs sont très intéressants d'un point de vue temps de réponse. En effet, le temps de raisonnement est proportionnel au diamètre du réseau. Cette propriété prend toute son importance lorsque nous savons, par expérience, que même pour des applications complexes possédant un grand nombre de nœuds et d'arcs, le diamètre des réseaux reste assez restreint. Cependant, ces réseaux ont un problème majeur ; ils ne peuvent exprimer certaines informations qui peuvent l'être en logique du premier ordre.

Cette approche[30] délimite des sous-ensembles de nœuds et d'arcs appelés espace. Ces espaces représentent un ensemble de concepts et les affirmations à leur sujet. Ce modèle introduit la notion de vista : la composition d'espaces individuels, souvent représentée par des emboîtements que nous pouvons considérer comme une hiérarchie qui fournit un mécanisme de représentation contextuelle des connaissances. Le principe est que, à l'intérieur d'une vista, les connaissances exprimées dans les espaces parents sont globales pour tous les espaces fils alors que dans les espaces voisins (situés au même niveau) sont représentées des connaissances locales non partageables.

Dans ce modèle, les nœuds représentent des classes ou des individus. Les arcs établissent des relations ensemblistes entre les nœuds et permettront l'héritage des propriétés. D'autres types d'arcs vont représenter des relations sémantiques liées à des concepts prédicatifs.

Les réseaux sémantiques partitionnés dépassent les capacités de la logique classique. En effet, le principe d'espace permet de tenir compte des notions de points de vue et de contexte. Cependant, ils restent difficile à mettre en œuvre sur un outil informatique.