L’intelligence artificielle symbolique correspond aux techniques d'IA basées sur des représentations « symboliques » (lisibles par l’homme) de haut niveau.

Les logiques de description aussi appelé logiques descriptives (LD) sont utilisés en intelligence artificielle pour décrire et raisonner sur les concepts pertinents d'un domaine d'application (connu sous le nom de connaissance terminologique).

La logique par défaut est une logique non monotone proposée par Raymond Reiter pour formaliser le raisonnement avec les hypothèses par défaut.

Un système d'argumentation est un moyen pour un agent de gérer des informations conflictuelles et d'en tirer des conséquences.