Representation Des Connaissances Et Formalisation Des Raisonnements - Volume 1 Serie: Panorama De l'Intelligence Artificielle (2014)

Cet ouvrage, organise en 3 volumes, est issu de la communaute francaise des chercheurs en intelligence artificielle (IA).

Il a pour objectif de dresser un panorama des recherches effectuees en IA allant de travaux fondamentaux aux applications et aux frontieres, en mettant l'accent tout autant sur les resultats obtenus que sur les problematiques actuelles.Il s'adresse a un public d'etudiants de master et de doctorat, mais aussi de chercheurs et d'ingenieurs interesses par ce domaine.L'ouvrage est organise en trois volumes :- le premier volume regroupe vingt chapitres traitant des fondements de la representation des connaissances et de la formalisation des raisonnements (Volume 1.

Representation des connaissances et formalisation des raisonnements) ;- le deuxieme volume offre une vue de l'IA, en onze chapitres, sous l'angle des algorithmes(Volume 2.

Algorithmes pour l'Intelligence Artificielle) ;- le troisieme volume, en onze chapitres egalement, decrit les principales frontieres et applications de l'IA(Volume 3.

L'Intelligence Artificielle : frontieres et applications).Si chaque chapitre peut etre lu independamment des autres, les references croisees entre chapitres sont nombreuses et un index global de l'ouvrage permet d'aborder celui-ci de facon non lineaire.Volume 1.

Representation des connaissances et formalisation des raisonnementsPour simuler sur un ordinateur un processus de raisonnement ou de prise de decision, il faut disposer d'une representation de l'information a exploiter.

Debutant par un chapitre retracant la longue histoire de l'emergence de l'IA, ce premier volume passe ensuite en revue differents cadres de representation, logiques, quantitatifs, ou graphiques, susceptibles de prendre en compte l'information incomplete, les exceptions, l'incertitude, le temps, l'espace, les preferences, les taxonomies, les normes, les emotions, ou encore la confiance entre agents.

L'examen de differents types de raisonnement a base de similarite, et l'etude de nombreuses problematiques autour de la description des actions et de leurs consequences, de l'argumentation, de la decision, du diagnostic, de la revision 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, completent ce volume.

Une postface revient sur les questions posees par la formalisation du raisonnement.