E-BOOK: our ebooks have changed DRM, what will happen now?

Messaggi e comunicazione

Oscar Bettelli

Messaggi e comunicazione

Trasformazioni delle simiglianze in programmazione logica

Pages: 304

ISBN: 9788846438690

Edition: 1a edizione 2002

Publisher code: 720.77

Availability: Discreta

Il testo rappresenta un lavoro originale di sintesi e innovazione nel campo della programmazione logica. In particolare viene definito il concetto di simiglianza matematica tra insiemi astratti, il che consente di generare quelle operazioni di classificazione che sono di fondamentale interesse nei processi cognitivi. Il percorso che il lettore è invitato a seguire parte dalla rappresentazione della conoscenza per affrontare la formalizzazione dei principali concetti in termini di logica matematica seguendo i canoni della logica come sistema deduttivo per giungere alla programmazione in termini di regole formali.

Viene inoltre illustrato come le regole di deduzione di un sistema formale possano essere interpretate come trasformazioni matematiche generali in spazi astratti. Seguendo questo filo logico viene presentata una logica a quattro valori che consente il ragionamento non monotonico in un sistema deduttivo di carattere generale.

Oltre ad essere un valido testo di riferimento per la programmazione logica matematica il lettore vi può trovare interessanti spunti ed osservazioni per future ricerche.

Oscar Bettelli laureato in fisica teorica nel 1980 si occupa di informatica in ambito industriale maturando esperienze diversificate nel campo dei sistemi informatici aziendali. Ha pubblicato Dati, Relazioni e Associazioni (1991, Apogeo editore); Macchine intelligenti (1997, Arpa publishing); Sincronicità: un paradigma per la mente (1998, ANTITESI editoria); Processi cognitivi (2000, CLUEB Editore). Dal 1991 lavora presso il centro di calcolo dell'Università di Bologna.


 Rappresentazione della conoscenza
 (Messaggi e comunicazione; Rappresentazione simbolica)
Il concetto di somiglianza
 (Induzione di una metrica su insiemi; Definizione di una metrica associativa; Il processo di inferenza; Il trattamento dell'incertezza)
Il processo di astrazione
 (Principali meccanismi di astrazione; Il processo di categorizzazione; Algoritmi genetici)
I criteri di classificazione
 (Sistemi di classificazione; Teoria matematica della classificazione)
Logica matematica
 (La logica proposizionale; Semantiche della logica proposizionale; Teorie proposizionali; Logica proposizionale come sistema deduttivo; Logica classica del primo ordine; Linguaggi della logica del primo ordine; Semantica della logica del primo ordine; Teorie del primo ordine; Logica del primo ordine come sistema deduttivo; Logica del primo ordine multi-ordinata; Il metodo di risoluzione; La forma in clausole; Le regole di risoluzione; Soluzione lineare; Logica classica del secondo ordine; Linguaggi logici del secondo ordine; Semantica della logica del secondo ordine; Teorie del secondo ordine; Sistemi di deduzione per la logica del secondo ordine; Espressioni con predicati e funzioni; Logica modale; Logica proposizionale modale; Logica modale del primo ordine)
Programmazione logica
 (Ragionamento non monotonico; Clausole di Horn; Metodo di risoluzione SLD; Semantica di un linguaggio di programmazione; Base di conoscenza basata sulla logica dei predicati; Un filtro prolog)
Trasformazione delle somiglianze
 (Descrizione di oggetti come insieme di attributi; La funzione di appartenenza ad insiemi sfumati; Rappresentazione tramite proprietà; Implicazione semantica; Definizione di un'algebra sulle proprietà; Ruolo delle irrilevanze nella formazione dì concetti; Simiglianze nel caso di corrispondenza biunivoca; Corrispondenze, trasformazioni, simiglianze; Costruzione di una metrica sull'insieme dei naturali; Sistemi di deduzione basati su regole; Logiche a più di due valori; Logica modale non monotonica intuizionista; Logica modale non monotonica a tre valori; Logica modale non monotonica a quattro valori; Rappresentazione in uno spazio vettoriale binario; Sistemi ipotetici in comunicazione reciproca; Trasformazioni T da |P(X) a |P(X); Rappresentazioni di regole tramite corrispondenze; Sistemi di regole ricavabili da corrispondenze; Leggi di riduzione dei sistemi di regole; Equivalenza di sistemi di regole; Definizione di trasformazioni particolari; Misura dell'affidabilità delle deduzioni; Interpretazione statistica dell'affidabilità; Generalizzazione operazioni OR AND XOR; Implicazione semantica di raggruppamento; Conclusioni)

Serie: Informatica

Level: Books for Professionals