Représentation des connaissances et formalisation des raisonnements

Pour simuler sur un ordinateur un processus de raisonnement ou de prise de décision, il faut disposer d’une représentation de l’information à exploiter. Débutant par un chapitre retraçant la longue histoire de l’émergence de l’IA, ce premier volume passe ensuite en revue différents cadres de représentation, logiques, quantitatifs, ou graphiques, susceptibles de prendre en compte l’information incomplète, les exceptions, l’incertitude, le temps, l’espace, les préférences, les taxonomies, les normes, les émotions, ou encore la confiance entre agents. L’examen de différents types de raisonnement à base de similarité, et l’étude de nombreuses problématiques autour de la description des actions et de leurs conséquences, de l’argumentation, de la décision, du diagnostic, de la révision des croyances, de la fusion des informations, de l’interaction entre agents, de l’apprentissage, de l’acquisition et de la validation de bases de connaissances, complètent ce volume. Une postface revient sur les questions posées par la formalisation du raisonnement.