Logique pour l'informatique et pour l'intelligence artificielle
La logique, qu'elle soit propositionnelle, du premier ordre ou non classique, joue un rôle capital dans l'informatique et plus particulièrement dans l'intelligence artificielle. Conçu dans un but d'autoformation, Logique pour l'informatique et pour l'intelligence artifi...
Guardat en:
| Autor principal: | |
|---|---|
| Format: | Livre numérique |
| Idioma: | Français |
| Publicat: |
Paris :
Hermes science publications : Lavoisier
2010.
Paris : Cyberlibris |
| Matèries: | |
| Accés en línia: | Accès Université d'Orléans et IFPM |
| Nota: |
Couverture. https://static2.cyberlibris.com/books_upload/136pix/9782746241114.jpg Cyberlibris (ScholarVox) corpus Informatique |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Logique pour l'informatique et pour l'intelligence artificielle, Ricardo Caferra, 2011, Paris, Hermes science publications, Lavoisier, 1 vol. (424 p.), Collection informatique, 978-2-7462-2600-5 |
Taula de continguts:
- 1. Introduction
- 2. Un peu de réflexion avant la formalisation
- 3. La logique propositionnelle (LP ou CP)
- 4 Les termes du premier ordre
- 5. Logique du premier ordre ou logique des prédicats (L1O (LP1,. CP1))
- 6. Fondements de programmation en logique
- 7. L'intelligence et l'intelligence artificielle
- 8. L'inférence
- 9. La spécification des problèmes et les langages de la logique
- 10. Les logiques (dites) non classiques
- 11. La connaissance et la logique : quelques notions