Logica per la rappresentazione della conoscenza nei sistemi esperti

Gli orizzonti aperti dall'Intelligenza Artificiale hanno portato ad una rivalutazione della Logica Simbolica. Qui si descrivono le nozioni e i principi della Logica utilizzata dai Sistemi Esperti, e si discute sul ruolo che essa assume nella rappresentazione della conoscenza e nelle forme di ragionamento comunemente adottate.