Modelli di Calcolo e Lingue R. Basili TAL - a.a. 2005-2006.

42
Modelli di Calcolo e Lingue Modelli di Calcolo e Lingue R. Basili R. Basili TAL - a.a. 2005-2006 TAL - a.a. 2005-2006

Transcript of Modelli di Calcolo e Lingue R. Basili TAL - a.a. 2005-2006.

Page 1: Modelli di Calcolo e Lingue R. Basili TAL - a.a. 2005-2006.

Modelli di Calcolo e LingueModelli di Calcolo e Lingue

R. BasiliR. BasiliTAL - a.a. 2005-2006TAL - a.a. 2005-2006

Page 2: Modelli di Calcolo e Lingue R. Basili TAL - a.a. 2005-2006.

SommarioSommario

MotivazioniMotivazioni Cenni di LinguisticaCenni di Linguistica Alcune nozioni computazionaliAlcune nozioni computazionali

Page 3: Modelli di Calcolo e Lingue R. Basili TAL - a.a. 2005-2006.

MotivazioniMotivazioni

Un sistema di TAL fa riferimento a:Un sistema di TAL fa riferimento a:– Dati che rappresentano fenomeni linguisticiDati che rappresentano fenomeni linguistici

Astrazioni (o teorie) linguisticheAstrazioni (o teorie) linguistiche Formalismi o CodificheFormalismi o Codifiche

– Paradigmi (o astrazioni) del calcoloParadigmi (o astrazioni) del calcolo Grammatiche e AutomiGrammatiche e Automi Algebre LogicheAlgebre Logiche Modelli quantitativiModelli quantitativi Modelli induttiviModelli induttivi

– Algoritmi per la analisi Lessicale, Grammaticale e Algoritmi per la analisi Lessicale, Grammaticale e Semantica Semantica

Page 4: Modelli di Calcolo e Lingue R. Basili TAL - a.a. 2005-2006.

Motivazioni (2)Motivazioni (2)

Una tipica architettura del TALUna tipica architettura del TAL

Page 5: Modelli di Calcolo e Lingue R. Basili TAL - a.a. 2005-2006.

TAL: Una tipica architetturaTAL: Una tipica architettura

Analisi LessicaleAnalisi Lessicale

Analisi SintatticaAnalisi Sintattica

Analisi SemanticaAnalisi Semantica

An. Pragmatica / Applic.An. Pragmatica / Applic.

Lessico

Grammatica

Modello del mondo

Modello della applicazione

testo

Tokens+ features

Strutturafrase

Interpretazione/Azione

FormaLogica

Page 6: Modelli di Calcolo e Lingue R. Basili TAL - a.a. 2005-2006.

Motivazioni (3)Motivazioni (3)

In questa sezione del programma ci In questa sezione del programma ci interessiamo a definire un vocabolario per interessiamo a definire un vocabolario per l’approfondimento (di alcuni) dei temi sopra l’approfondimento (di alcuni) dei temi sopra elencatielencati

Elementi di LinguisticaElementi di Linguistica Elementi di InformaticaElementi di Informatica ApplicazioniApplicazioni

Page 7: Modelli di Calcolo e Lingue R. Basili TAL - a.a. 2005-2006.

Modelli e AlgoritmiModelli e Algoritmi

ModelliModelli: Astrazioni e formalismi per esprimere diversi : Astrazioni e formalismi per esprimere diversi tipi di strutture linguistiche.tipi di strutture linguistiche.– Automi (FSA, traduttori, modelli di markov)Automi (FSA, traduttori, modelli di markov)– Sistemi formali di regole (grammatiche Sistemi formali di regole (grammatiche context-freecontext-free, ,

sistemi di sistemi di featurefeature))– Logica (calcolo dei predicati ed inferenza)Logica (calcolo dei predicati ed inferenza)– Modelli Probabilistici di quelli sopra elencatiModelli Probabilistici di quelli sopra elencati

