Branca dell'intelligenza artificiale che studia le modalità del ragionamento umano, definendo simbolismi o linguaggi che permettano di formalizzare la conoscenza al fine di renderla comprensibile alle macchine