Les recherches touchant à l'automatisation d'opérations sur le langage naturel ont laissé de côté des catégories de données liées à l'argumentation et à l'inférence, connecteurs d'opposition, marques de scalarité, ... L'inférence en langue naturelle propose aux linguistes des techniques de représentation permettant d'analyser les liens sémantico-logiques entre les phrases. Il offre aux informaticiens des théories formelles, jeux sémantiques, logiques de la pertinence, qui peuvent jouer un grand rôle pour la représentation des connaissances et l'automatisation du raisonnement. Ces aspects sont présentés concrètement dans des exemples de programmation en Prolog. Cet ouvrage comporte des rappels de logique qui le rendent accessible aux étudiants de maîtrise. Il est à la fois un manuel d'initiation et un instrument de travail en intelligence artificielle, en informatique, en logique et en linguistique.
- Notes
- Index
- Bibliographie

Exemplaires