Note :
Il n'y a actuellement aucun avis de lecteur. La note est basée sur 2 votes.
Bridges from Classical to Nonmonotonic Logic
Imaginez un robot qui tente d'évaluer une situation difficile et de trouver un moyen d'y répondre. Ses capteurs reçoivent des flux d'informations à partir desquels il tente d'émettre des jugements.
S'il s'appuie uniquement sur la déduction, il n'ira pas loin, quelle que soit la rapidité de ses moteurs d'inférence ; en effet, même les informations les plus massives restent généralement incomplètes : il existe des questions pertinentes qu'elles ne permettent pas de résoudre dans un sens ou dans l'autre. Le robot, ou l'agent humain d'ailleurs, doit dépasser ces limites. Il doit être "supraclassique", c'est-à-dire déduire plus que ce qu'autorise la seule logique classique.
Mais de telles inférences sont intrinsèquement incertaines. Elles sont également non monotones, en ce sens que l'acquisition d'informations supplémentaires, même si elles sont cohérentes avec le stock existant, peut nous amener à abandonner ou à ajouter des conclusions. La logique nonmonotone est l'étude de ce type de raisonnement et fait l'objet de recherches intensives depuis plus de vingt ans.
Mais pour le nouveau venu, elle reste une affaire déconcertante, manquant d'unité avec de nombreux systèmes allant dans des directions différentes. L'objectif de ce livre est de lever le mystère sur ce sujet, en donnant une image claire et globale de ce qui se passe. Il rend les idées essentielles et les principales approches de la logique nonmonotone accessibles, et significatives, à toute personne disposant de quelques outils de base en mathématiques discrètes et d'un bagage minimal en logique propositionnelle classique.
Il est rédigé comme un manuel, avec des explications détaillées, des exemples, des commentaires, des exercices et des réponses. Les étudiants et les enseignants y trouveront un guide précieux.
© 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)