Prêtable
| Titre : | Méthodes logiques pour les sciences cognitives |
| Auteurs : | Jacques Dubucs ; François Lepage |
| Type de document : | texte imprimé |
| Editeur : | Paris [France] : Hermes Science, 1995 |
| Collection : | Langue-raisonnement-calcul |
| ISBN/ISSN/EAN : | 978-2-86601-461-2 |
| Format : | 428 p. / couv. ill. en coul. / 24 cm. |
| Langues: | Français |
| Langues originales: | Français |
| Index. décimale : | 510 (Mathématiques) |
| Catégories : | |
| Mots-clés: | Logique symbolique et mathématique |
| Résumé : |
Méthodes logiques pour les sciences cognitives réunit des chercheurs de notoriété internationale (D. Andler, J. -P. Delahaye, D. Dubois, H. Prade, L. Farinas del Cerro, P. Gochet, D. Vandervecken, etc.) autour de trois thèmes majeurs en sciences cognitives : logique et raisonnement, logique et représentation et logique et langage. Par la diversité des contributions et la clarté de ses exposés, cet ouvrage est destiné au public des sciences cognitives au sens le plus large : linguistes, informaticiens et spécialistes d'intelligence artificielle, mais aussi philosophes, psychologues et chercheurs en sciences sociales.
|
| Note de contenu : |
Sommaire :
Partie 1: La logique des logiciens Chapitre 1: Logique,raisonnement et psychologie Chapitre 2: Confirmation non probabiliste Chapitre 3: Logique possibiliste,modèles préférentiels et objets Chapitre 4: Une application de la logique linéaire:la planification déductive Chapitre 5: Approches logiques du raisonnement taxinomique Chapitre 6: Changements minimaux constructifs Partie 2: Logique et modélisation cognitive Chapitre 7: Logique de la connaissance:un panorama Chapitre 8: Modes de cryyance et probabilité bivalentes une interprétation logique du théorème de Mertens et Zamir Chapitre 9: Applications épistémiques de la théorie des ensembles anti-fondés Chapitre 10: Problè,es de logique de la connaissance Chapitre 11: L'analyse de la forme logique des propositions Partie 3: Sémantique et calcul Chapitre 12: Logique partielle et inférence valide Chapitre 13: Conditionnels;quantificateurs et inférences Chapitre 14: Logique constructive et donkey-anaphore Chapitre 15: Approximation et négation Chapitre 16: Paradoxes sémantiques et programmation logique |
Exemplaires (1)
| Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|
| F8/1496 | Livre | Bibliothèque de la Faculté de Technologie | Salle des livres | Disponible |
