Logique pour l'informatique et pour l'intelligence artificielle [Texte imprimé] / Ricardo Cafera, Monographie imprimée
Language: français.Country: France.Publication : Paris : Hermès science publ. : Lavoisier, impr. 2011Description: 1 vol. (424 p.) : ill. ; 24 cmISBN: 978-2-7462-2600-5.Series: Collection informatique, 1242-7691Dewey: 005.131, 22, fre ; 006.3, 22, freAbstract: La logique joue un rôle capital dans l'informatique et particulièrement dans l'intelligence artificielle. Cet ouvrage donne les bases conceptuelles et les techniques nécessaires à la bonne utilisation d'outils tels que les démonstrateurs automatiques ou assistés.; 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.Subject - Topical Name: Logique informatique Problèmes et exercices | Intelligence artificielle, Logiciels Subject: informatique intelligence artificielleItem type | Home library | Collection | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
Prêt normal | Bibliothèque provisoire Bron Salle de lecture | Informatique | 006 CAF (Browse shelf (Opens below)) | Available | 0378630957 |
La logique joue un rôle capital dans l'informatique et particulièrement dans l'intelligence artificielle. Cet ouvrage donne les bases conceptuelles et les techniques nécessaires à la bonne utilisation d'outils tels que les démonstrateurs automatiques ou assistés.
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