Djupstruktur och ytstruktur

Transkript

1 Djupstruktur och ytstruktur En gammal man bodde på vinden. På vinden bodde en gammal man.

2 Chomsky 1965 baskomponent transformationskomponent

3 Föregångare till UCP Augmented Transition Network (Woods 1970)

4 Uppsala Chart Processor - UCP icke-deterministisk chartparser procedurell formalism

5 Chart den centrala datastrukturen i en chartparser är en chart en chart är en riktad graf som består av noder (vertices) och bågar (edges) bågarna är aktiva eller passiva de aktiva bågarna representerar regler och partiellt analyserade konstituenter de passiva bågarna representerar kompletta analysresultat

6 Task bearbetningen sker genom ett samspel mellan aktiva och passiva bågar när en aktiv båge träffar på en passiv så bildas ett bearbetningssteg, en task bearbetningsstegen förs till en agenda (scheduling) från agendan hämtas de för exekvering (selecting) utförandet av ett bearbetningssteg leder vanligen till nya bågar och nya bågkonstellationer, som genererar nya bearbetningssteg när agendan är uttömd är parsningen avslutad resultatet av en komplett parsning representeras av en passiv båge från första till sista vertex

7 Bågar i UCP alla bågar i en UCP-chart innehåller uppgift om ursprungstask (Creator) alla aktiva bågar innehåller en regelsekvens (LR-Action) alla passiva bågar innehåller en särdragsstruktur (Features) med ett toppsärdrag * icke-initiala aktiva bågar innehåller en särdragsstruktur (Features) med ett toppsärdrag & en initial aktiv båge går från och till sig själv en initital aktiv båge sätter i gång en regeltillämpning eller en lexikonsökning

8 Exempel på en aktiv båge 1--7 Creator: 78 Features: (& = (PHR.CAT = CL TYPE = MAIN MODE = DECL NP = (START = 1 END = 7 PHR.CAT = NP NUMB = SING GENDER = UTR CASE = BASIC DEF = DEF HEAD = (LEM = SOL.NN WORD.CAT = NOUN)))) LR-Action: <* PHR.CAT> = 'VP, <* INFF> = 'FIN, <& VP> :=: <*>, STORE, MAJORPROCESS(SENT);

9 Exempel på en passiv båge Creator: 112 Features: (* = (START = 7 END = 13 PHR.CAT = VP VERB.TYPE = MAIN INFF = FIN TENSE = PRES DIAT = ACT VERB = (WORD.CAT = VERB LEM = SKINA.VB)))

10 Processkontroll parsningen styrs av tillståndet i charten principer för scheduling bredden först eller djupet först principer för selektion bredden först eller djupet först

11 Uppbyggnad av charten UCP bygger en initial chart av inputsträngen i övrigt styrs chartbyggandet från språkbeskrivningen (grammatik el. lexikon)

12 Den procedurella formalismen bygga strukturbeskrivningar i form av särdragsstrukturer införa nya bågar i charten

13 Operatorerna test och tilldelning av attribut och värden kontroll införa nya bågar i charten

14 Test och tilldelning unifiering ( :=: ) test på likhet ( = ) not path <& val1 valn> nil atom <* val1 valn> <& val1... valn :new> <& val1 valn :last>

15 Kontroll sekvens (, ) oberoende disjunktion ( // ) beroende disjunktion ( / ) if then else subregel(arg) true ( continue ) false ( failure )

16 Nya bågar process(arg) majorprocess(arg) advance store minorstore

17 process(arg) en ny aktiv båge från och till den aktiva bågens slutnod i aktuell task arg är namn på en grammatikregel eller ett lexikon

18 majorprocess(arg) ny aktiv båge från och till den aktiva bågens begynnelsenod i aktuell task arg är namn på en grammatikregel eller ett lexikon

19 advance ny aktiv båge från den aktiva bågens begynnelsenod i aktuell task till den passiva bågens slutnod bågen bär med sig den regelsekvens som återstår att utföra och den särdragsstruktur som byggts upp

20 store ny passiv båge från den aktiva bågens begynnelsenod i aktuell task och till den passiva bågens slutnod bågen ärver den särdragsbeskrivning som byggts upp i den aktiva bågen

21 minorstore ny passiv båge från den aktiva bågens begynnelsenod i aktuell task och till den passiva bågens begynnelsenod bågen ärver den särdragsbeskrivning som byggts upp i den aktiva bågen

22 Procedurella formalismer motivering fördelar nackdelar

23 Versioner av UCP UCP original (Lisp) lexikonsökning morfologisk analys syntaktisk analys fonologisk analys UCP light (C) syntaktisk analys

24 Tillämpningar böjningsanalys och sammansättningsanalys för lexikonbyggande grammatikkontroll SCARRIE, Scania Checker maskinöversättning (MULTRA) ordpredicering (FASTY)