Logica, significato e intelligenza artificiale

Marcello Frixione

Logica, significato e intelligenza artificiale

Edizione a stampa

36,50

Pagine: 336

ISBN: 9788820487133

Edizione: 1a edizione 1994

Codice editore: 490.41

Disponibilità: Esaurito

Il libro tratta dei rapporti fra le teorie logico-formali del significato in filosofia del linguaggio e l'intelligenza artificiale di orientamento logico.

Questi due settori si sono sviluppati lungo linee in parte parallele, seguendo però direzioni opposte: la semantica formale si è mossa verso l'intelligenza artificiale e l'intelligenza artificiale simbolica si è evoluta in direzione della logica.

Ciò ha comportato una sinergia tra i due settori, ma ha anche posto problemi che vale la pena di metter in luce.

Scopo del libro è indagare alcuni aspetti delle relazioni che sussistono fra i due settori di ricerca, mostrando come il loro rapporto, lungi dall'essere circolare, sia fonte di promettenti sviluppi.

• Prefazione

PARTE I

• Lo sviluppo della semantica modellistica: da Frege a Montague
* L'eredità di Frege
* La formalizzazione del concetto di riferimento: il contributo di Tarski
* Intensioni e mondi possibili

• Dalla semantica modellistica alla semantica cognitiva
* I limiti del paradigma modellistico
* Verso la semantica cognitiva

• Logica e intelligenza artificiale
* I modelli computazionali simbolici della mente dalle macchine di Turing all'intelligenza artificiale
* Logistici e anti-logici

PARTE II

• L'evoluzione delle reti semantiche
* Il modello di Quillian
* Dopo Quillian
* Prototipi ed eccezioni
* Whats in a link
* La logica dei frame

• La dinastia di KL-ONE: reti semantiche per la conoscenza terminologica
* Le reti KL-ONE
* KL-ONE e calcolo dei predicati del primo ordine
* Dalle reti semantiche alle logiche terminologiche



• Frame, reti semantiche e ragionamento non monotono
* La formalizzazione del ragionamento non monotòno: la circumscription
* Altre logiche per il ragionamento non monotòno
* Semantica preferenziale delle logiche non monotòne
• Rappresentazione dei concetti lessicali: nient'altro che postulati di significato?
* Frame, reti semantiche e logica: la «tesi di Hayes»
* Nient'altro che postulati di significato?

PARTE III

• Logiche modali epistemiche e mondi possibili
* Logica epistemica, onniscienza logica e intelligenza artificiale
* Strutture di Kripke per la logica del credere
* Modelli minimali e ragionamento epistemico

• Credere enunciati
* Modelli sintattici per gli atteggiamenti proposizionali
* Il sistema di Konolige

• Credenze esplicite e mondi non classici
* La logica della credenza esplicita ed implicita di Levesque
* Estensioni e sviluppi della logica di Levesque

• Tre logiche per il ragionamento epistemico limitato
* Una logica della consapevolezza
* Una logica della consapevolezza generalizzata
* Una logica per il ragionamento locale
* I diversi volti della credenza esplicita

PARTE IV

• Logica, significato, competenza e comprensione
* Semantica lessicale, simboli e riferimento
* Un paradigma modellistico «liberalizzato»
* Rappresentazioni finite e trattabilità computazionale
* I paradossi della competenza semantica
* Significato, competenza, comprensione

• Bibliografia



Collana: Epistemologia

Argomenti: Bioetica - Epistemologia - Filosofia della scienza

Livello: Studi, ricerche

Potrebbero interessarti anche