Raisonnements sur des
informations incomplètes en intelligence artificielle
comparaison de formalismes sur un exemple
groupe Léa Sombé
23,63
Commander |
 |
1989
244 pages
format 16 x 23 cm
broché
réf. LIF005
I.S.B.N.: 2-87717-010-1 |
|
Sommaire
Présentation
Les auteurs |
Sommaire
 | Pourquoi de nouvelles logiques ? |
 | Logique des défauts |
 | Logiques modales non monotones |
 | Hypothèse du monde clos et circonscription |
 | Logique non-monotone des suppositions |
 | Logiques des conditionnels et rough implications |
 | Logique de l'incertain |
 | Logique floue |
 | Quantificateurs numériques, probabilités
conditionnelles |
 | Modèles causaux |
 | Raisonnement par analogie |
 | Systèmes de maintien de la cohérence |
 | Théories de l'action / frame |
 | Théorie de la révision |
 | Conclusion provisoire |
|
Présentation
L'homme sait raisonner lorsque l'information disponible est
incomplète. La formalisation de ce type de raisonnement a fait l'objet de nombreux
travaux menés de façon indépendante depuis plus de quinze ans. Cet ouvrage les
présente et les compare autour d'un exemple unique afin de mieux évaluer leurs
ressemblances, leurs différences, leur aptitude à formaliser certains aspects des
raisonnements dits "de sens commun". Cette étude comparative est le résultat
d'un travail d'équipe mené sur près de deux années par neuf spécialistes français en
Intelligence Artificielle. Elle s'adresse à tous ceux qui conçoivent et développent des
systèmes d'inférence sur les bases de connaissances imparfaites.
Son caractère synthétique et didactique le recommande aux enseignants et chercheurs en
informatique, logique, philosophie, psychologie, linguistique et plus généralement, à
tous ceux qui s'intéressent de près ou de loin à l'Intelligence Artificielle. |
|
Les auteurs
Philippe BESNARD, Marie-Odile CORDIER,
Didier DUBOIS, Luis FARINAS del CERRO, Christine FROIDEVAUX, Yves MOISNARD, Henri PRADE,
Camilla SCHWIND, Pierre SIEGEL |
|