DALLA PROGRAMMAZIONE LOGICA ALLA RAGIONE UMANA:

Titolo originale:

FROM LOGIC PROGRAMMING TO HUMAN REASONI:

Contenuto del libro:

Gli esperimenti psicologici hanno dimostrato che gli esseri umani fanno ipotesi che non sono necessariamente valide, poiché sono influenzati dalle loro conoscenze di base e ragionano in modo non monotono. Queste osservazioni dimostrano che la logica classica non è adeguata a modellare il ragionamento umano.

Invece di assumere che gli esseri umani non ragionano affatto in modo logico, l'autore ritiene che gli esseri umani non ragionino necessariamente secondo la Logica Classica. L'autore studia la Semantica del completamento debole, un nuovo approccio di programmazione logica non monotonica basato sulla Logica di ukasiewicz a tre valori, e lo applica alla formalizzazione di noti compiti di ragionamento umano. Un risultato sorprendente è che la Semantica del Completamento Debole ottiene risultati migliori di qualsiasi altra teoria cognitiva.

Nel complesso, questa pubblicazione mostra un possibile percorso per colmare il divario tra le scienze cognitive e la logica computazionale, basandosi su precedenti approcci formali e modellando i risultati di esperimenti psicologici all'interno di una teoria cognitiva.