Un état des lieux dans le domaine des méthodes logiques pour les sciences cognitives. Les auteurs abordent l'étude du raisonnement taxinomique, la description formelle des systèmes de croyances. Ils tentent une exposition systématique de méthodes comme la théorie des structures de connaissance ou la planification déductive.