Lo studente che segue questo profilo, acquisice le conoscenze fondamentali per il trattamento algoritmico di informazione simbolica, quando questa viene utilizzata per rappresentare conoscenza di dominii specifici. In particolare lo studente approfondisce: le problematiche relative all'automazione dei processi inferenziali nei sistemi logici, anche attravero la definizione di complessità di algoritmi per il trattamento di informazione definita in ambito logico; le tecniche e i metodi per la rappresentazione della conoscenza e per il trattamento di informazione simbolica nella basi di conoscenza al fine di costruire sistemi adatti al supporto alle decisioni umane ed alla simulazione di comportamenti ``intelligenti'' (sistemi esperti).