PANORAMA DE

LINTELLIGENCE ARTIFICIELLE
Ses bases mthodologiques
ses dveloppements

Volume 1

Reprsentation des connaissances et

formalisation des raisonnements

et ouvrage, organis en trois volumes, est issu

de la communaut franaise des chercheurs
en intelligence artificielle (IA). Il a pour objectif de
dresser un panorama des recherches effectues en
IA allant de travaux fondamentaux aux applications
et aux frontires, en mettant laccent tout autant
sur les rsultats obtenus que sur les problmatiques
actuelles.
Il sadresse un public dtudiants de master et de
doctorat, mais aussi de chercheurs et dingnieurs
intresss par ce domaine.
Louvrage est organis en trois volumes :

le

premier volume regroupe vingt chapitres traitant des fondements de la reprsentation des
connaissances et de la formalisation des raisonnements (Volume1. Reprsentation des connaissances et formalisation des raisonnements);

le deuxime volume offre une vue de lIA, en onze

chapitres, sous langle des algorithmes (Volume 2.

Algorithmes pour lintelligence artificielle) ;

le troisime volume, en onze chapitres galement,

dcrit les principales frontires et applications de

lIA (Volume 3. Lintelligence artificielle : frontires
et applications).

Si chaque chapitre peut tre lu indpendamment

des autres, les rfrences croises entre chapitres
sont nombreuses et un index global de louvrage
permet daborder celui-ci de faon non linaire.

(L. Amgoud, Ph. Besnard, C. Cayrol,

Ph. Chatalic, M.-Ch. Lagasquie-Schiex)

11. Approches de la rvision et de la fusion

dinformations

Avant-propos
Prface J. Pitrat

Ouvrage coordonn par

Pierre Marquis, Odile Papini et Henri Prade

10. Argumentation et raisonnement en

prsence de contradictions

(D. Dubois, P. Everaere, S. Konieczny, O. Papini)

1. lments pour une histoire de lintelligence

artificielle

12. Raisonnement sur laction et le

changement

2. Reprsentation des connaissances :

modalits, conditionnels et raisonnement non
monotone

13 Dcision multicritre

(P. Marquis, O. Papini, H. Prade)

(A. Herzig, Ph. Besnard)

(F. Dupin de Saint-Cyr, A. Herzig, J. Lang,

P. Marquis)
(Ch. Gonzales, P. Perny)

14. Dcision dans lincertain

3. Reprsentations de lincertitude en
intelligence artificielle
(S. Benferhat, Th. Denoeux, D. Dubois,
H. Prade)

4. Raisonnement qualitatif sur les systmes

dynamiques, le temps et lespace
(J.-F. Condotta, F. Le Ber, G. Ligozat,
L. Trav-Massuys)

5. Raisonner avec des ontologies : logiques de

description et graphes conceptuels
(M. Leclre, M.-L. Mugnier, M.-Ch. Rousset)

6. Reprsentation des prfrences

(S. Kaci, J. Lang, P. Perny)

7. Normes et logique dontique

(F. Cuppens, Ch. Garion, G. Piolle,
N. Cuppens-Boulahia)

8. Raisonnement partir de cas,

raisonnement et apprentissage par analogie,
gradualit et interpolation
(B. Fuchs, J. Lieber, L. Miclet, A. Mille, A. Napoli,
H. Prade)

(Ch. Gonzales, P. Perny)

15. Systmes multiagents : dcision collective

(S. Bouveret, J. Lang, M. Lematre)

16. Formalisation de systmes dagent cognitif,

de la confiance et des motions
(J. Ben-Nam, D. Longin, E. Lorini)

17. Systmes multiagents : ngociation,

persuasion
(L. Amgoud, Y. Chevaleyre, N. Maudet)

18. Diagnostic et supervision : approches

base de modles
(M.-O. Cordier, Ph. Dague, Y. Pencol,
L. Trav-Massuys)

19. Validation et explication

(L. Charnay, J. Dibie, S. Loiseau)

20. Ingnierie des connaissances

(N. Aussenac-Gilles, J. Charlet, C. Reynaud-Delatre)

Postface L. Farias del Cerro

