Marcello Frixione
LOGICA, SIGNIFICATO E INTELLIGENZA
ARTIFICIALE
Franco Angeli, Milano, 1994
ISBN : 88-204-8713-6
Poiché il volume non risulta più reperibile in commercio,
lo metto a disposizione on line in formato elettronico.
Prefazione
PARTE I
cap. 1 - Lo sviluppo della semantica modellistica
da Frege a Montague
cap. 2 - Dalla semantica modellistica alla
semantica cognitiva
cap. 3 - Logica e intelligenza artificiale
PARTE II
cap. 4 - L'evoluzione delle reti semantiche
cap. 5 - La dinastia di KL-ONE: reti semantiche
per la conoscenza
cap. 6 - Frame, reti semantiche e ragionamento
non monotòno
cap. 7 - Rappresentazione dei concetti
lessicali: nient'altro che postulati di significato?
PARTE III
cap. 8 - Logiche modali epistemiche e mondi
possibili
cap. 9 - Credere enunciati
cap. 10 - Credenze esplicite e mondi non
classici
cap. 11 - Tre logiche per il ragionamento
epistemico limitato
PARTE IV
cap. 12 - Logica, significato, competenza
e comprensione
Bibliografia
Questo articolo, che è apparso
nel volume La svolta contestuale, a cura di Carlo Penco,
McGraw-Hill Italia, 2002, costituisce una sintesi della Parte III,
in cui, rispetto al volume, sono state corrette alcune inesattezze.