AlgoritmiAlgoritmi usati per manipolare le rappresentazioni e usati per manipolare le rappresentazioni e creare altre strutture.creare altre strutture.– Alg. Di Ricerca (A*, programmazione dinamica)Alg. Di Ricerca (A*, programmazione dinamica)– Apprendimento Induttivo etc etcApprendimento Induttivo etc etc

Page 8: Modelli di Calcolo e Lingue R. Basili TAL - a.a. 2005-2006.

Elementi di LinguisticaElementi di Linguistica

Livello morfologico, sintattico e semanticoLivello morfologico, sintattico e semantico La nozione di grammaticaLa nozione di grammatica Grammaticalità e significatoGrammaticalità e significato Fenomeni e Proprietà GrammaticaliFenomeni e Proprietà Grammaticali Il LessicoIl Lessico

Page 9: Modelli di Calcolo e Lingue R. Basili TAL - a.a. 2005-2006.

Linguistica: la prospettiva Linguistica: la prospettiva Interna/InternalisticaInterna/Internalistica

Noam Chomsky, Syntactic Structures, 1957. Noam Chomsky, Syntactic Structures, 1957.

Linguistica interna: studio del linguaggio come Linguistica interna: studio del linguaggio come capacità cognitiva dell’individuo. Oggetto dello capacità cognitiva dell’individuo. Oggetto dello studio è la dimensione psicologica e biologica del studio è la dimensione psicologica e biologica del linguaggio. linguaggio.

Oggetti di studio sono -la lingua come conoscenza Oggetti di studio sono -la lingua come conoscenza (lingua interna) -la “facoltà del linguaggio” (lingua interna) -la “facoltà del linguaggio” (Saussure) o l’ “istinto del linguaggio” (Darwin). (Saussure) o l’ “istinto del linguaggio” (Darwin).

La linguistica interna classica: lo studio del La linguistica interna classica: lo studio del linguaggio come “specchio della mente” nella linguaggio come “specchio della mente” nella filosofia razionalista. filosofia razionalista.

Page 10: Modelli di Calcolo e Lingue R. Basili TAL - a.a. 2005-2006.

Contributi della LIContributi della LI

La linguistica interna della seconda La linguistica interna della seconda metà del XX secolo ha introdotto metà del XX secolo ha introdotto – modelli teorici precisimodelli teorici precisi– con un certo grado di profondità deduttivacon un certo grado di profondità deduttiva– verificabili empiricamente verificabili empiricamente

Lo studio del linguaggio nello “Lo studio del linguaggio nello “stile stile galileianogalileiano”. ”.

Page 11: Modelli di Calcolo e Lingue R. Basili TAL - a.a. 2005-2006.

ObbiettiviObbiettivi

Domande fondamentali del programma della Domande fondamentali del programma della grammatica generativa, la linea di ricerca grammatica generativa, la linea di ricerca principale della moderna linguistica interna:principale della moderna linguistica interna:

1.1. Che cos’è la conoscenza della lingua materna? Che cos’è la conoscenza della lingua materna? (Competenza) (Competenza)

2.2. Come la si mette in opera nell’uso del linguaggio? Come la si mette in opera nell’uso del linguaggio? (Esecuzione/Performance) (Esecuzione/Performance)

3.3. Come la si acquisisce nell’infanzia? (Acquisizione Come la si acquisisce nell’infanzia? (Acquisizione della facoltà di linguaggio) della facoltà di linguaggio)

4.4. Come è rappresentata fisicamente nel cervello? Come è rappresentata fisicamente nel cervello?

Page 12: Modelli di Calcolo e Lingue R. Basili TAL - a.a. 2005-2006.

CREATIVITA’ E RICORSIVITA’CREATIVITA’ E RICORSIVITA’

La “creatività” dell’uso linguistico La “creatività” dell’uso linguistico normale come problema centrale normale come problema centrale della linguistica internadella linguistica interna

1.1. costante novità degli enunciati prodotti e costante novità degli enunciati prodotti e compresi compresi

2.2. carattere non deterministico ma carattere non deterministico ma appropriato del comportamento appropriato del comportamento linguistico del parlante. linguistico del parlante.