9. Modles dapprentissage artificiel

(A. Cornujols, F. Koriche, L. Miclet, R. Nock)

Volume 2

Algorithmes
pour lintelligence artificielle

Volume 3

Lintelligence artificielle:
frontires et applications
Avant-propos

Avant-propos

Prface P. Braffort

Prface A. Colmerauer
1. Recherche heuristiquement ordonne dans les
graphes dtats
(H. Farreny)
2. Jeux et recherche heuristique
(B. Bouzy, T. Cazenave, V. Corruble, O. Teytaud)
3. Dduction automatique
(Th. Boy de la Tour, R. Caferra, N. Olivetti,
N. Peltier, C. Schwind)
4. Programmation logique
(A. Lallouet, Y. Moinard, P. Nicolas, I. Stphan)
5. Logique propositionnelle et algorithmes
autour de SAT
(L. Simon)
6. Raisonnement par contraintes
(Ch. Bessire)
7. Rseaux de contraintes valus
(M. Cooper, S. de Givry, Th. Schiex)
8. Modles graphiques pour lincertitude :
infrence et apprentissage
(S. Benferhat, Ph. Leray, K. Tabia)
9. Planification en intelligence artificielle
(R. Sabbadin, F. Teichteil-Knigsbuch, V. Vidal)
10. Algorithmique de lapprentissage et de
la fouille de donnes
(A. Cornujols, C. Vrain, J.-D. Zucker)
11. Mta-heuristiques et intelligence artificielle
(J.-K. Hao, Ch. Solnon)
Postface Ph. Chrtienne

1. Informatique thorique : calculabilit,

dcidabilit et logique
(O. Bournez, G. Dowek, R. Gilleron,
S. Grigorieff, J.-Y. Marion, S. Perdrix, S. Tison)
2. Informatique thorique : complexit,
automates et au-del
(O. Bournez, G. Dowek, R. Gilleron,
S. Grigorieff, J.-Y. Marion, S. Perdrix, S. Tison)
3. Bases de donnes et intelligence artificielle
(N. Bidoit, P. Bosc, L. Cholvy, O. Pivert,
M.-Ch. Rousset)
4. Web smantique
(J. Euzenat, M.-Ch. Rousset)
5. Intelligence artificielle et langage
(N. Asher, L. Danlos, P. Zweigenbaum)
6. Bioinformatique
(F. Coste, C. Ndellec, Th. Schiex, J.-Ph. Vert)
7. Intelligence artificielle et reconnaissance des
formes, vision, apprentissage
(I. Bloch, R. Clouard, M. Revenu, O. Sigaud)
8. Intelligence artificielle et robotique
(M. Ghallab, F. Ingrand)
9. Perspectives philosophiques et
pistmologiques ouvertes par lintelligence
artificielle
(P. Livet, F. Varenne)

Volume 1
Rf. : 1041
I.S.B.N. : 978.2.36493.041.4

Volume 2
Rf. : 1042
I.S.B.N. : 978.2.36493.042.1

10. Intelligence artificielle et psychologie du

raisonnement et de la dcision
(J.-F. Bonnefon, G. Politzer)

39 + frais denvoi
format 17x24
690 pages
Broch

25 + frais denvoi
format 17x24
364 pages
Broch

11 Fertilisation croise entre interaction personnesystme et intelligence artificielle

(Ch. Kolski, G. Boy, G. Melanon, M. Ochs
et J. Vanderdonckt)

format 17x24
374 pages
Broch

Postface W. Skyvington

CPADUS-DITIONS ditions scientifiques et techniques

111, rue Nicolas-Vauquelin 31100 Toulouse France

Tl.: 05 61 40 57 36 Fax: 05 61 41 79 89
(de ltranger) + 33 5 61 40 57 36 Fax : + 33 5 61 41 79 89
13 14

pilogue : pour une dfense de la recherche en

intelligence artificielle
(P. Marquis, O. Papini, H. Prade)
4

Volume 3
Rf. : 1043
I.S.B.N. : 978.2.36493.043.8 25 + frais denvoi

www.cepadues.com courriel : cepadues@cepadues.com