La Rappresentazione della Conoscenza memorie di una mente artificiale Emiliano Giovannetti.
-
Upload
paolo-bevilacqua -
Category
Documents
-
view
228 -
download
6
Transcript of La Rappresentazione della Conoscenza memorie di una mente artificiale Emiliano Giovannetti.
![Page 1: La Rappresentazione della Conoscenza memorie di una mente artificiale Emiliano Giovannetti.](https://reader035.fdocument.pub/reader035/viewer/2022062312/5542eb4c497959361e8b99da/html5/thumbnails/1.jpg)
La Rappresentazione La Rappresentazione della Conoscenzadella Conoscenza
memorie di una mente artificiale
Emiliano Giovannetti
![Page 2: La Rappresentazione della Conoscenza memorie di una mente artificiale Emiliano Giovannetti.](https://reader035.fdocument.pub/reader035/viewer/2022062312/5542eb4c497959361e8b99da/html5/thumbnails/2.jpg)
Importanza della Importanza della conoscenzaconoscenza
- per l’uomo(se non sa come aprire il frigorifero
resta a stomaco vuoto)
- per il calcolatore(se non sa come sommare due interi
sarà sostituito da una calcolatrice)
![Page 3: La Rappresentazione della Conoscenza memorie di una mente artificiale Emiliano Giovannetti.](https://reader035.fdocument.pub/reader035/viewer/2022062312/5542eb4c497959361e8b99da/html5/thumbnails/3.jpg)
Definiamo la Definiamo la rappresentazione della rappresentazione della
conoscenzaconoscenzaE’ lo studio di come sia possibile
rappresentare la conoscenza del mondo e quali tipi di ragionamento possono essere
fatti con tale conoscenza.
rappresentazione ragionamento
![Page 4: La Rappresentazione della Conoscenza memorie di una mente artificiale Emiliano Giovannetti.](https://reader035.fdocument.pub/reader035/viewer/2022062312/5542eb4c497959361e8b99da/html5/thumbnails/4.jpg)
Conoscenza e intelligenza Conoscenza e intelligenza artificialeartificiale
Un sistema, per essere considerato “intelligente” deve poter:
• rappresentare ed elaborare conoscenza “sfumata” e “incompleta”
• risolvere problemi anche in presenza di informazioni frammentarie ed ambigue
• apprendere
![Page 5: La Rappresentazione della Conoscenza memorie di una mente artificiale Emiliano Giovannetti.](https://reader035.fdocument.pub/reader035/viewer/2022062312/5542eb4c497959361e8b99da/html5/thumbnails/5.jpg)
La base di conoscenzaLa base di conoscenza
• contiene la conoscenza del sistema;• a differenza di una base di dati:
– può contenere informazioni parziali
– può essere espressa in un linguaggio simbolico dichiarativo
– permette l’inferenza di nuovi fatti a partire da quelli che vi sono contenuti
![Page 6: La Rappresentazione della Conoscenza memorie di una mente artificiale Emiliano Giovannetti.](https://reader035.fdocument.pub/reader035/viewer/2022062312/5542eb4c497959361e8b99da/html5/thumbnails/6.jpg)
Vogliamo realizzare un Vogliamo realizzare un sistema di IA: che fare?sistema di IA: che fare?
E’ necessario scegliere uno:
schema per la rappresentazione della conoscenza
![Page 7: La Rappresentazione della Conoscenza memorie di una mente artificiale Emiliano Giovannetti.](https://reader035.fdocument.pub/reader035/viewer/2022062312/5542eb4c497959361e8b99da/html5/thumbnails/7.jpg)
Requisiti di uno schema Requisiti di uno schema (1)(1)
• adeguatezza di rappresentazione– per rappresentare tutta la conoscenza
del dominio
• adeguatezza inferenziale– per manipolare la conoscenza
contenuta nel dominio e ricavare nuova conoscenza
![Page 8: La Rappresentazione della Conoscenza memorie di una mente artificiale Emiliano Giovannetti.](https://reader035.fdocument.pub/reader035/viewer/2022062312/5542eb4c497959361e8b99da/html5/thumbnails/8.jpg)
Requisiti di uno schema Requisiti di uno schema (2)(2)
• efficienza inferenziale – per guidare l’inferenza verso le
soluzioni più promettenti
• efficienza di acquisizione– per acquisire facilmente nuova
conoscenza
![Page 9: La Rappresentazione della Conoscenza memorie di una mente artificiale Emiliano Giovannetti.](https://reader035.fdocument.pub/reader035/viewer/2022062312/5542eb4c497959361e8b99da/html5/thumbnails/9.jpg)
I formalismi classiciI formalismi classici
• formalismi procedurali
– sistemi a regole– logica del primo ordine
• formalismi dichiarativi
– reti semantiche– frame
![Page 10: La Rappresentazione della Conoscenza memorie di una mente artificiale Emiliano Giovannetti.](https://reader035.fdocument.pub/reader035/viewer/2022062312/5542eb4c497959361e8b99da/html5/thumbnails/10.jpg)
Sistemi a regoleSistemi a regole- rappresentazione -
Sono costituiti da tre moduli distinti:
1. un insieme di regole di produzione
2. una memoria di lavoro3. un motore inferenziale
(interprete)
![Page 11: La Rappresentazione della Conoscenza memorie di una mente artificiale Emiliano Giovannetti.](https://reader035.fdocument.pub/reader035/viewer/2022062312/5542eb4c497959361e8b99da/html5/thumbnails/11.jpg)
Sistemi a regoleSistemi a regole- ragionamento (1) -
Ogni regola di produzione è composta da:
• un antecedente, che esprime una situazione o premessa;
• un conseguente, che afferma la conclusione da trarre se la premessa è vera
Se antecedente allora conseguente
condizioni azioni
![Page 12: La Rappresentazione della Conoscenza memorie di una mente artificiale Emiliano Giovannetti.](https://reader035.fdocument.pub/reader035/viewer/2022062312/5542eb4c497959361e8b99da/html5/thumbnails/12.jpg)
Sistemi a regoleSistemi a regole- ragionamento (2) -
L’attivazione di una regola comporta una modifica della memoria di lavoro che costituisce la rappresentazione del mondo.
L’interprete ha il compito di riconoscere le premesse vere confrontandole con il contenuto della memoria di lavoro ed eseguire le azioni conseguenti all’attivazione delle regole. Se ci sono più regole attivabili deve risolvere i conflitti.
![Page 13: La Rappresentazione della Conoscenza memorie di una mente artificiale Emiliano Giovannetti.](https://reader035.fdocument.pub/reader035/viewer/2022062312/5542eb4c497959361e8b99da/html5/thumbnails/13.jpg)
Sistemi a regoleSistemi a regole- ragionamento (3) -
Possono generarsi catene di inferenze :
Due metodi per la generazione di catene:
• concatenamento in avanti (forward chaining)
si cerca di arrivare ad una soluzione a partire dai dati iniziali del problema e applicando le regole
• concatenamento all’indietro (backward chaining)
si parte da un obiettivo e si cerca di dimostrarne lacoerenza con i dati iniziali applicando le regole
all’indietro
![Page 14: La Rappresentazione della Conoscenza memorie di una mente artificiale Emiliano Giovannetti.](https://reader035.fdocument.pub/reader035/viewer/2022062312/5542eb4c497959361e8b99da/html5/thumbnails/14.jpg)
Sistemi a regoleSistemi a regole- esempio 1a -
Un esempio “astratto”:
Insieme della regole :
Se “x è una disciplina priva di solidi fondamenti teorici” and “x non fornisce prove empiriche”Allora “x non ha alcun fondamento scientifico”
![Page 15: La Rappresentazione della Conoscenza memorie di una mente artificiale Emiliano Giovannetti.](https://reader035.fdocument.pub/reader035/viewer/2022062312/5542eb4c497959361e8b99da/html5/thumbnails/15.jpg)
Sistemi a regoleSistemi a regole- esempio 1b -
Memoria di lavoro :
1. “L’astrologia è una disciplina priva di
solidi fondamenti teorici”
2. “L’astrologia non fornisce prove empiriche”
![Page 16: La Rappresentazione della Conoscenza memorie di una mente artificiale Emiliano Giovannetti.](https://reader035.fdocument.pub/reader035/viewer/2022062312/5542eb4c497959361e8b99da/html5/thumbnails/16.jpg)
Sistemi a regoleSistemi a regole- esempio 1c -
Il motore inferenziale fa il confronto tra “x”e “astrologia” e attiva la regola: nella
memoriadi lavoro sarà aggiunto il seguente fatto:
3. “L’astrologia non ha alcun fondamento scientifico.”
![Page 17: La Rappresentazione della Conoscenza memorie di una mente artificiale Emiliano Giovannetti.](https://reader035.fdocument.pub/reader035/viewer/2022062312/5542eb4c497959361e8b99da/html5/thumbnails/17.jpg)
Un esempio più concreto: ordinamento di persone (di 3 altezze diverse) per foto di gruppo, dal più basso al più alto, da sinistra a destra.
Sistemi a regoleSistemi a regole- esempio 2a -
Insieme della regole
Strategia per la risoluzione dei conflitti:
• selezionare la prima regola
1)
2)
3)
![Page 18: La Rappresentazione della Conoscenza memorie di una mente artificiale Emiliano Giovannetti.](https://reader035.fdocument.pub/reader035/viewer/2022062312/5542eb4c497959361e8b99da/html5/thumbnails/18.jpg)
Sistemi a regoleSistemi a regole- esempio 2b -
ciclomemoria di lavoro
regole attivabili
regola seleziona
ta
0
1
2
3
4
5
6
1, 2, 3
2
2, 3
1, 3
2
3
0
1
2
2
1
2
3
fine
1)
2)
3)
![Page 19: La Rappresentazione della Conoscenza memorie di una mente artificiale Emiliano Giovannetti.](https://reader035.fdocument.pub/reader035/viewer/2022062312/5542eb4c497959361e8b99da/html5/thumbnails/19.jpg)
Sistemi a regoleSistemi a regole- vantaggi -
- semantica delle regole molto intuitiva
- si adattano a domini di ogni genere
- tramite meta-regole possono fornire spiegazioni per motivare l’attivazione delle regole
![Page 20: La Rappresentazione della Conoscenza memorie di una mente artificiale Emiliano Giovannetti.](https://reader035.fdocument.pub/reader035/viewer/2022062312/5542eb4c497959361e8b99da/html5/thumbnails/20.jpg)
Sistemi a regoleSistemi a regole- … e limiti -
- mal si prestano a modifiche della base di conoscenza
- fase di confronto computazionalmente
molto dispendiosa
![Page 21: La Rappresentazione della Conoscenza memorie di una mente artificiale Emiliano Giovannetti.](https://reader035.fdocument.pub/reader035/viewer/2022062312/5542eb4c497959361e8b99da/html5/thumbnails/21.jpg)
Logica del primo ordineLogica del primo ordine- rappresentazione -
La conoscenza è rappresentata per mezzo di predicati :
assume (Gabriele, vaccino)
Conoscenza iniziale: assiomiConoscenza nuova: teoremi
![Page 22: La Rappresentazione della Conoscenza memorie di una mente artificiale Emiliano Giovannetti.](https://reader035.fdocument.pub/reader035/viewer/2022062312/5542eb4c497959361e8b99da/html5/thumbnails/22.jpg)
Logica del primo ordineLogica del primo ordine- ragionamento -
Per dedurre nuovi teoremi si usano regole di inferenza composte da:
• un insieme di premesse• una conclusione
assume (Paolo, vaccino), omeopatico (vaccino)
prende (Paolo, influenza)
![Page 23: La Rappresentazione della Conoscenza memorie di una mente artificiale Emiliano Giovannetti.](https://reader035.fdocument.pub/reader035/viewer/2022062312/5542eb4c497959361e8b99da/html5/thumbnails/23.jpg)
Logica del primo ordineLogica del primo ordine- vantaggi -
- rappresentazione intuitiva della conoscenza:
“Tutti i pianeti sono attratti dal Sole”diventa
x: pianeta(x) attratto(x, Sole)
- semantica chiara e definita:
ci sono metodi standardizzati per determinare il significato di
un’espressione
![Page 24: La Rappresentazione della Conoscenza memorie di una mente artificiale Emiliano Giovannetti.](https://reader035.fdocument.pub/reader035/viewer/2022062312/5542eb4c497959361e8b99da/html5/thumbnails/24.jpg)
Logica del primo ordineLogica del primo ordine- … e limiti -
- monotòna:
l’aggiunta di un teorema non provoca la cancellazione di un teorema precedente
- inefficiente:
la dimostrazione automatica coinvolge metodi di ricerca di natura esponenziale
![Page 25: La Rappresentazione della Conoscenza memorie di una mente artificiale Emiliano Giovannetti.](https://reader035.fdocument.pub/reader035/viewer/2022062312/5542eb4c497959361e8b99da/html5/thumbnails/25.jpg)
Reti semanticheReti semantiche- rappresentazione (1) -
Una rete semantica è una struttura reticolare composta da nodi ed archi:
• i nodi rappresentano oggetti, concetti
o eventi
• gli archi rappresentano relazioni di vario tipo tra i nodi
![Page 26: La Rappresentazione della Conoscenza memorie di una mente artificiale Emiliano Giovannetti.](https://reader035.fdocument.pub/reader035/viewer/2022062312/5542eb4c497959361e8b99da/html5/thumbnails/26.jpg)
Reti semanticheReti semantiche- un po’ di storia -
• Nascono come modo di rappresentare il significato di parole del linguaggio naturale:
arco = predicato
nodo = soggetto, complemento, ecc.
• Vengono proposte come modello della memoria umana: strutture complesse in relazione tra loroper modellare dipendenza, tipicità, somiglianza, ecc
![Page 27: La Rappresentazione della Conoscenza memorie di una mente artificiale Emiliano Giovannetti.](https://reader035.fdocument.pub/reader035/viewer/2022062312/5542eb4c497959361e8b99da/html5/thumbnails/27.jpg)
Reti semanticheReti semantiche- rappresentazione (2) -
CirilloCirillo
miagolare
miagolare
zoologizoologi
regnoanimaleregno
animale
gattogatto felinofelinoè un è
sa appartiene
studiato da
![Page 28: La Rappresentazione della Conoscenza memorie di una mente artificiale Emiliano Giovannetti.](https://reader035.fdocument.pub/reader035/viewer/2022062312/5542eb4c497959361e8b99da/html5/thumbnails/28.jpg)
Reti semanticheReti semantiche- rappresentazione (3) -
Gli archi "è" ed "è un" costruiscono gerarchie ereditarie e permettono di trarre le seguenti conclusioni:
- Cirillo è un gatto (vero)- Cirillo è un felino (vero)- Un gatto è un felino (vero)
![Page 29: La Rappresentazione della Conoscenza memorie di una mente artificiale Emiliano Giovannetti.](https://reader035.fdocument.pub/reader035/viewer/2022062312/5542eb4c497959361e8b99da/html5/thumbnails/29.jpg)
Reti semanticheReti semantiche- rappresentazione (4) -
Gli altri archi, etichettati come "sa", "appartiene" e "studiato da" forniscono, tra gli altri, i seguenti fatti:
- Cirillo sa miagolare (vero)- Cirillo appartiene al regno animale (vero)- Cirillo è studiato dagli zoologi (non necessariamente vero)
![Page 30: La Rappresentazione della Conoscenza memorie di una mente artificiale Emiliano Giovannetti.](https://reader035.fdocument.pub/reader035/viewer/2022062312/5542eb4c497959361e8b99da/html5/thumbnails/30.jpg)
Reti semanticheReti semantiche- ragionamento -
Le reti semantiche sono spesso utilizzate per:
• rappresentare la memoria di lavoro di un sistema a regole
• rappresentare la base di conoscenza di un sistema esperto
in entrambi i casi la componente inferenziale (esterna alla rete) interroga la rete stessa per estrarre la conoscenza
![Page 31: La Rappresentazione della Conoscenza memorie di una mente artificiale Emiliano Giovannetti.](https://reader035.fdocument.pub/reader035/viewer/2022062312/5542eb4c497959361e8b99da/html5/thumbnails/31.jpg)
Reti semanticheReti semantiche- vantaggi (1) -
- rappresentazione intuitiva e facilmente comprensibile della conoscenza
- sono in grado (diversamente dalla FOL) di gestire conoscenze di default ed eccezioni
![Page 32: La Rappresentazione della Conoscenza memorie di una mente artificiale Emiliano Giovannetti.](https://reader035.fdocument.pub/reader035/viewer/2022062312/5542eb4c497959361e8b99da/html5/thumbnails/32.jpg)
Reti semanticheReti semantiche- vantaggi (2) -
ElefanteElefante
ovipara
ovipara
Mammifero
Mammifero
vivipara
vivipara
Ornitorinco
Ornitorinco
riproduzione
riproduzione
è
è
![Page 33: La Rappresentazione della Conoscenza memorie di una mente artificiale Emiliano Giovannetti.](https://reader035.fdocument.pub/reader035/viewer/2022062312/5542eb4c497959361e8b99da/html5/thumbnails/33.jpg)
Reti semanticheReti semantiche- … e limiti (1) -
• sono poco espressive:
– per rappresentare concetti semplici sono talvolta necessarie reti gigantesche (per questo sono stati introdotti i frame)
• non hanno una semantica formale standardizzata
![Page 34: La Rappresentazione della Conoscenza memorie di una mente artificiale Emiliano Giovannetti.](https://reader035.fdocument.pub/reader035/viewer/2022062312/5542eb4c497959361e8b99da/html5/thumbnails/34.jpg)
Reti semanticheReti semantiche- … e limiti (2) -
- pongono problemi di eredità multipla:
prodottoomeopati
co
prodottoomeopati
co
farmacia
farmacia
acqua o
alcool
acqua o
alcool
farmaco
farmaco
terapeutica
terapeutica
non terapeutica
non terapeutica
principio
attivo
principio
attivo
è a base di
è a base di si trova in
funzione
funzione
vende
![Page 35: La Rappresentazione della Conoscenza memorie di una mente artificiale Emiliano Giovannetti.](https://reader035.fdocument.pub/reader035/viewer/2022062312/5542eb4c497959361e8b99da/html5/thumbnails/35.jpg)
FrameFrame- rappresentazione -
Un frame è una struttura dati formata da coppie:
attributo (slot) + valore (filler)
che descrive una entità del mondo.
• Un filler può essere – un valore specifico– un riferimento ad un altro frame– un valore di default– una procedura da attivare in certi casi (demone)
![Page 36: La Rappresentazione della Conoscenza memorie di una mente artificiale Emiliano Giovannetti.](https://reader035.fdocument.pub/reader035/viewer/2022062312/5542eb4c497959361e8b99da/html5/thumbnails/36.jpg)
FrameFrame- ragionamento -
• Una caratteristica importante è l’ ereditarietà:
• Un frame discendente di un altro frame eredita tutti gli slot e i rispettivi valori
• Sono come i nodi di una rete semantica ma arricchiti da una struttura che individua delle proprietà
![Page 37: La Rappresentazione della Conoscenza memorie di una mente artificiale Emiliano Giovannetti.](https://reader035.fdocument.pub/reader035/viewer/2022062312/5542eb4c497959361e8b99da/html5/thumbnails/37.jpg)
FrameFrame- un esempio -
Il frame di unastanza d’albergoè visto comespecializzazionedel frame stanza .
![Page 38: La Rappresentazione della Conoscenza memorie di una mente artificiale Emiliano Giovannetti.](https://reader035.fdocument.pub/reader035/viewer/2022062312/5542eb4c497959361e8b99da/html5/thumbnails/38.jpg)
FrameFrame- vantaggi -
- permettono rappresentazioni compatte anche di concetti complessi
- piuttosto efficienti da elaborare
- facile gestione dei default
![Page 39: La Rappresentazione della Conoscenza memorie di una mente artificiale Emiliano Giovannetti.](https://reader035.fdocument.pub/reader035/viewer/2022062312/5542eb4c497959361e8b99da/html5/thumbnails/39.jpg)
FrameFrame- … e limiti -
- non esiste una semantica formale universalmente accettata
![Page 40: La Rappresentazione della Conoscenza memorie di una mente artificiale Emiliano Giovannetti.](https://reader035.fdocument.pub/reader035/viewer/2022062312/5542eb4c497959361e8b99da/html5/thumbnails/40.jpg)
La logica descrittivaLa logica descrittiva
E’ uno schema di rappresentazione ibrido
che combina:
• l’espressività dei frame
• il rigore della logica
![Page 41: La Rappresentazione della Conoscenza memorie di una mente artificiale Emiliano Giovannetti.](https://reader035.fdocument.pub/reader035/viewer/2022062312/5542eb4c497959361e8b99da/html5/thumbnails/41.jpg)
La logica descrittivaLa logica descrittiva
è una contrazione della logica del primo ordine :
• perde : variabili, quantificatori, connettivi,
ecc. espressività
• guadagna : efficienza computazionale, intuitività dei frame