Page 13: Modelli di Calcolo e Lingue R. Basili TAL - a.a. 2005-2006.

RicorsivitàRicorsività

Qualunque parlante è in grado di capire e Qualunque parlante è in grado di capire e produrre un numero illimitato di frasi produrre un numero illimitato di frasi

La conoscenza della lingua non è la La conoscenza della lingua non è la memorizzazione di una listamemorizzazione di una lista

Stima delle frasi possibili in francese per Stima delle frasi possibili in francese per L=10 parole: 10L=10 parole: 102323 (M. Gross) (M. Gross)

W. von Humboldt: W. von Humboldt: la lingua fa un uso infinito la lingua fa un uso infinito di mezzi finitidi mezzi finiti

Page 14: Modelli di Calcolo e Lingue R. Basili TAL - a.a. 2005-2006.

Ricorsività: PdIRicorsività: PdI

La conoscenza della lingua è conoscenza di un La conoscenza della lingua è conoscenza di un sistema di regole che possono generare un numero sistema di regole che possono generare un numero potenzialmente illimitato di frasi potenzialmente illimitato di frasi

Principio di Induzione (G. Peano):Principio di Induzione (G. Peano):

1) 1) 11 appartiene a appartiene a NN 2) se 2) se XX appartiene a appartiene a NN, allora , allora X + 1X + 1 appartiene a appartiene a NN 3) nient’altro appartiene a 3) nient’altro appartiene a NN

Es. Es. 1 1+1 (1+1)+1 ((1+1)+1)+1 1 1+1 (1+1)+1 ((1+1)+1)+1 ………………

Page 15: Modelli di Calcolo e Lingue R. Basili TAL - a.a. 2005-2006.

Ricorsività e LinguaggioRicorsività e Linguaggio

RicorsivitàRicorsività: proprietà che hanno certe : proprietà che hanno certe regole formali di potersi riapplicare regole formali di potersi riapplicare indefinitamente sul loro stesso risultatoindefinitamente sul loro stesso risultato

Esempi di ricorsività nelle lingue naturaliEsempi di ricorsività nelle lingue naturali

– Ho incontrato Gianni, Francesco, Piero, Maria,Ho incontrato Gianni, Francesco, Piero, Maria,….….

– Mario ha risposto ala zia del cugino dello zio Mario ha risposto ala zia del cugino dello zio del figlio di …del figlio di …

Page 16: Modelli di Calcolo e Lingue R. Basili TAL - a.a. 2005-2006.

Ricorsività e Linguaggio (2)Ricorsività e Linguaggio (2)

– Il fratello [dell’amico [del cugino [di un collega [di….]]]]Il fratello [dell’amico [del cugino [di un collega [di….]]]]

– Credo [che Mario abbia detto [che la gente pensi [che Credo [che Mario abbia detto [che la gente pensi [che qualcuno tema [che…]]]]qualcuno tema [che…]]]]

– Ho incontrato [l’autore [che ha scritto [il libro [che ha Ho incontrato [l’autore [che ha scritto [il libro [che ha entusiasmato [la giuria [che ha assegnato [il premio entusiasmato [la giuria [che ha assegnato [il premio [che…..]]]]]]]][che…..]]]]]]]]

La conoscenza della lingua è il possesso tacito di un La conoscenza della lingua è il possesso tacito di un sistema di regole ricorsive che generano frasi sistema di regole ricorsive che generano frasi (grammatica generativa) (grammatica generativa)

Page 17: Modelli di Calcolo e Lingue R. Basili TAL - a.a. 2005-2006.

Grammatica e SostituibilitàGrammatica e Sostituibilità

Piero ama PinaPiero ama Pina La mamma nutre PieroLa mamma nutre Piero Il cane morde il gattoIl cane morde il gatto

N = {N = {Piero,Pina, la mamma, il cane, il gattoPiero,Pina, la mamma, il cane, il gatto}} V = {V = {ama,nutre,mordeama,nutre,morde}} : N: NxxVVxxN oppure N oppure N N VV N N

Page 18: Modelli di Calcolo e Lingue R. Basili TAL - a.a. 2005-2006.

