Titre original :
The Logic of Knowledge Bases
Contenu du livre :
L'idée d'une base de connaissances est au cœur de l'intelligence artificielle symbolique ou "à l'ancienne" (GOFAI). Un système basé sur la connaissance.
Décide comment agir en exécutant des procédures de raisonnement formel sur un ensemble de connaissances explicitement représentées, sa base de connaissances. Le système est.
Le système n'est pas programmé pour des tâches spécifiques ; on lui dit ce qu'il doit savoir et on attend de lui qu'il déduise le reste.
Ce livre traite de la logique de ces bases de connaissances. Il décrit en détail la relation entre les représentations symboliques de la connaissance et les états abstraits de la connaissance, explorant au passage les fondements de la connaissance, les bases de connaissances, les systèmes basés sur la connaissance, la représentation de la connaissance et le raisonnement. En supposant une certaine familiarité avec la logique des prédicats du premier ordre, le livre propose un modèle mathématique rigoureux de la connaissance qui est général et expressif, tout en étant plus facile à mettre en pratique que les modèles précédents.
La première édition de ce livre est parue en 2000 et, depuis lors, son modèle de connaissance a été appliqué et étendu de plusieurs manières.
Cette deuxième édition intègre un certain nombre de nouveaux résultats concernant la logique des bases de connaissances, notamment le raisonnement par défaut, le raisonnement sur l'action et le changement, et le raisonnement traçable.
Et le changement, et le raisonnement traçable.
Hector Levesque est professeur émérite au département d'informatique de l'université de Toronto. Gerhard Lakemeyer est professeur et président du département d'informatique de l'université RWTH d'Aix-la-Chapelle et professeur (statut uniquement) au département d'informatique de l'université de Toronto.
Autres informations sur le livre :
| ISBN : | 9781848904200 |
| Auteur : | |
| Éditeur : | |
| Langue : | anglais |
| Reliure : | Broché |
Achat:
Actuellement disponible, en stock.
