Plan du site  
français  English
pixel
pixel

Articles - Étudiants SUPINFO

Artificial Intelligence - Logic programming

4AIT 3 chapitres 2 Crédits Niveau Intermédiaire

Introduction

Le cours présente des aspects syntaxiques, sémantiques (Syllogismes, tautologies, ...) et déductifs (conséquence logique, principe de résolution, ....). Il est une introduction pour répondre aux problèmes combinatoires (déduction de positionnement dans des jeux, ...), de planification, d’ordonnancement (tâches dédiées), en utilisant le principe de résolution au travers de démonstrations par réfutation, pour obtenir les valeurs des variables éventuelles. L’aspect non- déterministe de la programmation logique et sa sémantique déclarative permettent la séparation entre représentation du problème et résolution du problème.
Nous verrons que l'exécution d'un programme logique, c’est l'exploration d'un arbre de dérivations dont la racine est la négation d’une clause à démontrer et les feuilles sont des clauses vides. Chaque branche est guidée par un algorithme d'unification.
Les principes d’unification permettent de générer et de lier les valeurs et les différentes données participantes à une déduction (branche).

 

Le cours révise donc les principes de récursivité, de parcours en profondeur et en largeur ce qui constituent nos stratégies d'exploration. Le but d’une bonne exploration (de la conception même d’un bon programme logique) sera de limiter le nombre d'échecs pour en garantir son efficacité de déductions.

Chemin d'apprentissage

    Objectifs

    • Concevoir du parcours et de la recherche logiques
    • Programmer en Prolog
    • Faire de la preuve logique
    • Avoir une approche pour faire de la programmation logique

    Contenu du cours

    • Formalismes et concepts

      Cours : 270 min - Labs : 210 min
    • Programmation logique

      Cours : 360 min - Labs : 360 min
    • Agents et jeux

      Cours : 120 min - Labs : 120 min

    Ressources

    Pour les Advanced Members (Inscrits à un cursus ou titulaires du statut)

    Ces ressources sont une sélection utile d'un ensemble très riche de plus de 20.000 livres et vidéos de cours issus des plus grandes maisons d'édition et des meilleurs experts internationaux mis en accès illimité à la disposition des inscrits à SUPINFO International University disposant du statut "Advanced Member". Toute personne inscrite à un cursus SUPINFO dispose automatiquement de ce statut.Si vous n'êtes pas déjà authentifié sur les sites des bibliothèques de ressources SUPINFO, soit avec vos identifiants dédiés soit en passant par librairies.supinfo.com, l'usage des liens ci-dessous ne vous donnera accès qu'à un aperçu des ouvrages. Devenez Advanced Member

    Vous débutez : Comment bien commencer avec les cours SUPINFO

    Vérifiez
    les pré-requis

    Nos cours font partie intégrante d’un parcours d’apprentissage cohérent. Pour aborder de manière sereine un cours nous vous conseillons de vérifier les pré-requis nécessaires. Ils sont mentionnés dans chaque en début de chaque fiche de cours.

    Maîtrisez
    votre temps

    Chaque cours est découpé en chapitre avec un timming associé. Cette planification pédagogique a été conçue pour vous aider à mieux assimiler vos nouvelles connaissances.

    Préparez votre
    équipement

    Pour suivre ce cours vous avez besoin de ressources logicielles spécifiques. N’oubliez pas de télécharger les logiciels nécessaires avant de commencer votre cours. Reportez-vous à la section « Contenu de cours ».

    Vous révisez : Appliquez et développez vos connaissances

    Vérifiez
    vos connaissances

    Pour chaque chapitre de ce cours vous trouverez des Labs élaborés pour mettre en pratique vos nouvelles connaissances. Ces entraînements sont fondamentaux pour comprendre et assimiler votre cours.

    Echangez
    et partagez

    Sur le Forum officiel de SUPINFO, chaque cours a une partie dédiée où toute la Communauté se retrouve pour aborder la matière. Vous pouvez poser vos questions et demander de l’aide en cas de besoin.

    Approfondissez
    et découvrez

    Les SUPINFO Advanced Member ont accès à des ressources pédagogiques complémentaires pour approfondir leurs connaissances. Des centaines de milliers de livres et vidéos sont ainsi accessibles avec des plateformes prestigieuses.

    Vous maitrisez le cours : Certifiez vous et obtenez des crédits ECTS

    Suivez un Cursus SUPINFO

    En vue d'obtenir un titre Bac+2 d'Associate of Science (A.Sc.) en fin de 2ème année, le titre A.Sc. peut être complété par une année de Bachelor of Science (titre B.Sc. Bac+3), puis par deux années de Master* Of Science (M.Sc. Bac+5)

    Découvrez prochainement nos offres de certification.

    Obtenez une certification et des crédits ECTS* à l'issue de ce cours

    Grâce à l'enseignement de SUPINFO que vous venez de suivre, vous aurez la possibilité de vous certifier en vous inscrivant à l'une de nos session d'évaluation.

    Découvrez prochainement nos offres de certification.

    Vous contribuez : publications remarquées de la communauté

    Vous souhaitez soumettre du contenu de qualité ?
    N'hésitez pas à entrer en contact avec votre Campus Manager concernant les modalités de Knowledge Sharing (KWS).

    A propos de SUPINFO | Contacts & adresses | Enseigner à SUPINFO | Presse | Conditions d'utilisation & Copyright | Respect de la vie privée | Investir
    Logo de la société Cisco, partenaire pédagogique de SUPINFO, la Grande École de l'informatique, du numérique et du management Logo de la société IBM, partenaire pédagogique de SUPINFO, la Grande École de l'informatique, du numérique et du management Logo de la société Sun-Oracle, partenaire pédagogique de SUPINFO, la Grande École de l'informatique, du numérique et du management Logo de la société Apple, partenaire pédagogique de SUPINFO, la Grande École de l'informatique, du numérique et du management Logo de la société Sybase, partenaire pédagogique de SUPINFO, la Grande École de l'informatique, du numérique et du management Logo de la société Novell, partenaire pédagogique de SUPINFO, la Grande École de l'informatique, du numérique et du management Logo de la société Intel, partenaire pédagogique de SUPINFO, la Grande École de l'informatique, du numérique et du management Logo de la société Accenture, partenaire pédagogique de SUPINFO, la Grande École de l'informatique, du numérique et du management Logo de la société SAP, partenaire pédagogique de SUPINFO, la Grande École de l'informatique, du numérique et du management Logo de la société Prometric, partenaire pédagogique de SUPINFO, la Grande École de l'informatique, du numérique et du management Logo du IT Academy Program par Microsoft, partenaire pédagogique de SUPINFO, la Grande École de l'informatique, du numérique et du management

    SUPINFO International University
    Ecole d'Informatique - IT School
    École Supérieure d'Informatique de Paris, leader en France
    La Grande Ecole de l'informatique, du numérique et du management
    Fondée en 1965, reconnue par l'État. Titre Bac+5 certifié au niveau I.
    SUPINFO International University is globally operated by EDUCINVEST Belgium - Avenue Louise, 534 - 1050 Brussels