La logique épistémique et le calcul des situations au service de l’Intelligence artificielle