LOGICA, SIGNIFICATO E INTELLIGENZA ARTIFICIALE

(Dalla prefazione:) Questo lavoro si propone di contribuire a chiarire alcuni aspetti dei rapporti che sussistono fra le teorie filosofiche del significato di impostazione logico-modellistica e l'intelligenza artificiale (IA) di orientamento logico. In anni recenti alcuni filosofi del linguaggio hanno tentato di individuare una risposta a problemi difficilmente affrontabili all'interno del paradigma logico modellistico facendo riferimento alle ricerche svolte nell'ambito della scienza cognitiva. In particolare, grande attenzione è stata dedicata ai formalismi e alle tecniche sviluppate in intelligenza artificiale. Contemporaneamente, tuttavia, l'IA, spinta dalla necessità di un maggiore rigore teorico e formale, ha adottato in maniera sempre più massiccia strumenti di tipo logico, e della semantica model teoretica in particolare. Quindi, questi due settori di ricerca si sono sviluppati lungo linee in parte parallele, seguendo però direzioni opposte; questo ha comportato certamente una auspicabile sinergia fra i due settori, ma ha anche posto problemi che vale la pena mettere in luce: talvolta sembra che entrambe le discipline cerchino nel campo dell'altra una soluzione ai problemi che la affliggono, dando origine in questo modo a una sorta di circolo vizioso. Lo scopo di questo lavoro consiste appunto nell'indagine e nel chiarimento di alcuni aspetti dei rapporti che sussistono fra questi due ambiti disciplinari. Tale obiettivo verrà affrontato analizzando i modelli sviluppati in IA in relazione a due settori critici per le teorie filosofiche del significato di impostazione logico-formale, vale a dire la rappresentazione del significato dei simboli primitivi extra logici (o, in altri termini, la rappresentazione del significato lessicale), e i contesti di atteggiamento proposizionale, in particolare i contesti epistemici.