Grammatica e SostituibilitàGrammatica e Sostituibilità

La formalizzazione La formalizzazione NN VV NN

si legge “Ogni espressione che esprime la si legge “Ogni espressione che esprime la sequenza di un elemento dell’insieme N di eun sequenza di un elemento dell’insieme N di eun elemento dell’insieme V e dell’elemento elemento dell’insieme V e dell’elemento dell’insieme N definisce un costituente valido dell’insieme N definisce un costituente valido nell’insieme delle frasi nell’insieme delle frasi ““

Ha quindi un carattere Ha quindi un carattere – descrittivo descrittivo – proceduraleprocedurale

Page 19: Modelli di Calcolo e Lingue R. Basili TAL - a.a. 2005-2006.

Grammatica e Sostituibilità (2)Grammatica e Sostituibilità (2)

Vantaggi:Vantaggi:– Maggiore livello di astrazioneMaggiore livello di astrazione– Formalismo algebrico per controllare il dato Formalismo algebrico per controllare il dato

linguistico (empirico)linguistico (empirico)– Formalismo che esprime sistematicamente la Formalismo che esprime sistematicamente la

ricorsività, ad es.ricorsività, ad es. NP NP Art Art NPANPA NPA NPA N | Adj NPA | NPA PP N | Adj NPA | NPA PP

Page 20: Modelli di Calcolo e Lingue R. Basili TAL - a.a. 2005-2006.

Sostituibilità e RicorsivitàSostituibilità e Ricorsività

““IlIl primoprimo figlio figlio di Pinodi Pino … “ => … “ => ( (Il)( (Il)ArtArt ( (primo) ( (primo)AdjAdj ( ((figlio) ( ((figlio)NN))NPANPA (di Pino) (di Pino)PPPP ) )NPANPA ) )NPANPA ) )NPNP

(( (Il)Art(Il)Art ( ( (primo)Adj(primo)Adj ( ( ( (figlio)N )NPA ( (figlio)N )NPA (di Pino)PP(di Pino)PP )NPA )NPA )NPA )NPA )NP)NP

Page 21: Modelli di Calcolo e Lingue R. Basili TAL - a.a. 2005-2006.

Problemi e limitazioniProblemi e limitazioni

La soluzione iniziale non copreLa soluzione iniziale non copre– Piero Piero ee Pina amano la mamma Pina amano la mamma

Questo per due motivazioniQuesto per due motivazioni– Lessicali: amano NLessicali: amano N– Sintattiche: la coordinazione non e’ prevista dalla Sintattiche: la coordinazione non e’ prevista dalla

ggrammaticaggrammatica

=> V = V => V = V {amano} ={ {amano} ={ama,nutre,morde,amanoama,nutre,morde,amano}}

=> => N N VV N | N e N V NN | N e N V N

Page 22: Modelli di Calcolo e Lingue R. Basili TAL - a.a. 2005-2006.

Problemi e limitazioniProblemi e limitazioni

La nuova grammatica La nuova grammatica overgeneraovergenera::

Infatti ritiene come ammissibiliInfatti ritiene come ammissibili

– Pino e Anna ama la mammaPino e Anna ama la mamma

– Pino amano la mammaPino amano la mamma

Cio’ che non viene rappresentato e’ il numero e Cio’ che non viene rappresentato e’ il numero e l’accordo in numero tra i soggetti delle frasi ed il l’accordo in numero tra i soggetti delle frasi ed il verboverbo

Page 23: Modelli di Calcolo e Lingue R. Basili TAL - a.a. 2005-2006.

SoluzioniSoluzioni

Associare agli elementi lessicali i loro tratti Associare agli elementi lessicali i loro tratti (ad esempio genere e numero)(ad esempio genere e numero)

– Determinare quindi classi di elementi Determinare quindi classi di elementi grammaticali che sono caratterizzate dagli grammaticali che sono caratterizzate dagli stessi tratti (Nsing/Nplur, V1Sing/…/V3plur)stessi tratti (Nsing/Nplur, V1Sing/…/V3plur)

