1. Littérature générale
  2. Essais littéraires

EAN13
9783639509434
Éditeur
Univ Européenne
Date de publication
1 novembre 2018
Collection
OMN.UNIV.EUROP.
Nombre de pages
148
Dimensions
22 x 15 x 0,9 cm
Poids
228 g
Langue
fre

La Logique Et L'Intelligence Artificielle : Raisonnements&Algorithmes

Mustapha Belaissaoui

Univ Européenne

Prix public : 55,90 €

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.
Trouver ou

Offres