Intelligence artificielle, raisonnement sur les connaissances, planification et logique