Cet ouvrage présente un état de l’art dans le domaine des méthodes logiques pour les sciences cognitives. Destiné aux linguistes, informaticiens et spécialistes d’intelligence artificielle, mais aussi aux philosophes, psychologues et chercheurs en sciences sociales, il se construit autour d’un triple objectif : – 1, être complet : loin de se cantonner aux problèmes traditionnels de l’intelligence artificielle, il aborde l’étude du raisonnement taxinomique, la description formelle des systèmes de croyances dans une société d’agents, et la théorie des actes du langage; – 2, être actuel : plusieurs chapitres constituent la première exposition systématique en langue française de méthodes qui n’ont pas dix ans d’âge, comme la théorie des structures de connaissance, ou encore la planification déductive; – 3, «mettre les idées aux commandes» : une large place est donnée non seulement à la justification informelle des méthodes présentées, mais aussi à une réflexion critique et philosophique sur les problèmes posés et la manière traditionnelle de les aborder. – Partie I, «Logique et raisonnement» (chapitres 1 à 6); – Partie II, «Logique et représentation» (chapitres 7 à 11); – Partie III, «Logique et langage» (chapitres 12 à 16). [Voir détails dans le dépouillement des Articles]. M.-M. V.
ANDLER Daniel
pages 25 à 75
ZWIRN Hervé P., ZWIRN Denis
pages 77 à 97
DUBOIS Didier, PRADE Henri
pages 99 à 120
MASSERON Marcel
pages 121 à 163
CROCCO Gabriella
pages 165 à 193
FARINAS DEL CERRO Luis, HERZIG Andreas
pages 195 à 204
DUBUCS Jacques
pages 207 à 234
MONGIN Philippe
pages 235 à 259
LISMONT Luc
pages 261 à 280
GOCHET Paul
pages 281 à 294
VANDERVEKEN Daniel
pages 295 à 326
LEPAGE François
pages 329 à 349
LAPIERRE Serge
pages 351 à 375
USBERTI Gabriele
pages 377 à 394
MARQUIS Jean-Pierre
pages 395 à 409
DELAHAYE Jean-Paul
pages 411 à 428