Site moissonné par Isidore

Méthodes logiques pour les sciences cognitives

Collectif

Méthodes logiques pour les sciences cognitives


Éditeurs scientifiques :
  • Pages : 429
  • Support : Document imprimé
  • Format : 24 cm.
  • Langue : Français
  • ISBN : 2-86601-461-8
  • ISSN : 0988-0569
  • Date de création : 04/01/2011
  • Dernière mise à jour : 29/10/2015

Aucune information sur les auteurs de paratexte n'a été enregistrée pour ce document

Aucune élément de paratexte n'a été enregistré pour ce document

Résumé 

Français

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.

Chapitres d'ouvrages

« Logique, raisonnement et psychologie »

De : Daniel ANDLER

Pages 25 à 75


« Confirmation non probabiliste »

De : Denis ZWIRN, Hervé P. ZWIRN

Pages 77 à 97


« Logique possibiliste, modèles préférentiels et objets conditionnels »

De : Didier DUBOIS, Henri PRADE

Pages 99 à 120


« Une application de la logique linéaire : la planification déductive »

De : Marcel MASSERON

Pages 121 à 163


« Approches logiques du raisonnement taxinomique »

De : Gabriella CROCCO

Pages 165 à 193


« Changements minimaux constructifs »

De : Luis FARINAS DEL CERRO, Andreas HERZIG

Pages 195 à 204


« Logique de la connaissance : un panorama »

De : Jacques DUBUCS

Pages 207 à 234


« “Mondes de croyance” et probabilités bivalentes. Une interprétation logique du théorème de Mertens et Zamir »

De : Philippe MONGIN

Pages 235 à 259


« Applications épistémiques de la théorie des ensembles anti-fondés »

De : Luc LISMONT

Pages 261 à 280


« Problèmes de logique de la connaissance »

De : Paul GOCHET

Pages 281 à 294


« L’analyse de la forme logique des propositions en grammaire universelle »

De : Daniel VANDERVEKEN

Pages 295 à 326


« Logique partielle et inférence valide »

De : François LEPAGE

Pages 329 à 349


« Conditionnels, quantificateurs et inférences »

De : Serge LAPIERRE

Pages 351 à 375


« Logique constructive et donkey-anaphore »

De : Gabriele USBERTI

Pages 377 à 394


« Approximations et négation »

De : Jean-Pierre MARQUIS

Pages 395 à 409


« Paradoxes sémantiques et programmation logique »

De : Jean-Paul DELAHAYE

Pages 411 à 428


Mots-clés