Ingegneria della conoscenza - acquisizione e tipologie di conoscenza

Tipologie di conoscenza

• Implicita / esplicita
• Procedurale / dichiarativa
• Globale / locale
• Ingegnerizzata / prototipizzata

Sistema basato sulla Conoscenza

• netta separazione fra conoscenza ed algoritmi
• conoscenza esplicita
• possibilità di utilizzare gli stessi algoritmi di ragionamento su diverse basi di conoscenza
• prevale il punto di vista strutturale (architettura software)

Sistema Esperto

• risolve un problema che non tutti sanno risolvere
• adotta strategie tipiche degli esperti umani (euristica)
• emula il ragionamento umano
• prevale il punto di vista funzionale

Quando adottare Sistemi Basati sulla Conoscenza?

• Problema non computazionale
• Algoritmo non noto
• Problema non del tutto definito e chiaro
• Esistono esperti umani
• L'utenza richiede interfaccia flessibile
• Problema sufficientemente ampio

Domini applicativi

• Diagnostica
• Configurazione
• Pianificazione

Interfaccia a database

Supporto alle decisioni

Supporto alle vendite

Valutazione di rischio

Intrattenimento Demo

Agenzia di viaggi

Guidare la scelta di un pacchetto-vacanze

Accesso intelligente a DB

Architettura di un Sistema Basato sulla Conoscenza

Base di Conoscenza

Motore Inferenziale

Interfaccia Utente

Ambito operativo (main)

Architettura

Base di Conoscenza

Motore Inferenziale

Interfaccia Utente

SE dove VALE mare

Considera solo le regole

E come VALE sport che contengono "proposta"

E sportMare VALE vela nella parte "ALLORA".

E haiBambini Domanda

E etaBimbi < 8 anni

Considera le relative ALLORA condizioni (parte "SE").

proposta=SailFamily Si No

Se sono tutte verificate,

SE dove VALE mare termina ragionamento.

E come VALE sport Risultato

E sportMare VALE vela

Alla prima non verificata,

E haiBambini tronca e passa alla

E etaBimbi > 8 anni

prossima regola. disegno

ALLORA proposta=LunaRosa

...Tecniche di inferenza

• Concatenamento in avanti (forward chaining): se A allora H
• Concatenamento all'indietro (backward chaining): se A allora H
• Concatenamento misto: se A allora H1, se A allora H2

Tipi di legame

• se A allora H1, se A allora H1
• se B allora H1, se A allora H2
• se A allora H1, se A allora A
• se H1 allora H2

Quantificatori

• Esistenziale: se esiste A allora H, H A
• Universale: per ogni A il corrispondente H

Strutture in classi

CLASSE(potenza, consumo, azione){
  autoradio,
  ventola,
  CLASSE(luci){
    CLASSE(anteriori){
      abbaglianti,
      anabbaglianti,
      frecce
    },
    CLASSE(posteriori){
      posizione,
      freni,
      frecce
    },
    interne
  }
}

SE potenza.luci.posteriori.freni > 25 ALLORA azione.ventola VALE spegnere

Interfaccia utente

• Console
• Applet/Servlet
• Grafica
• Midlet

Sistema privo di interfaccia utente