Passerelles entre la logique classique et la logique non monotone

Note :   (3,8 sur 5)

Passerelles entre la logique classique et la logique non monotone (David Makinson)

Avis des lecteurs

Il n'y a actuellement aucun avis de lecteur. La note est basée sur 2 votes.

Titre original :

Bridges from Classical to Nonmonotonic Logic

Contenu du livre :

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.

Autres informations sur le livre :

ISBN :9781904987000
Auteur :
Éditeur :
Langue :anglais
Reliure :Broché

Achat:

Actuellement disponible, en stock.

Je l'achète!

Autres livres de l'auteur :

Ensembles, logique et mathématiques pour l'informatique - Sets, Logic and Maths for...
Ce manuel facile à suivre présente le langage mathématique,...
Ensembles, logique et mathématiques pour l'informatique - Sets, Logic and Maths for Computing
Passerelles entre la logique classique et la logique non monotone - Bridges from Classical to...
Imaginez un robot qui tente d'évaluer une...
Passerelles entre la logique classique et la logique non monotone - Bridges from Classical to Nonmonotonic Logic

Les œuvres de l'auteur ont été publiées par les éditeurs suivants :

© 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)