PANORAMA DE LINTELLIGENCE ARTIFICIELLE

Ses bases mthodologiques ses dveloppements

Volume 1 Reprsentation des connaissances et formalisation des raisonnements

Avant-propos

Prface J. Pitrat

1. lments pour une histoire de lintelligence artificielle(P. Marquis, O. Papini, H. Prade)

2. Reprsentation des connaissances : modalits, conditionnels et raisonnement non monotone(A. Herzig, Ph. Besnard)

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)

9. Modles dapprentissage artificiel(A. Cornujols, F. Koriche, L. Miclet, R. Nock)

10. Argumentation et raisonnement en prsence de contradictions(L. Amgoud, Ph. Besnard, C. Cayrol, Ph. Chatalic, M.-Ch. Lagasquie-Schiex)

11. Approches de la rvision et de la fusion dinformations(D. Dubois, P. Everaere, S. Konieczny, O. Papini)

12. Raisonnement sur laction et le changement(F. Dupin de Saint-Cyr, A. Herzig, J. Lang, P. Marquis)

13 Dcision multicritre (Ch. Gonzales, P. Perny)

14. Dcision dans lincertain(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

Cet 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 trai-tant des fondements de la reprsentation des connaissances et de la formalisation des raison-nements (Volume 1. Reprsentation des connais-sances 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.

1 2 3

Ouvrage coordonn par Pierre Marquis, Odile Papini et Henri Prade

CPADUS-DITIONS ditions scientifiques et techniques111, rue Nicolas-Vauquelin 31100 Toulouse FranceTl. : 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 89www.cepadues.com courriel : cepadues@cepadues.com

Volume 2 Algorithmes pour lintelligence artificielle

Avant-propos

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

Volume 3 Lintelligence artificielle : frontires et applications

Avant-propos

Prface P. Braffort

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)

10. Intelligence artificielle et psychologie du raisonnement et de la dcision(J.-F. Bonnefon, G. Politzer)

11 Fertilisation croise entre interaction personne-systme et intelligence artificielle(Ch. Kolski, G. Boy, G. Melanon, M. Ochs et J. Vanderdonckt)

Postface W. Skyvington

pilogue : pour une dfense de la recherche en intelligence artificielle(P. Marquis, O. Papini, H. Prade)

Rf. : 1043I.S.B.N. : 978.2.36493.043.8

Volume 3

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

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

Volume 2

4 5

13 1

4

39 + frais denvoiformat 17x24690 pagesBroch

25 + frais denvoiformat 17x24364 pagesBroch

25 + frais denvoiformat 17x24374 pagesBroch