Titre :
|
Méthodes logiques pour les sciences cognitives
|
Auteurs :
|
Jacques Dubucs, Éditeur scientifique ;
François Lepage, Éditeur scientifique
|
Type de document :
|
texte imprimé
|
Editeur :
|
Paris : Hermès science publications, 1995
|
Collection :
|
Langue, raisonnement, calcul, ISSN 0988-0569
|
ISBN/ISSN/EAN :
|
978-2-86601-461-2
|
Format :
|
432 p. / 24 x 16 cm
|
Langues:
|
Français
|
Index. décimale :
|
501
|
Résumé :
|
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.
|