Restringere le regole della grammatica a Restringere le regole della grammatica a considerare solo le classi compatibili (considerare solo le classi compatibili ( NsingNsing V3singV3sing N )N )

Page 24: Modelli di Calcolo e Lingue R. Basili TAL - a.a. 2005-2006.

Tratti linguisticiTratti linguistici

Sono espressi/definiti dal lessicoSono espressi/definiti dal lessico

– V3sing V3sing amaama, V3plur , V3plur amanoamano

Definiscono caratteristiche morfo-sintattiche degli Definiscono caratteristiche morfo-sintattiche degli elementi di una linguaelementi di una lingua

Sono l’oggetto della analisi morfologicaSono l’oggetto della analisi morfologica

Possono essere ambiguiPossono essere ambigui

– V1sing V1sing sia, sia, V2sing V2sing sia, sia, V3sing V3sing siasia

Page 25: Modelli di Calcolo e Lingue R. Basili TAL - a.a. 2005-2006.

DATI EMPIRICI DATI EMPIRICI

1. Corpus di produzioni naturali 1. Corpus di produzioni naturali 2. Giudizi metalinguistici 2. Giudizi metalinguistici 3. Esperimenti di comprensione 3. Esperimenti di comprensione

(cronometria mentale,…) (cronometria mentale,…) 4. Esperimenti di produzione (ripetizione,…) 4. Esperimenti di produzione (ripetizione,…) 5. Studio delle patologie (dello sviluppo, 5. Studio delle patologie (dello sviluppo,

acquisite…) acquisite…) 6. Tecniche di neuroimmagine (ERP, PET, 6. Tecniche di neuroimmagine (ERP, PET,

fMRI,…) fMRI,…)

Page 26: Modelli di Calcolo e Lingue R. Basili TAL - a.a. 2005-2006.

Grammaticalita’ Grammaticalita’

(1) La signora ha comprato il giornale (1) La signora ha comprato il giornale (2) *Il ha giornale la comprato signora (2) *Il ha giornale la comprato signora (3) *Signora comprare giornale (3) *Signora comprare giornale (4) Colorless green ideas sleep furiously (N. Chomsky)(4) Colorless green ideas sleep furiously (N. Chomsky)(5) * Green sleep colorless furiously ideas (5) * Green sleep colorless furiously ideas (6) I pirotti carulizzano elatticamente (R.Carnap) (6) I pirotti carulizzano elatticamente (R.Carnap) (7) *carulizzano i elatticamente pirotti (7) *carulizzano i elatticamente pirotti

La nozione di grammaticalità è distinta dalla nozione di “avere La nozione di grammaticalità è distinta dalla nozione di “avere un senso”: ci sono frasi agrammaticali a cui assegnamo un senso”: ci sono frasi agrammaticali a cui assegnamo facilmente un senso (come (3)), e frasi grammaticali a cui non facilmente un senso (come (3)), e frasi grammaticali a cui non possiamo assegnare un senso (come (6)), ma che possiamo assegnare un senso (come (6)), ma che distinguiamo agevolmente da sequenze arbitrarie di parole distinguiamo agevolmente da sequenze arbitrarie di parole come (7). come (7).

Page 27: Modelli di Calcolo e Lingue R. Basili TAL - a.a. 2005-2006.

Ambiguita’ Ambiguita’

(8) Gianni guardava la ragazza con il (8) Gianni guardava la ragazza con il binocolo (ambigua) binocolo (ambigua)

(9) Gianni la guardava con il binocolo (non (9) Gianni la guardava con il binocolo (non ambigua) ambigua)

(10) Gianni conosceva la ragazza con il (10) Gianni conosceva la ragazza con il binocolo (non amb.) binocolo (non amb.)

(15) Ogni uomo ama sua madre (ambigua) (15) Ogni uomo ama sua madre (ambigua) (16) Sua madre ama ogni uomo (non (16) Sua madre ama ogni uomo (non

ambigua) ambigua)

Page 28: Modelli di Calcolo e Lingue R. Basili TAL - a.a. 2005-2006.

