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.