Logique pour l'informatique et pour l'intelligence artificielle / Ricardo Caferra

Public ISBD Title : Logique pour l'informatique et pour l'intelligence artificielle Material Type: printed text Authors: Ricardo Caferra, Author Publisher: Paris : Hermès Science Publications Publication Date: 2011 Other publisher: Paris : Éditions Lavoisier Series: Collection Informatique Pagination: 1 vol. (424 p.) Size: 24 cm. ISBN (or other code): 978-2-7462-2600-5 Languages : French (fre) Keywords: Logique  Informatique  Intelligence artificielle Abstract: 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 Logique pour l'informatique et pour l'intelligence artificielle [printed text] / Ricardo Caferra, Author . - Paris : Hermès Science Publications : Paris : Éditions Lavoisier, 2011 . - 1 vol. (424 p.) ; 24 cm.. - (Collection Informatique) . ISBN : 978-2-7462-2600-5 Languages : French (fre) Keywords: Logique  Informatique  Intelligence artificielle Abstract: 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

Hold

Place a hold on this item

Copies(6)

Barcode	Call number	Media type	Location	Section	Status
005.1.16-3	005.1.16-3	Livre .	Bibliothèque du Centre Universitaire d’Aflou	Informatique	Available
005.1.16-4	005.1.16-4	Livre .	Bibliothèque du Centre Universitaire d’Aflou	Informatique	Available
005.1.16-5	005.1.16-5	Livre .	Bibliothèque du Centre Universitaire d’Aflou	Informatique	Available
005.1.16-6	005.1.16-6	Livre .	Bibliothèque du Centre Universitaire d’Aflou	Informatique	Available
005.1.16-7	005.1.16-7	Livre .	Bibliothèque du Centre Universitaire d’Aflou	Informatique	Available
005.1.16-8	005.1.16-8	Livre .	Bibliothèque du Centre Universitaire d’Aflou	Informatique	Available

---

1 (1 - 1 / 1) Per page : 25 50 100 200