succ prec
indice
Classificazione dei Sistemi ILP
Il sistemi ILP realizzati presentano una grande varieta' di approcci al
problema dell'apprendimento, integrando a volte metodi differenti. Una
classificazione delle scelte di progetto puo' essere fatta secondo diversi
punti di vista, tra cui quelli riportati.
In realta' questi punti di vista non sono indipendenti. I sistemi
empirici sono tipicamente realizzati in modo top-down, batch e mono-predicato,
mentre quelli di tipo interattivo sono incrementali, multi-predicato e
generalmente di tipo bottom-up.
Metodi Top-down/Bottom-up
Una distinzione molto importante tra i possibili approcci al problema dell'apprendimento
riguarda la direzione di percorrenza dello spazio
delle ipotesi , durante la ricerca della soluzione.
Nel caso di approccio Top-down, l'ipotesi iniziale e' costituita da
quella piu' generale consentita dall' espressivita'
del linguaggio , provvedendo ad una sua successiva specializzazione
verso la consistenza con gli esempi.
Per i sistemi Bottom-up, si procede dall'ipesi piu' specializzata,
che sia completa e consistente con gli esempi dati, procededo verso un
sua generalizzazione.
Metodi Batch/Incrementali
La differenza tra metodi batch e incrementali riguarda il modo in cui gli
esempi sono forniti al programma. Nella modalita' batch, tutti gli esempi
(positivi e negativi) sono disponibili prima di eseguira l'unica fase di
apprendimento. In questo caso e' possibile utilizzare euristiche basate
su misure (come l'entropia) calcolate su tutto il training-set.
Nel caso di apprendimento incrementale, gli esempi sono forniti uno
alla volta, determinando un fase di adattamento delle ipotesi, tenendo
in conto di quanto appreso fino a quel momento.
Metodi Mono/Multi-Predicato
Nel primo caso, si tratta di sistemi in grado di apprendere un solo predicato
alla volta, da descrivere rispetto ai predicati della teoria, fissati inizialmente.
Il sistemi del secondo tipo sono in grado, in una unica fase di apprendimento,
di apprendere congiuntamente piu' predicati, anche tra loro correlati.
Vi sono inoltre sistemi con la capacita' di introdurre nuovi preducati
(predicate-invention), necessari per specificare la soluzione.
Metodi Empirici/Interattivi
I sistemi ILP empirici hanno come scopo la ricerca della descrizione di
un predicato, rispetto ad un conoscenza di fondo
e ad un suo insieme di esempi positivi e negativi, classificati in precedenza.
I sistemi interattivi, tipicamente di tipo incrementale, si appoggiano
ad un "oracolo" a cui rivolgere domande e da cui ottenere una valutazione
dinamica della bonta' della ricerca.
Questo "oracolo" e' tipicamente impersonato dall'utente del
sistema, ma e' possibile ricorrere a sistemi di natura differente come
database, o sistemi di tipo subsimbolico.
succ prec
indice