Livres numériques

Retour aux livres numériques
Les agents intelligents

Table des matières

Afficher Fermer
Les agents intelligents 1
Introduction 13
Quel est le but du livre ? 13
Quelle est la difficulté de ce livre ? 15
La démarche formalisatrice 15
A un utilisateur qui pense est adjointe une machine qui calcule 15
Un utilisateur pense 16
Le calculateur calcule 19
L'utilisateur est méthodique et sceptique 23
Un temps qui n'est pas une grandeur 24
Aphorismes et actes de langages 25
Notre démarche 26
Chapitre 1. Penser 29
1.1. Le cadre logique pour la pensée 30
1.2. Le carré d'Aristote : un cadre pour catégoriser 35
1.3. Russell et l'axiome de réductibilité 45
1.4. Frege et le principe d'extension 46
1.5. Wittgenstein ou comment sortir des paradoxes 47
1.6. L'assertion et le propos 47
1.7. Comment contrôler un raisonnement en philosophie 55
1.8. Les architectures en couches 69
1.9. Qu'est-ce que le temps dans un raisonnement philosophique ? 72
1.10. Qu'est-ce que le temps dans un processus physique ou biologique ? 74
1.11. Qu'est-ce que le dysfonctionnement d'un raisonnement ? 79
1.12. Apprendre pour un processeur humain 82
1.13. Ce qu'une machine peut apprendre 86
1.14. Conclusion 104
Chapitre 2. Calculer 109
2.1. Introduction 109
2.2. Formaliser en théorie des catégories 112
2.3. Le système F 133
2.4. Sémantiques dénotationnelles du calcul 156
2.5. Cadres probatoires 161
2.6. Cadre conceptuel 172
2.7. Conclusion 185
Chapitre 3. Raisonner 187
3.1. Introduction 187
3.2. Catégoriser 188
3.3. Théories semi-empiriques 212
3.4. Agent rationnel serviteur de la raison 255
3.5. Conclusion 279
Bibliographie 283
Index 293

Formats disponibles :

  • PDF

    Protection: Filigrane 74,95$