Langages naturels et formels
Logique et métalogique

Ajouter à la bibliothèque

AF88 V1 Article de référence
Interactif Logo doc&quiz

Langages naturels et formels
Logique et métalogique

Auteur(s) : Jean-Charles PINOLI

Date de publication : 10 novembre 2023 | Read in english

Ajouter à la bibliothèque Ajouter à la bibliothèque

Logo Techniques de l'Ingenieur Cet article est réservé aux abonnés
Pour explorer cet article plus en profondeur Consulter un extrait gratuit

Déjà abonné ?

2. Langages naturels et formels

Un langage naturel ( natural language ) est une langue parlée ou/et écrite par un être humain. Les langages naturels s’opposent aux langages formels, tels que le langage mathématique, les langages informatiques et les langages logiques. Les langages formels s’opposent aux langages naturels pour lesquels les algorithmes de traitement automatique sont extrêmement complexes et surtout doivent évoluer dans le temps pour s’adapter aux transformations du langage.

Remarque (langue véhiculaire versus langue vernaculaire) :

une langue véhiculaire ( vehicular language ) est une langue utilisée entre des populations de langues maternelles différentes,...

Cet article est réservé aux abonnés
Logo Techniques de l'Ingenieur

Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.

Cet article est réservé aux abonnés Consulter un extrait gratuit

Déjà abonné ?


Article inclus dans l'offre

"Mathématiques"

( 228 articles )

Une base complète d’articles

Actualisée et enrichie d’articles validés par nos comités scientifiques.

Services

Quiz, médias, tableaux, formules, vidéos, etc.

Des modules pratiques

Opérationnels et didactiques, pour garantir l'acquisition des compétences transverses.

Des avantages inclus

Un ensemble de services exclusifs en complément des ressources.

Voir le détail de l'offre

Dans les ressources documentaires

Logique des propositions et logique des prédicats

Cet article, le deuxième d’une série de trois, traite des logiques classiques qui donneront naissance à l...

Transformer : des réseaux de neurones pour le traitement automatique des langues

Cet article présente un survol de l’état de l’art en traitement automatique des langues, en explorant une...

Modèles de Markov cachés pour l’étiquetage de séquences

Les modèles markoviens cachés sont un outil essentiel pour le traitement, l’exploration, la classificatio...

Transformer : des réseaux de neurones pour le traitement automatique des langues

Cet article présente un survol de l'état de l'art en traitement automatique des langues, en explorant une...

Tous les livres blancs
Toutes les actualités

Inscrivez-vous aux newsletters !

Contactez-nous