Cours Intelligence Artificielle (historique, logiques et résolutions)