Le raisonnement automatisé consiste à créer des programmes informatiques qui permettent aux ordinateurs de raisonner complètement, ou presque, automatiquement. Bien que la synthèse automatisée soit considérée comme un sous-domaine de l’intelligence artificielle, elle a également des liens avec l'informatique théorique, voire la philosophie.