L'intelligence artificielle (IA) a vu son importance économique s'accroître considérablement. Ce sujet relève d'activités humaines communément liées à l'intelligence (perception, prise de décision, interprétation de données, compréhension du langage…) et met en jeu l’exploitation d'une grande quantité de connaissances. Les trois grandes approches (symbolique, connexionniste et statistique) sont à la base des systèmes actuels. La conception de systèmes à bases de connaissances (SBC) capables de réaliser des fonctions de raisonnement symbolique semble actuellement focaliser une part importante des recherches. De tels systèmes nécessitent en particulier un mode de représentation adéquat des connaissances utiles ainsi que des mécanismes efficaces d'exploitation de ces connaissances ou de raisonnement.