Un système à base de connaissances s'appuie sur des connaissances relatives à un domaine donné pour résoudre des problèmes se posant dans ce domaine. Pour concevoir un tel système, il faut mettre au point des formalismes de représentation des connaissances et de raisonnement qui permettent de prendre en compte les niveaux syntaxique et sémantique des connaissances du domaine considéré. Dans ce chapitre, la problématique des systèmes à base de connaissances est tout d'abord introduite, puis sont détaillés des formalismes de représentation logiques (calculs des propositions et prédicats), le langage Prolog, les systèmes à base de règles et enfin les logiques de descriptions. Le chapitre se termine par un tour d'horizon des systèmes de référence et des domaines d'application dans lesquels ils opèrent.