I GRAFI CONCETTUALI
Contenuto
INTRODUZIONE
Definizione
Esempio di Realazioni di Diversa Arità
Esempio di Grafo Concettuale
LA GERARCHIA DEI TIPI, I REFERENTI E LE RELAZIONI
Tipi di Concetti e Gerarchia dei Tipi
Alcune Proprietà della Gerarchia dei Tipi
Concetti Individuali e Tipi
Individui Specifici
Marker
Distinzione fra Individuo e Nome
Marker Generici e Variabili
Relazioni Concettuali
LA BASE CANONICA
Base Canonica
Grafi Canonici
Definizioni di Tipo
Definizioni di Relazioni
OPERAZIONI SUI GRAFI CONCETTUALI
Operazioni sui CG
Copia
Restrizione
Esempio di restrizione
Join
Esempio di Join
Semplificazione
Specializzazioni e Generalizzazioni
Usi Combinati delle Operazioni
Esempio di Join Massimo
Espansione
Contrazione
Algoritmo di Generalizzazione
GRAFI CONCETTUALI E CALCOLO DEI PREDICATI
Potenza Espressiva dei due Formalismi
Nodi Proposizionali
Esempio
La Negazione
La Quantificazione
Quantificazione Universale mediante Not
Trasformazione dei Garfi Concettuali in espressioni del Calcolo dei Predicati
Esempio di trasformazione
VALUTAZIONI CONCLUSIVE
Metodologia di Costruzione dei Grafi Concettuali
cont.
Esercizi
Applicazioni dei CG
Valutazioni sui CG
Bibliografia
Posta elettronica tasso@dimi.uniud.it