Corso di Ingegneria della Conoscenza e Sistemi Esperti A.A. 2008/2009

 

 

Docente: Floriana Esposito
Dipartimento di Informatica
Universita' di Bari
Via Orabona 4
70126 Bari - Italy

Tel/Fax: +39 0805443264
Email: esposito@di.uniba.it

 

 

Materiale didattico per l'anno accademico 2008 - 2009 Corso di Laurea in Informatica


NOTA: I moduli asteriscati costituiscono il programma di ICSE (6 cfu) per la Laurea in Informatica D.M. 270. Tutti i moduli (1-6) costituiscono il programma del corso per la Laurea in Informatica D.M. 509


 Modulo 1 *

1.1: Introduzione: la conoscenza. Il comportamento intelligente e la conoscenza. L'ingegneria della conoscenza.

1.2: Agenti stimolo-risposta, agenti teleo-reattivi: i modelli. Il modello di Agente Intelligente e l'ipotesi del sistema di simboli fisico.

1.3: Il modello di computazione. I Pattern Directed Inference Systems, i sistemi basati su conoscenza e i sistemi di produzioni. La strategia di controllo: il recognize-act cycle, il matching e la soluzione dei conflitti. Ragionamento in avanti e ragionamento all'indietro.

1.4: I sistemi esperti: obiettivi, caratteristiche e architettura. Il ciclo di sviluppo di un sistema esperto. Ambienti per lo sviluppo di sistemi esperti. La famiglia OPS.

1.5: CLIPS: C Language Integrated Production System.

 Modulo 2 *

2.1: Il problem solving attraverso ricerca nello spazio del problema: la rilevanza del linguaggio di descrizione. La ricerca della soluzione come ricerca su grafo: strategie irrevocabili e strategie tentative. La procedura Produzione. Ricerca cieca e ricerca informata.

2.2: La ricerca della soluzione come ricerca su grafo. La procedura GRAPH-SEARCH generalizzata. Ricerca informata e l'uso di euristiche: l'algoritmo A*, ammissibilità di A*, confronto tra algoritmi di ricerca ammissibili. Misure di prestazione.

2.3: Caratteristiche dei sistemi di produzioni: sistemi monotonici, commutativi, decomponibili. La ricerca in sistemi di produzioni decomponibili: la procedura Decomposizione. I grafi AND-OR, l'algoritmo AO*.

2.4: Giochi. Ricerca per sistemi a due agenti avversari: gli algoritmi minmax e alpha-beta.

 Modulo 3 *

3.1: I linguaggi per lo sviluppo di sistemi basati su conoscenza: considerazioni generali. La famiglia OPS. Il matching negli ambienti a regole di produzione: l'algoritmo RETE per un matching efficiente.

3.2: Ingegneria dei sistemi basati su conoscenza: la fase di acquisizione della conoscenza.

3.3: La fase di concettualizzazione della conoscenza: l'uso della Logica.

 Modulo 4

4.1: La definizione del compito nell'ingegneria dei sistemi basati su conoscenza. Sistemi per la classificazione.

4.2: Ingegneria dei sistemi basati su conoscenza: Sistemi esperti nella configurazione.

4.3: Sistemi esperti in diagnosi e individuazione dei guasti.

 Modulo 5 - Le Applicazioni

5.1: I sistemi esperti nella didattica assistita da calcolatore.

5.2: Applicazione al controllo dei processi produttivi.

5.3: Sistemi embedded.

 Modulo 6 *

6.1: Sistemi per la Pianificazione: generalità.

6.2: Pianificazione: STRIPS, ABSTRIPS e pianificazione gerarchica.


 Materiale di approfondimento

Rule-Based Systems

Production Matching for Large Learning Systems. Robert B. Doorenbos PhD thesis

GRAPE: An Expert Review Assignment Component for Scientific Conference Management Systems.


[Top of this page]