Les agents intelligents : essai sur la rationalité des calculs Coll. Informatique

Les sciences et les technologies de l'information utilisent des calculateurs qui nous aident à comprendre, communiquer et agir. L'un des problèmes de l'intelligence artificielle porte sur la manière dont on conserve un jugement critique lorsque les machines réalisent certaines tâches de manière autonome. Les agents intelligents détaille les concepts qui permettent à un opérateur de catégoriser et théoriser avec l'assistance d'une machine appelée agent rationnel. Les agents rationnels ont pour mission d'assister un agent intelligent dans son activité de résolution de problèmes. Leur rationalité est définie par les principes qui guident leur réaction aux évolutions de leur environnement. La progression des connaissances devient le résultat de dialogues menés avec leurs utilisateurs.

1. Penser Le cadre logique pour la pensée - Le carré d'Aristote : un cadre pour catégoriser - Russell et l'axiome de réductibilité - Frege et le principe d'extension - Wittgenstein ou comment sortir des paradoxes - L'assertion et le propos - Comment contrôler un raisonnement en philosophie ? Les architectures en couches - Qu'est-ce que le temps dans un raisonnement philosophique ? Qu'est-ce que le temps dans un processus physique ou biologique ? Qu'est-ce que le dysfonctionnement d'un raisonnement ? Apprendre pour un processeur humain - Ce qu'une machine peut apprendre - Conclusion 2. Calculer Formaliser en théorie des catégories - Le système F - Sémantiques dénotationnelles du calcul - Cadres probatoires - Cadre conceptuel - Conclusion 3. Raisonner Catégoriser - Théories semi-empiriques - Agent rationnel serviteur de la raison - Conclusion Bibliographie - Index.