Intelligenza artificiale/Rappresentazione della conoscenza
La rappresentazione della conoscenza è quella branca della matematica che si preoccupa di definire dei linguaggi che permettano di formalizzare la conoscenza al fine di potervi fare dell'inferenza. Lo studio della rappresentazione della conoscenza è fondamentale per l'intelligenza artificiale dato che questa prevede l'utilizzo delle precedenti conoscenze per migliorare e affinare le tecniche di risoluzione dei problemi. Senza un adeguato metodo di memorizzazione della conoscenza molte tecniche dell'intelligenza artificiale sarebbero inutili o molto limitate dato che non sarebbero in grado di apprendere dagli stimoli esterni e quindi non potrebbero evolversi.
Esistono principalmente due metodologie per rappresentare la conoscenza: