Contact
Hoe winkelen bij ons werkt
Bezorging
Winkelgids
La Logique et l'Intelligence Artificielle : Raisonnements&Algorithmes
Frans
121 b
Tot 30 dagen retourrecht
Klanten kochten ook
/
Gebonden (paperback)
66.87
€
De nombreux domaines utilisent des formalisations basées sur la logique propositionnelle ou la logique des prédicats. Ainsi, la logique occupe une place importante parmi les méthodes utilisées en intelligence artificielle. Cependant, il convient de distinguer deux points, concernant l'emploi de la logique en intelligence artificielle. D'une part, la logique peut intervenir en tant qu'outil théorique, que ce soit pour la formalisation des concepts, l'expression des énoncés, etc. Autrement dit, la logique est alors utilisée pour formaliser la théorie des systčmes étudiés. D'autre part, la logique peut ętre un outil, pour la mise en oeuvre effective, en machine, de modules déductifs. Il s'agit alors de préoccupations relativement différentes, plus proches de l'informatique, parmi lesquelles la recherche de méthodes efficaces de démonstration automatique, ou encore la construction d'environnement pour travailler en logique comme Prolog ou les Systčmes Experts Open Source.
Informatie over het boek
Frans
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvangerDit vind je misschien ook interessant
/
Gebonden (paperback)
21.34
€
Hoi! Ik ben Libroamiko, je boekadviseur.
Hoe kan ik je helpen?