Logo Sips
Accueil

Abécédaire

Recherche

Intranet

Contact

Système d'information en philosophie des sciences

Logo Sips
ImprimerEnvoyer le lien

COLLECTIF

Méthodes logiques pour les sciences cognitives

  • Pages : 429
  • Collection : Langue, Raisonnement, Calcul
  •  
  • Support : Document imprimé
  • Edition : Original
  • Ville : Paris
  •  
  • ISBN : 2-86601-461-8
  •  
  • Date de création : 04-01-2011
  • Dernière mise à jour : 29-10-2015

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.

 

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.

 

Articles :

pages 25 à 75

Logique, raisonnement et psychologie

ANDLER Daniel

pages 77 à 97

Confirmation non probabiliste

ZWIRN Hervé P., ZWIRN Denis

pages 99 à 120

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

DUBOIS Didier, PRADE Henri

pages 121 à 163

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

MASSERON Marcel

pages 165 à 193

Approches logiques du raisonnement taxinomique

CROCCO Gabriella

pages 195 à 204

Changements minimaux constructifs

FARINAS DEL CERRO Luis, HERZIG Andreas

pages 207 à 234

Logique de la connaissance : un panorama

DUBUCS Jacques

pages 235 à 259

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

MONGIN Philippe

pages 261 à 280

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

LISMONT Luc

pages 281 à 294

Problèmes de logique de la connaissance

GOCHET Paul

pages 295 à 326

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

VANDERVEKEN Daniel

pages 329 à 349

Logique partielle et inférence valide

LEPAGE François

pages 351 à 375

Conditionnels, quantificateurs et inférences

LAPIERRE Serge

pages 377 à 394

Logique constructive et donkey-anaphore

USBERTI Gabriele

pages 395 à 409

Approximations et négation

MARQUIS Jean-Pierre

pages 411 à 428

Paradoxes sémantiques et programmation logique

DELAHAYE Jean-Paul

Haut de pageRetour à la page précédente