L'application du traitement automatique de la langue écrite à la recherche d'information et à la communication homme-machine bute sur deux problèmes complexes : comment atteindre automatiquement le sens d'un texte pour représenter les connaissances qu'il véhicule et effectuer des raisonnements sur ces connaissances ? Comment raisonner à partir du texte lui-même et non sur la base de savoirs, posés a priori, et auxquels réfère ce texte ? Cet ouvrage tente de répondre à ces questions en apportant des solutions aussi indépendantes que possible des domaines référentiels couverts par les textes analysés (dialogues, documents techniques, etc.). À partir de la définition et du traitement sémantique d'énoncés élémentaires, il généralise des modèles de sémantique et de pragmatique linguistique et montre comment représenter les connaissances dans une base unique. Travail interdisciplinaire fondé sur la linguistique, les disciplines formalisantes et l'informatique, cet ouvrage aborde ces domaines scientifiques d'une façon à la fois généraliste et utilitaire. Il définit une méthodologie et des modèles, en montre le fonctionnement et les illustre par des exemples clairs.