00:00Le cours de méthodes et de règles de décision par la logique
00:03concerne l'intelligence artificielle,
00:06dans le sens où, au départ, nous avons un domaine,
00:09nous avons des contraintes,
00:10et on voudrait que le système de lui-même puisse prendre des décisions.
00:14Prendre des décisions, ce sont des règles à partir des faits.
00:18Comme des systèmes experts, comme des systèmes mécaniques,
00:20on va utiliser la puissance mathématique pour pouvoir obtenir un résultat.
00:25L'avantage de ces cours, c'est qu'on pourra utiliser des règles,
00:29des suites, des méthodes avérées par les mathématiques,
00:32et donc toujours juste.
00:33Et donc, ça signifie que nos problèmes de décision
00:36seront justes en fonction des éléments que l'on va mettre en place.
00:40Notre rôle, c'est de garantir que les faits,
00:44que les règles sont cohérents pour pouvoir obtenir le résultat.
00:48Avec des méthodes de théorie des graphes,
00:50nous allons pouvoir obtenir un résultat précis
00:52lorsque l'on prendra une décision au niveau de ces méthodes.