SinonimiaSinonimia

(17) Gianni ha aiutato Piero (17) Gianni ha aiutato Piero (18) Piero è stato aiutato da Gianni (18) Piero è stato aiutato da Gianni

(sinonima) (sinonima) (19) Piero ha aiutato Gianni (19) Piero ha aiutato Gianni (non (non

sinonima) sinonima)

Page 29: Modelli di Calcolo e Lingue R. Basili TAL - a.a. 2005-2006.

Contraddittorieta’ E Contraddittorieta’ E Inappropriatezza Inappropriatezza

(21) # Gianni ha ucciso il cane, che però (21) # Gianni ha ucciso il cane, che però non è morto non è morto

(22) # Ieri mattina uscirò alle sette (22) # Ieri mattina uscirò alle sette (…)(…)

Page 30: Modelli di Calcolo e Lingue R. Basili TAL - a.a. 2005-2006.

ModelliModelli

Il linguaggio è Il linguaggio è suonosuono con con sensosenso. Quindi . Quindi sapere una lingua vuol dire avere la sapere una lingua vuol dire avere la capacità di capacità di

1.1. rappresentarsi internamente i suoni rappresentarsi internamente i suoni 2.2. rappresentarsi internamente i sensi rappresentarsi internamente i sensi 3.3. associare rappresentazioni di suoni e di associare rappresentazioni di suoni e di

sensi su un sensi su un dominio illimitato. dominio illimitato.

Page 31: Modelli di Calcolo e Lingue R. Basili TAL - a.a. 2005-2006.

Modelli (2)Modelli (2) I. approssimazioneI. approssimazione: : I segni linguistici come entità I segni linguistici come entità

bifaccialibifacciali..

Un primo passo è l’idea tradizionale che le Un primo passo è l’idea tradizionale che le espressioni linguistiche sono entità a due facce. espressioni linguistiche sono entità a due facce.

Secondo Saussure i segni linguistici sono costituiti Secondo Saussure i segni linguistici sono costituiti da un significante e da un significato, associati da un significante e da un significato, associati arbitrariamente. arbitrariamente.

Questo approccio consente la costruzione di teorie Questo approccio consente la costruzione di teorie sistematiche del lessico, ma non rende ancora sistematiche del lessico, ma non rende ancora conto della “creatività”, della capacità di creare conto della “creatività”, della capacità di creare infinite combinazioni di segni. infinite combinazioni di segni.

Page 32: Modelli di Calcolo e Lingue R. Basili TAL - a.a. 2005-2006.

Modelli (3)Modelli (3)

II. approssimazioneII. approssimazione: : Lessico e sintassiLessico e sintassi..

Quindi, un modello della competenza linguistica Quindi, un modello della competenza linguistica deve specificare almeno: deve specificare almeno: – a. Un lessico.a. Un lessico.– b. Un sistema di computazioni mentali. Vale a b. Un sistema di computazioni mentali. Vale a

dire, un sistema di regole mentali che “calcolino” strutture dire, un sistema di regole mentali che “calcolino” strutture mettendo insieme elementi del lessico per formare unità mettendo insieme elementi del lessico per formare unità via via più complesse. via via più complesse.

– c. Interfacce: porte attraverso le quali il sistema mentale c. Interfacce: porte attraverso le quali il sistema mentale per il linguaggio scambia informazioni con i sistemi per il linguaggio scambia informazioni con i sistemi cognitivi non specificamente linguistici: i sistemi cognitivi non specificamente linguistici: i sistemi articolatorio-percettivo e i sistemi di pensiero. articolatorio-percettivo e i sistemi di pensiero.

Page 33: Modelli di Calcolo e Lingue R. Basili TAL - a.a. 2005-2006.

Modelli (4)Modelli (4) Quindi, sapere una lingua vuol dire Quindi, sapere una lingua vuol dire possedere un possedere un

sistema di calcolo mentale che computa strutture, sistema di calcolo mentale che computa strutture, rappresentazioni mentali di entità linguisticherappresentazioni mentali di entità linguistiche: parole, : parole, frasi, testi, ecc. frasi, testi, ecc.

