C'est pour permettre au groupe d'harmoniser un minimum ses connaissances sur le sujet. Nous reprendrons ici les fondements logiques de l'IA, le principe de résolution de problème, d'inférence, de moteur d'inférences. L'approche logique sera "discutée". La résolution de problème par les approches combinatoires fait l'objet d'un autre cours de la filière et sera donc présentée seulement dans ses enjeux.
43 Session Connaissance et représentation de la connaissance 1
Dans le cadre de l'inférence logique, de nombreux travaux sur la représentation de la connaissance ont abouti à des formalismes et des langages de représentation. Nous en reprendrons le fil pour en montrer tout à la fois la puissance d'expression et de calcul et les limites cognitives qu'elles montrent. La notion de réseau sémantique sera abordé à cette occasion.
