L'Intelligence Artificielle Symbolique vise à reproduire et automatiser la Représentation des Connaissances et le Raisonnement au moyens de formalismes tels que la Logique, les ontologies ou encore le web sémantique. En particulier, l'Intelligence Artificielle Symbolique trouve son utilité dans des domaines ou les connaissances en causes sont complexes et parfois fragmentées comme c'est le cas pour la fusion et la révision de connaissances.