Logica, significato e intelligenza artificiale
Pagine: 336
ISBN: 9788820487133
Edizione: 1a edizione 1994
Codice editore: 490.41
Disponibilità: Esaurito
Le nostre spedizioni verranno sospese per la pausa natalizia dal 17 dicembre al 6 gennaio (inclusi).
Gli ordini ricevuti dopo il 18 verranno evasi a partire dal 7 gennaio 2026.
Gli ordini ricevuti dopo il 18 verranno evasi a partire dal 7 gennaio 2026.
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
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
