Le raisonnement abductif a reçu beaucoup d'attention ces dernières années grâce à ses applications dans diverses disciplines, de l'épistémologie à la linguistique en passant par l'intelligence artificielle. Ce livre présente quelques-unes des approches les plus populaires de l'abduction dans le cadre de la logique classique, tant propositionnelle que prédicative.
Etant donné l'intérêt de l'abduction dans la programmation logique, le livre comprend un chapitre consacré aux applications de l'abduction dans le raisonnement automatique. Un raisonneur abductif écrit en Prolog est également fourni.
Les annexes contiennent le code source, ainsi qu'une courte introduction à la programmation logique. De nombreux exemples de problèmes abductifs résolus avec chacun des systèmes présentés sont inclus tout au long du livre.
© Book1 Group - tous droits réservés.
Le contenu de ce site ne peut être copié ou utilisé, en tout ou en partie, sans l'autorisation écrite du propriétaire.
Dernière modification: 2024.11.14 07:32 (GMT)