Couverture de La Logique et l'Intelligence Artificielle : Raisonnements&Algorithmes
Titre du livre:

La Logique et l'Intelligence Artificielle : Raisonnements&Algorithmes

Editions universitaires europeennes (26-04-2016 )

Books loader

Omni badge éligible au bon d'achat
ISBN-13:

978-3-639-50943-4

ISBN-10:
3639509439
EAN:
9783639509434
Langue du livre:
Français
texte du rabat:
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 œuvre 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.
Maison d'édition:
Editions universitaires europeennes
Site Web:
http://www.editions-ue.com/
de (auteur) :
Mustapha BELAISSAOUI
Numéro de pages:
148
Publié le:
26-04-2016
Stock:
Disponible
Catégorie:
Informatique, IT
Prix:
55.90 €
Mots-clés:
intelligence artificielle, modale, Raisonnement temporel, Logique classique, réifiée, Problèmes de Satisfaction de Contraintes.

Books loader

Lettre d'information

Adyen::diners Adyen::jcb Adyen::discover Adyen::amex Adyen::mc Adyen::visa Adyen::cup Adyen::unionpay Adyen::paypal Paypal CryptoWallet Virement bancaire

  0 produits dans le panier
Modifier le contenu du panier
Loading frontend
LOADING