Linguaggio naturale Mondo Rappresentazione del mondo conoscenza Modelli mentali percezioni...

Click here to load reader

download Linguaggio naturale Mondo Rappresentazione del mondo conoscenza Modelli mentali percezioni Ragionamento Parlare del mondo Mondo della Vita Linguaggi di

of 42

  • date post

    01-May-2015
  • Category

    Documents

  • view

    221
  • download

    2

Embed Size (px)

Transcript of Linguaggio naturale Mondo Rappresentazione del mondo conoscenza Modelli mentali percezioni...

  • Slide 1
  • Linguaggio naturale Mondo Rappresentazione del mondo conoscenza Modelli mentali percezioni Ragionamento Parlare del mondo Mondo della Vita Linguaggi di programmazione Modelli computazionali Macchina Mondo della computazione
  • Slide 2
  • Linguaggi di programmazione Modelli computazionali Linguaggio naturale MondoMacchina Rappresentazione del mondo conoscenza Modelli mentali percezioni Ragionamento Parlare del mondo Mondo della VitaMondo della computazione Turing ALGORITMO DATI Struttura dati Strumenti per scrivere algoritmi Programmazione classica
  • Slide 3
  • Linguaggi di programmazione Modelli computazionali Linguaggio naturale MondoMacchina Rappresentazione del mondo conoscenza Modelli mentali percezioni Ragionamento Parlare del mondo Mondo della VitaMondo della computazione Turing ALGORITMO DATI Struttura dati Programmazione classica I dati strutturati sono saldati agli algoritmi procedurale
  • Slide 4
  • Linguaggi di programmazione Modelli computazionali Linguaggio naturale MondoMacchina Rappresentazione del mondo Rappresentazione della conoscenza conoscenza Modelli mentali percezioni Ragionamento Linguaggi formali Parlare del mondo Modelli concettuali Metodi inferenziali Mondo della VitaMondo della computazione
  • Slide 5
  • Linguaggi di programmazione Modelli computazionali Linguaggio naturale MondoMacchina Rappresentazione del mondo Rappresentazione della conoscenza conoscenza Modelli mentali percezioni Ragionamento Linguaggi formali Parlare del mondo Mondo della VitaMondo della computazione Turing Modelli concettuali Metodi inferenziali PROBLEM SOLVING METHOD DATI CONOSCENZA Programmazione AI
  • Slide 6
  • Linguaggi di programmazione Modelli computazionali Linguaggio naturale MondoMacchina Rappresentazione del mondo Rappresentazione della conoscenza conoscenza Modelli mentali percezioni Ragionamento Linguaggi formali Parlare del mondo Mondo della VitaMondo della computazione Turing Modelli concettuali Metodi inferenziali PROBLEM SOLVING METHOD DATI CONOSCENZA Strumenti per scrivere algoritmi Programmazione AI La conoscenza separata dagli algoritmi dichiarativo
  • Slide 7
  • Linguaggi di programmazione Modelli computazionali Linguaggio naturale MondoMacchina Rappresentazione del mondo Rappresentazione della conoscenza conoscenza Modelli mentali percezioni Ragionamento Linguaggi formali Parlare del mondo Mondo della VitaMondo della computazione Turing Modelli concettuali Metodi inferenziali ALGORITMO DATI Struttura dati PROBLEM SOLVING METHOD DATI CONOSCENZA Strumenti per scrivere algoritmi Programmazione classica Programmazione AI I dati strutturati sono saldati agli algoritmi La conoscenza separata dagli algoritmi procedurale dichiarativo
  • Slide 8
  • La conoscenza e i suoi modelli Limplementazione delle rappresentazioni Linguaggio naturale e rappresentazioni visive Linguaggi formali e di programmazione
  • Slide 9
  • IL MODELLO CLASSICO Teleologia, la forma della perfezione
  • Slide 10
  • In unaccezione larga, i modelli sono spesso usati nella vita quotidiana. Ad esempio, quando diciamo che una persona o un animale di un certo tipo esprimiamo un modello del comportamento che nella nostra mente e che consente di prevedere il comportamento di una persona in una certa situazione.
  • Slide 11
  • Un altro esempio di modello un modello verbale, nel quale il comportamento di un sistema in differenti condizioni descritto a parole; ad esempio un modello verbale descrittivo del comportamento elettorale di un sistema democratico : se il governo esprime una politica dannosa per i cittadini allora aumentano i voti per i partiti di opposizione.
  • Slide 12
  • Vi sono anche i modelli fisici. Esempi sono i modelli in scala ridotta di unopera artistica o architettonica, oppure i prototipi che sono realizzati per effettuare dei test di resistenza meccanica o aerodinamica.
  • Slide 13
  • Tipicamente il modello matematico di un sistema consiste in unequazione differenziale che stabilisce una relazione tra le variabili dingresso e le variabili duscita di un sistema. La descrizione di un sistema in termini di ingressi ed uscite detta descrizione ingresso uscita. Il legame matematico consente di determinare le uscite a partire dagli ingressi e quindi di studiare la dinamica o il comportamento di un sistema in un certo ambiente. IL MODELLO MATEMATICO Un modello di un sistema esprime la conoscenza di un fenomeno e come tale consente di rispondere a domande sul sistema senza la necessit di compiere un esperimento. Esso costituisce quindi un potente mezzo di previsione e descrizione del comportamento di un sistema.
  • Slide 14
  • h q i (t) Esempio: Modello matematico di un sistema idraulico Il serbatoio in figura caratterizzato dalla portata dingresso q i e dallaltezza del battente idrico h che rappresenta la variabile duscita. Assumendo un serbatoio di sezione costante A, il volume di liquido risulta: V=Ah. Per la legge di conservazione della massa (legge di continuit) si ha che
  • Slide 15
  • Procedurale e Dichiarativo Prendi due numeri A e B Dividi A per B E memorizza il resto C C zero? Sostituisci A con B e B con C Ferma il calcolo e Stampa la risposta I dati strutturati sono saldati agli algoritmi La conoscenza separata dagli algoritmi Aspetto inferenziale: il Calcolo logico Procedure Rappresentazione della conoscenza Aspetto modellistico Ragionamento Logica R. il Mondo Come fare quello che si deve fare Cosa so del mondo Conoscenza R. La conoscenza sul Mondo Come il mondo Reti semantiche Grafi concettuali (sulla base di ci che so essere vero nel mondo) Problem solving
  • Slide 16
  • Le reti semantiche costituiscono una classe di sistemi di rappresentazione tipici dellIA, basati sullidea generale di utilizzare come strumento di rappresentazione un grafo, in cui ad ogni nodo associata unentit concettuale di qualche tipo ( ad esempio concetto, il significato di un enunciato, o il significato di un elemento lessicale) Le relazioni di tipo logico o associativo fra entit concettuali diverse sono rappresentate mediante gli archi che connettono i nodi I tipi di nodi e di archi che possibile utilizzare, la loro interpretazione, le regole sintattiche che permettono di comporli in una rete, ed i meccanismi di inferenza che sono definiti sulle reti variano notevolemente nei molteplici sistemi di rappresentazione che sono stati via via elaborati Rappresentazione della conoscenza
  • Slide 17
  • Nascono dentro lo studio per il trattamento formale del linguaggio naturale Possono essere viste come evoluzione orizzontale di alberi Lidea di fondo che il significato di un concetto derivi dalle relazioni che lo collegano ad altri concetti Evoluzione degli alberi Le Reti semantiche
  • Slide 18
  • Il "significato" di un concetto e' l'insieme di tutti i nodi che possono essere raggiunti a partire dal nodo che la rappresenta La rete semantica asserisce il fatto intuitivo che la definizione di un oggetto non pu fare a meno della definizione degli oggetti con cui e' in relazione e, in ultima analisi, del contesto in cui l'oggetto e' situato Rappresentare enti e relazioni
  • Slide 19
  • Tavoli, tovaglie e posate Rappresentare il mondo Una tavola imbandita si compone di vari oggetti... QUALI??? Apparecchiare dichiarativamente Prima questione: Come fatto il mondo in cui si apparecchiano tavoli? Questione ontologica Apparecchiare proceduralmente Scrivere un insieme di istruzioni definite sugli oggetti del dominio, e da eseguire per realizzare lobiettivo di apparecchiare Prendi il piatto piano e spostalo in quella certa posizione del tavolo Prendi il bicchiere e mettilo in certe coordinate del tavolo Fai END
  • Slide 20
  • Tavoli, tovaglie e posate Il mondo formalizzato in una rete semantica Apparecchiare dichiarativamente
  • Slide 21
  • Il mondo formalizzato in una rete semantica Tavoli, tovaglie e posate Apparecchiare dichiarativamente
  • Slide 22
  • Tavoli, tovaglie e posate Il mondo formalizzato in una rete semantica Apparecchiare dichiarativamente
  • Slide 23
  • Il problema: Apparecchiare Quali sono le conoscenze indispensabili per poter apparecchiare?
  • Slide 24
  • Le conoscenze per risolvere il problema Il piatto piano appoggiato (z) sul piatto fondo La forchetta normale alla sinistra (x) del piatto La forchetta da pesce alla sinistra (x) del piatto Il coltello normale alla destra (x) del piatto La tovaglia appoggiata (z) sul tavolo Le posate sono appoggiate (z) sulla tovaglia Il coltello da pesce alla destra (x) del coltello normale Il cucchiaio normale alla destra (x) del coltello da pesce Il tovagliolo alla destra (x) del cucchiaio normale Il piattino per il pane sopra (y) la forchetta normale La forchetta da dolce alla destra (x) del piattino per il pane ed sopra (y) il piatto Il cucchiaio da dolce sopra (y) la forchetta da dolce Il bicchiere da acqua alla destra (x) della forchetta da dolce ed sopra (y) il coltello normale Il bicchiere da vino rosso alla destra (x) del bicchiere da acqua Il bicchiere da vino bianco alla destra (x) del bicchiere da vino rosso Il modello in linguaggio naturale
  • Slide 25
  • Le relazioni tra gli enti rappresentati nella rete semantica
  • Slide 26
  • Slide 27
  • Slide 28
  • Grafi conce