Branche de l'intelligence artificielle qui traite des modèles de représentation de l'information, ou des connaissances, dans le but de former des hypothèses et de produire des inférences. Les connaissances sont classées par typologies : toujours vraies (un carré est un polygone qui possède quatre côtés), incertaines/certaines, évolutives…