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 to 75
ZWIRN Hervé P., ZWIRN Denis
pages 77 to 97
DUBOIS Didier, PRADE Henri
pages 99 to 120
MASSERON Marcel
pages 121 to 163
CROCCO Gabriella
pages 165 to 193
FARINAS DEL CERRO Luis, HERZIG Andreas
pages 195 to 204
DUBUCS Jacques
pages 207 to 234
MONGIN Philippe
pages 235 to 259
LISMONT Luc
pages 261 to 280
GOCHET Paul
pages 281 to 294
VANDERVEKEN Daniel
pages 295 to 326
LEPAGE François
pages 329 to 349
LAPIERRE Serge
pages 351 to 375
USBERTI Gabriele
pages 377 to 394
MARQUIS Jean-Pierre
pages 395 to 409
DELAHAYE Jean-Paul
pages 411 to 428