Méthodes et règles de décisions par la logique
Durée : 28 heures – Évaluations : Travaux Pratiques + Projet
Présentation
Ce cours s’adresse à tout architecte informatique pour construire des modèles de développement proches de la machine. Il reconsidère la programmation habituelle pour obliger à prendre du recul par rapport aux abstractions demandées et de repenser sa manière de programmer. Une fois les données définies, filtrées, nettoyées, l’architecte en data scientist pourra faire les pré-traitements sur les domaines pour introduire les règles et contraintes avant de faire ses modèles automatiques de résolution et d’apprentissage.
La formation vise à fournir une compétence et connaissance essentielle pour l’architecte informatique pour savoir adapter sa programmation en fonction des demandes de traitements et des données. Dans le parcours d’un informaticien, un data scientist, un architecte IA, etc.. il est indispensable de connaître toutes les programmations pour réaliser la meilleure solution au bon moment. Nous pouvons toujours utiliser les mêmes langages, les mêmes méthodes, les mêmes algorithmes, mais, il est regrettable de perdre du temps en voulant adapter des concepts qui ne sont pas prévus pour le faire. Les moteurs d’inférences qu’offre cette programmation par contraintes sont utiles et utilisés pour faire des systèmes de déduction efficace, et donc savoir les maîtriser permet d’introduire plus d’envergure lors de la réalisation de projets complexes.
Titulaire d'un Doctorat en Informatique, Systèmes et Communication à l'Université Grenoble-Alpes, le Dr PACHON s'est spécialisé dans l'enseignement supérieur notamment sur la thématique de l'Intelligence Artificielle. Il est concepteur et modéliste d'agents communicants ce qui lui a permis également de faire de la robotique ; où il conçoit les projets portés au FabLab du Campus de Molsheim. Enfin, le Dr PACHON encadre les travaux de rédaction des Mémoires de fins d'études de nos étudiants en 5ème année.
Objectifs pédagogiques
- Comprendre les principes fondamentaux de l’Intelligence Artificielle symbolique, son évolution historique, ses enjeux actuels et ses principales applications
- Maîtriser la logique du premier ordre, ses concepts clés, sa sémantique, ainsi que les techniques de raisonnement logique et de résolution de systèmes pour inférer de nouvelles connaissances
- Acquérir les bases de la programmation en Prolog, notamment la syntaxe, la résolution, la gestion de bases de données, et développer des compétences pratiques à travers des exercices
- Approfondir la résolution de problèmes logiques en utilisant Prolog, et comprendre l’intégration de la programmation logique avec d’autres langages, en particulier Python
- Découvrir les systèmes experts, leurs composants, la représentation des connaissances par règles logiques, et les méthodes d’inférence telles que le Forward Chaining et le Backward Chaining
Plan du module
- Introduction et contexte (7 heures)
- Introduction générale à l’IA symbolique
- La logique en IA
- Aborder la conception logique déclarative
- Raisonnement logique
- Résolution de systèmes par prédicats
- Programmation Prolog (7 heures)
- Introduction à Prolog
- Base de connaissances et résolution automatique
- Approfondissement de la Programmation Logique et Intégration avec d’autres langages (7 heures)
- Résolution de problèmes logiques
- Lien entre Prolog et Python (Pragma)
- Introduction aux systèmes experts (7 heures)
- Définition et architecture
- Représentation des connaissances
- Distribution et explication d’un projet Chabot/Système Expert
Bibliographie et ressources
- L’intelligence artificielle expliquée simplement (Patrice rey, éditeur : BoD – Books on Demand – Frankreich, ISBN : 9782322524310, 232252431X – 2024)
- Logic Programming, Fundamentals and Applications (Fouad Sabry, éditeur : One Billion Knowledgeable, format : Livre numérique – 2023)
- Logique pour l’informatique (Mathieu Jaume, Matthieu Journault, Marie-Jeanne Lesot, Pascal Manoury, éditeur : éditions Ellipses, ISBN : 9782340044920, 2340044928 – 2020)
Ce module fait partie de notre parcours Mastère Intelligence Artificielle (Bac+5) en première année.
Plutôt envie de découvrir ce module en immersion avant de vous inscrire ?
Participez à une de nos prochaines journées découvertes.