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...
Đã lưu trong:
| Tác giả chính: | |
|---|---|
| Định dạng: | Livre numérique |
| Ngôn ngữ: | Français |
| Được phát hành: |
Paris :
Hermes science publications : Lavoisier
2010.
Paris : Cyberlibris |
| Những chủ đề: | |
| Truy cập trực tuyến: | Accès Université d'Orléans et IFPM |
| Chú thích: |
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 |
| LEADER | 03021nam a22002777a 4500 | ||
|---|---|---|---|
| 001 | 1336042 | ||
| 008 | 250526s2010 xxg ||| |||| 00| 0 fre d | ||
| 009 | PPN285061100 | ||
| 020 | |a 9782746241114 | ||
| 041 | 0 | |a fre | |
| 082 | |a 005.131 |z fre | ||
| 082 | |a 006.3 |z fre | ||
| 100 | 1 | |a Caferra, Ricardo, |d 1945-...., |c auteur en informatique. | |
| 245 | 1 | 0 | |a Logique pour l'informatique et pour l'intelligence artificielle |c Ricardo Caferra. |
| 260 | |a Paris : |b Hermes science publications : |b Lavoisier. | ||
| 260 | |a Paris : |b Cyberlibris, |c 2010. | ||
| 500 | |a Couverture. https://static2.cyberlibris.com/books_upload/136pix/9782746241114.jpg | ||
| 500 | |a Cyberlibris (ScholarVox) corpus Informatique | ||
| 505 | 0 | |a 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 | |
| 506 | |a L'accès en ligne est réservé aux établissements ou bibliothèques ayant souscrit l'abonnement. Cyberlibris | ||
| 520 | |a 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 artificielle donne les bases conceptuelles et les techniques nécessaires à la bonne utilisation d'outils tels que les démonstrateurs automatiques ou assistés. Il analyse les méthodes des tableaux sémantiques, de Davis et Putnam, de résolution ainsi que les concepts d'unification et de subsomption. La méthode de traduction est privilégiée pour les logiques non classiques. Les exemples ont été choisis de façon à guider la conception d'abstractions pertinentes pour des classes de problèmes. Les digressions et remarques permettent d'approfondir certains sujets et de découvrir des liens avec d'autres domaines d'étude. Les nombreux exercices corrigés apportent un complément indispensable à la bonne compréhension et à l'assimilation des notions | ||
| 650 | |a Intelligence artificielle |x Logiciels | ||
| 650 | |a Logique informatique |x Problèmes et exercices | ||
| 776 | 0 | |0 149999208 |t Logique pour l'informatique et pour l'intelligence artificielle |f Ricardo Caferra |d 2011 |c Paris |n Hermes science publications |n Lavoisier |p 1 vol. (424 p.) |s Collection informatique |z 978-2-7462-2600-5 | |
| 856 | 4 | |5 452349901:859782174 |u https://ezproxy.univ-orleans.fr/login?url=https://univ.scholarvox.com/book/88967289 |z Accès Université d'Orléans et IFPM | |
| 997 | |0 1336042 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/ScholarVox (ebooks)/ | ||