In questo modo di vedere le cose, il nucleo In questo modo di vedere le cose, il nucleo computazionale del sistema è la sintassi ricorsiva, che computazionale del sistema è la sintassi ricorsiva, che consente di generare infinite strutture. consente di generare infinite strutture.

L’idea della “mente computazionale” si è rivelata L’idea della “mente computazionale” si è rivelata esportabile ad altri ambiti della cognizione, le capacità esportabile ad altri ambiti della cognizione, le capacità cognitive si sono rivelate accessibili allo studio come cognitive si sono rivelate accessibili allo studio come capacità computazionali specifiche di certi domini: capacità computazionali specifiche di certi domini: linguaggio, ragionamento, visione, presa di decisioni, linguaggio, ragionamento, visione, presa di decisioni, controllo motorio, ecc. (modularità). controllo motorio, ecc. (modularità).

Page 34: Modelli di Calcolo e Lingue R. Basili TAL - a.a. 2005-2006.

Modelli (5)Modelli (5)

III. approssimazioneIII. approssimazione: : Livelli gerarchizzati di Livelli gerarchizzati di analisianalisi..

Un ulteriore raffinamento di questo modello Un ulteriore raffinamento di questo modello deve tener conto del fatto che anche il deve tener conto del fatto che anche il lessico ha una suo struttura interna lessico ha una suo struttura interna esprimibile in termini di inventari e esprimibile in termini di inventari e computazioni; ritroviamo questa computazioni; ritroviamo questa articolazione su almeno tre livelli articolazione su almeno tre livelli gerarchizzati: gerarchizzati:

Page 35: Modelli di Calcolo e Lingue R. Basili TAL - a.a. 2005-2006.

Livelli LinguisticiLivelli Linguistici

Fonologia Fonologia – Fonemi (unità minime con valore distintivo, costituite di tratti Fonemi (unità minime con valore distintivo, costituite di tratti

distintivi): pari – Bari, fino – vino, cara – gara… distintivi): pari – Bari, fino – vino, cara – gara… – Regole di combinazione dei fonemi: tre - *rte,… Regole di combinazione dei fonemi: tre - *rte,…

MorfologiaMorfologia – a. Morfemi (unità minime con significato autonomo) a. Morfemi (unità minime con significato autonomo) – b. Regole di formazione delle parole b. Regole di formazione delle parole

SintassiSintassi – a. Parole a. Parole – b. Regole di formazione dei sintagmi b. Regole di formazione dei sintagmi

Page 36: Modelli di Calcolo e Lingue R. Basili TAL - a.a. 2005-2006.

Livelli Linguistici (2)Livelli Linguistici (2)

SemanticaSemantica Si distribuisce sulla morfologia e la sintassi Si distribuisce sulla morfologia e la sintassi• L’interpretazione semantica rispetta il principio di L’interpretazione semantica rispetta il principio di

composizionalità: composizionalità: il significato di una unità di ordine superiore è funzione il significato di una unità di ordine superiore è funzione

dei significati dei suoi componenti di ordine inferiore dei significati dei suoi componenti di ordine inferiore e della strutturae della struttura

– [[in-[[evita-]-bil-]]-mente] [[in-[[evita-]-bil-]]-mente] – [ Gianni [ aiuta Maria ]] [ Gianni [ aiuta Maria ]] – [ Maria [ aiuta Gianni ]] [ Maria [ aiuta Gianni ]]

quindi, l’arbitrarietà del segno riguarda le entità atomiche quindi, l’arbitrarietà del segno riguarda le entità atomiche dotate di significato, i morfemi, non le entità complesse. dotate di significato, i morfemi, non le entità complesse.

Page 37: Modelli di Calcolo e Lingue R. Basili TAL - a.a. 2005-2006.

Livelli Linguistici (3)Livelli Linguistici (3)

FoneticaFonetica. . Lo studio delle proprietà fisiche e fisiologiche dei Lo studio delle proprietà fisiche e fisiologiche dei

