Dai filosofi greci fino ad oggi, la comprensione dei processi mentali alla base delle decisioni umane è sempre stata oggetto di dibattito e di studio.

Fin dalla sua nascita, la ricerca sull’Intelligenza Artificiale ha cercato di trovare strumenti e tecniche per trasferire tali concetti nelle macchine.

In questo contesto, ci concentriamo in particolare su:

Teoria del Primo Ordine

Modellazione Basata su Regole

Logica Probabilistica & Ragionamento in Condizioni di Incertezza

Programmazione Logica