Méthodes pour l'intelligence artificielle
Logique - volume 3
Pascal Gribomont, André Thayse, Paul Gochet, Gochet
Résumé
L'une des originalités du livre est d'illustrer constamment la théorie des exemples d'une complexité suffisante pour justifier le recours aux méthodes formelles, mais néanmoins assez simples pour remplir un rôle didactique.
Sommaire
- 1. Introduction historique et philosophique à la
logique modale
- 2. Logique modale des propositions
- 3. Logiques modales temporelle et épistémique
- 4. Logique modale quantifiée
- 5. Logiques temporelle et épistémique quantifiées
- 6. Théorie des modèles. Première partie
- 7.
- 8. Théorie de la preuve pour la logique modale
propositionnelle
- 9. Théorie des modèles et théorie de la preuve pour la
logique modale quantifiée
- 10. Introduction à l'intelligence artificielle
- 11. Principes de la programmation logique
- 12 Le langage Prolog en intelligence artificielle
- 13. Vérification assistée par ordinateur
- Bibliographie – Index
L'auteur - Pascal Gribomont
Pascal Gribomont est professeur d'informatique et intelligence artificielle a l'universite de Liege.
Autres livres de Pascal Gribomont
L'auteur - André Thayse
Autres livres de André Thayse
L'auteur - Paul Gochet
Autres livres de Paul Gochet
Caractéristiques techniques
| PAPIER | |
| Éditeur(s) | Hermès - Lavoisier |
| Auteur(s) | Pascal Gribomont, André Thayse, Paul Gochet, Gochet |
| Parution | 21/06/1970 |
| Nb. de pages | 392 |
| Format | 16 x 24 |
| Poids | 600g |
| EAN13 | 9782746201316 |
Avantages Eyrolles.com
Consultez aussi
- Les meilleures ventes en Graphisme & Photo
- Les meilleures ventes en Informatique
- Les meilleures ventes en Construction
- Les meilleures ventes en Entreprise & Droit
- Les meilleures ventes en Sciences
- Les meilleures ventes en Littérature
- Les meilleures ventes en Arts & Loisirs
- Les meilleures ventes en Vie pratique
- Les meilleures ventes en Voyage et Tourisme
- Les meilleures ventes en BD et Jeunesse