suoni del linguaggio. Acustica Articolatoria suoni del linguaggio. Acustica Articolatoria PragmaticaPragmatica. . Lo Lo

studio dell’uso delle strutture linguistiche per la studio dell’uso delle strutture linguistiche per la comunicazione, l’interazione sociale, il “fare cose con le comunicazione, l’interazione sociale, il “fare cose con le parole” (Austin) parole” (Austin)

Page 38: Modelli di Calcolo e Lingue R. Basili TAL - a.a. 2005-2006.

SintesiSintesi

Un sistema di TAL gestisce dati (ed Un sistema di TAL gestisce dati (ed algoritmi) basati su astrazioni (teorie) algoritmi) basati su astrazioni (teorie) linguistiche e su concetti informaticilinguistiche e su concetti informatici

I livelli linguistici principali (nella analisi delle I livelli linguistici principali (nella analisi delle lingue scritte) sonolingue scritte) sono– Livello morfologicoLivello morfologico– Livello sintatticoLivello sintattico– Livello semanticoLivello semantico– Livello pragmaticoLivello pragmatico

Page 39: Modelli di Calcolo e Lingue R. Basili TAL - a.a. 2005-2006.

Sintesi (2)Sintesi (2)

Nel livello sintatico e’ stato introdotta la nozione di Nel livello sintatico e’ stato introdotta la nozione di – grammatica formale e grammatica formale e – grammatica a struttura sintagmatica grammatica a struttura sintagmatica – Grammatiche a dipendenzaGrammatiche a dipendenza

Le grammatiche a struttura sintagmatica Le grammatiche a struttura sintagmatica forniscono come risultato delle strutture dati dette forniscono come risultato delle strutture dati dette alberi (di derivazione)alberi (di derivazione)

Le grammatiche a dipendenze definiscono delle Le grammatiche a dipendenze definiscono delle strutture di dati dette grafi (alle dipendenze)strutture di dati dette grafi (alle dipendenze)

Page 40: Modelli di Calcolo e Lingue R. Basili TAL - a.a. 2005-2006.

Sintesi (3)Sintesi (3)

Sono utili le nozioni di Sono utili le nozioni di – Tratti linguistici come le proprietà associabili ai sintagmi Tratti linguistici come le proprietà associabili ai sintagmi

individuali (es. Numero e genere) che determinano un individuali (es. Numero e genere) che determinano un grado maggiore di astrazione e semplificano la grado maggiore di astrazione e semplificano la descrizione grammaticaledescrizione grammaticale

– Le funzioni grammaticaliLe funzioni grammaticali

Il lessico riunisce informazioni morfologiche, Il lessico riunisce informazioni morfologiche, grammaticali e semantiche delle parole individualigrammaticali e semantiche delle parole individuali

Una catalogazione di tipo informatico del lessico Una catalogazione di tipo informatico del lessico costituisce un dizionario elettronicocostituisce un dizionario elettronico

Page 41: Modelli di Calcolo e Lingue R. Basili TAL - a.a. 2005-2006.

Sintesi (4)Sintesi (4)

Se un dizionario segue un formalismo Se un dizionario segue un formalismo computazionale per la automazione di computazionale per la automazione di decisioni linguistiche (ad es. la verifica della decisioni linguistiche (ad es. la verifica della concordanza in numero tra soggetto e concordanza in numero tra soggetto e verbo) allora esso puo definirsi un lessico verbo) allora esso puo definirsi un lessico computazionalecomputazionale

Alcuni esempiAlcuni esempi– Un lessico grammaticale in PrologUn lessico grammaticale in Prolog– WordnetWordnet

Page 42: Modelli di Calcolo e Lingue R. Basili TAL - a.a. 2005-2006.

Riferimenti BibliograficiRiferimenti Bibliografici

Lyons, Introduzione alla Linguistica Teorica, Lyons, Introduzione alla Linguistica Teorica, II. Grammatica, II. Grammatica, – Capitoli 4.1, 4.2, 4.3, 6.1, 6.2, 8.1Capitoli 4.1, 4.2, 4.3, 6.1, 6.2, 8.1