Intelligence Artificielle – Informatique COURS TD TP EXAMENS
Intelligence Artificielle – Cours
Intelligence Artificielle est l’application de logiciels et de techniques de programmation mettant en lumière les principes de l’intelligence en général, et de la pensée humaine en particulier.
L’intelligence artificielle peut être définie comme la tentative d’obtenir des machines comme celles qu’on voit dans les films.
Quelques objectifs de l’Intelligence Artificielle
• réagir avec discernement à des situations nouvelles,
• tirer profit de circonstances fortuites,
• discerner le sens de messages ambigus ou contradictoires,
• juger de l’importance relative de différents éléments d’une situation,
• trouver des similitudes entre des situations malgré leurs différences,
• établir des distinctions entre des situations malgré leurs similitudes,
• synthétiser de nouveaux concepts malgré leurs différences,
• trouver de nouvelles idées,
Définition des Systèmes formels
Un système formel est « un ensemble de données purement abstrait, sans lien avec l’extérieur, qui décrit les règles de manipulation d’un ensemble de symboles traités de façon uniquement syntaxique, c’est-à-dire sans considération de sens (sémantique).
Il est constitué :
1°/ d’un alphabet fini de symboles ;
2°/ d’un procédé de construction des mots du système formel ;
3°/ d’un ensemble d’axiomes qui sont des mots ;
4°/ d’un ensemble fini de règles de déduction qui permettent de déduire d’un ensemble fini de mots un autre ensemble de mots.
Systèmes formels – La Bibliothèque de Babel
La Bibliothèque de Babel est une sphère dont le centre véritable est un hexagone quelconque, et dont la circonférence est inaccessible /…/. Il n’y a pas, dans la vaste Bibliothèque, deux livres identiques. De ces prémisses incontournables, il déduisit que la Bibliothèque est totale, et que ses étagères consignent toutes les combinaisons possibles des vingt et quelques symboles orthographiques (nombre, quoique très vaste, non infini), c’est-à-dire tout ce qu’il est possible d’exprimer, dans toutes les langues. Tout : l’histoire minutieuse de l’avenir, les autobiographies des archanges, le catalogue de la Bibliothèque, des milliers et des milliers de catalogues mensongers, la démonstration de la fausseté de ces catalogues, la démonstration de la fausseté du catalogue véritable /…/. »
Systèmes Experts
Les systèmes experts ont pour but de modéliser puis de simuler, dans un logiciel, le savoir – ou le “savoir-faire” – d’un expert humain dans un domaine donné.
Leur champ d’application est vaste : ils permettront par exemple d’aborder des problèmes pour lesquels :
•il n’existe pas de solution algorithmique connue, possible ou souhaitable,
•les connaissances mises en œuvre sont de nature intuitive,
•les connaissances mises en œuvre ne sont pas consignées explicitement par écrit,
•il existe de nettes différences de performance entre un individu moyen et un expert,
•les connaissances mises en œuvre sont de nature qualitative plutôt que quantitative,
•les connaissances mises en œuvre sont en évolution rapide et constante,
•la résolution implique des coûts élevés,
•la résolution se fait dans des conditions difficiles, voire stressantes,
•les données sont imprécises, voire incomplètes, …
Les composantes des systèmes Experts
- La base de faits
- La base de règles
- Les métarègles et la métaconnaissance
- La représentation des connaissances incertaines
Plan du cours de l’Intelligence Artificielle
- Champ de l’IA
- Historique
- Systèmes Formels
- Langage Prolog
- Systèmes Experts
- Constraints Satisfaction Problems
