La Logique et l'Intelligence Artificielle : Raisonnements&Algorithmes
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.
BELAISSAOUI Mustapha, Enseignant-chercheur et Responsable du Master Management du Système d'Information et de Communication, ENCG, UH1, SETTAT, Maroc.Président de l'Association Marocaine pour la Promotion du Logiciel Libre (AMP2L).Auteur de plusieurs œuvres en Intelligence Artificielle, en particulier, le Raisonnement Temporel et les CSPs.
Fiche technique
- Auteur
- MUSTAPHA BELAISSAOUI
- Langue
- Français
- Éditeur
- Éditions universitaires européennes
- Année
- 2016
- Pays
- Maroc
30 autres produits dans la même catégorie :
Voir toutLe Web Sémantique et l'Ontologie GOODRELATIONS en Commerce connecté
- Nouveau
Etude comparative des performances des méthodes ensemblistes
- Nouveau
Préparation à la cybersécurité de la gouvernance électronique
- Nouveau
Modèle basé sur un algorithme génétique en stéganographie de texte
- Nouveau
Structure des ordinateurs et notion sur la numérisation
- Nouveau
Informatique : Un mot sur la maintenance en milieu d’entreprise
- Nouveau
Prise en charge de l'exacerbation sévère d'asthme chez l'enfant
- Nouveau
La Mise en Place D'une Application Informatique Intelligente
- Nouveau
Intégration d’une API Mobile Money dans une boutique en ligne
- Nouveau
L’informatique en 4ème année Commerciale de Gestion :
- Nouveau
LA GESTION NUMERIQUE D’UNE INSTITUTION DE SANTE FACE A LA REVOLUTIONDE
- Nouveau
Adaptation des IHM en fonction des sentiments des utilisateurs
- Nouveau
Intelligence Economique et Stratégie de l’operateur de téléphonie mobile ORANGE CI
- Nouveau
Qualité de service dans les réseaux maillés sans fil sur MikroTik
- Nouveau
Génération automatique de service web depuis ReLEL selon la méthodologie Praxeme
- Nouveau
DIMENSIONNEMENT ET DÉPLOIEMENT D'UN RÉSEAU LoRa SUR UN CAMPUS
- Nouveau
Conception et réalisation d’un système de recommandation
- Nouveau