Le raisonnement en intelligence artificielle

Modèles, techniques et architecture

Nadjet Bouzid, Marie-Christine Haton, Francois Charpillet

Parution le 01/10/1991

Ajouter à une liste

Indisponible

Résumé

Fruit d'un travail d'enseignement et de recherche mené au Centre de Recherche en Informatique de Nancy (CRIN-CNRS/INRIA-Lorraine), cet ouvrage constitue l'une des premières présentations unifiées des divers modèles, techniques et architectures de raisonnement qui interviennent dans les systèmes à bases de connaissances.
Après une introduction au domaine des systèmes à bases de connaissances dans le cadre général de l'intelligence Artificielle, ou I.A., les auteurs abordent la logique mathématique et ses liens avec le raisonnement, le raisonnement approximatif et incertain et les ensembles flous. Ils se consacrent ensuite au problème du temps dans les raisonnements et aux raisonnements hypothétique, qualitatif, par classification et analogique. Le dernier chapitre porte sur le raisonnement multi-agents dans le cadre de l'IA distribuée et prête une attention toute particulière au modèle de tableau noir.
Constituant une référence précieuse pour comprendre et mettre en oeuvre les raisonnements nécessaires aux systèmes d'I.A. d'aujourd'hui et de demain, ce livre s'adresse aussi bien à l'ingénieur et au chef de projets amenés à développer de tels systèmes qu'au chercheur en I.A., à l'enseignant et à l'étudiant, de maîtrise ou de troisième cycle.

Sommaire

Introduction au raisonnement.
Logique mathématique.
Logique mathématique et raisonnements.
Raisonnement approximatif.
Raisonnement temporel et temps réel.
Raisonnement hypothétique et maintien de vérité.
Raisonnement qualitatif.
Raisonnement par classification.
Raisonnement par analogie.
Raisonnement distribué et modèle de tableau noir.