Nous utilisons des cookies pour améliorer votre expérience. Pour nous conformer à la nouvelle directive sur la vie privée, nous devons demander votre consentement à l’utilisation de ces cookies. En savoir plus.
La Logique et l'Intelligence Artificielle : Raisonnements&Algorithmes
Univ Europeenne - EAN : 9783639509434
Édition papier
EAN : 9783639509434
Paru le : 1 nov. 2018
55,90 €
52,99 €
Disponible
Pour connaître votre prix et commander, identifiez-vous
Notre engagement qualité
-
Livraison gratuite
en France sans minimum
de commande -
Manquants maintenus
en commande
automatiquement -
Un interlocuteur
unique pour toutes
vos commandes -
Toutes les licences
numériques du marché
au tarif éditeur -
Assistance téléphonique
personalisée sur le
numérique -
Service client
Du Lundi au vendredi
de 9h à 18h
- EAN13 : 9783639509434
- Réf. éditeur : 2849796
- Editeur : Univ Europeenne
- Date Parution : 1 nov. 2018
- Disponibilite : Disponible
- Barème de remise : NS
- Nombre de pages : 148
- Format : H:220 mm L:150 mm E:9 mm
- Poids : 228gr
- Interdit de retour : Retour interdit
- Résumé : 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.
- Biographie : Enseignant-chercheur en Informatique et Systèmes d'Information, Université HASSAN 1er, Ecole Nationale de Commerce et de Gestion (ENCG), Settat, Maroc.Responsable du Master Management du Système d'Information et de CommunicationUniversité HASSAN 1er, ENCG. Président de l'Association Marocaine pour la Promotion du Logiciel Libre (AMP2L)
