INF 2820 V2015: Obligatorisk innleveringsoppgave 4

Transkript

1 INF 2820 V2015: Obligatorisk ileverigsoppgave 4 Besvarelsee skal leveres i devilry ie fredag 8.5 kl Filee vises til fier du i o /projects/lp/if2820/ Hvis du ikke har orsk som morsmål og er usikker på de orske dataee, så bruk die medstuer som iformater. Hvis du har orsk som morsmål, så svar år medstuer spør deg om de språklige dataee. Oppgave 1 Subsumpsjo og uifikasjo (20 poeg) a) Betrakt de fem trekkstrukturee på side 5. For hvert par av to forskjellige strukturer A, B: avgjør om A subsummerer B, og om B subsummerer A? (Det er 10 forskjellige slike par.) b) For hvert par A, B: er de to strukturee uifiserbare? For de paree som er uifiserbare, skriv opp resultatet av uifiksajoe både som e attributt-verdi matrise (AVM) og som e rettet acyklisk graf (DAG). Ileverig: Svar på spørsmålee. Strukturee spørres etter i (b). Du behøver ikke bruke tid på avasert typesettig. De beste eksamesforberedelse er å løse (b) med pe og papir. Du ka så skæe eller ta et digitalt bilde av løsige di og levere te. Oppgave 2 Grammatikk med trekk (40 poeg) Vi skal arbeide videre med grammatikke pp.cfg fra obligatorisk ileverig 2. Vi skal se hvorda vi ved hjelp av trekk ("features") ka utvide grammatikke på e effektiv måte A. Forskjellige substativ(10 poeg) I pp.cfg begreset vi oss til substativ i itetkjø ("øytrum") i etall. Vi skal å også ta med substativ i adre kjø: hakjø ("maskulium"), f.eks. bil, hud, gutt, kotrakt, og hukjø ("femiium"), f.eks. jete, hytte, ad, gås. Som for itetkjøsordee skal vi ha med både ubestemt form, som i eksemplee over, og bestemt form, som i bile og hude, og hytta og jeta. (Norsk bokmål er litt uklart år gjelder hukjø og tillater også jete, me ka du se bort i fra.) Det er viktig å å få riktig samsvar med bestemmere, f.eks. et hus me ikke e hus. Me derimot e bil og ikke et bil eller ei bil og skal være ei jete, ikke et jete. Tilsvarede for ehver/ethvert. Vi skal også ha flertallsformer av alle substativee, både bestemte og ubestemte former. For flertallssubstativ skal vi ha med bestemmere mage, oe, ige, alle. For hver bestemmer, tek igjeom hvilke former av substativet ka forekomme samme med. Tek også igjeom hvilke former av substativet som ka utgjøre e hel NP og hvilke som ikke ka. Du skal altså omforme pp.cfg til e orsk.fcfg som fager i te. Reglee skal altså utstyres med trekk og leksiko utvides. Det er et mål å ikke utvide atall regler. Du står fritt i hvorda du vil legge til trekkee, me ka være lurt å lese gjeom hele reste av oppgave før du tar fatt. 1

2 B. Adjektiv(5 poeg) I pp.cfg har vi også med adjektiv i NP-ee. Når vi legger til substativ av flere kjø må vi sørge for at adjektivee samsvarer med substativee. Det heter et stort hus, me e stor gutt og ei stor jete. Det heter også mage store hus. Bruk trekk for å få e riktig behadlig av adjektiv i disse posisjoee. C. Predikative adjektiv (5 poeg) Vi skal å gjøre e utvidig av grammatikke. Vi vil ha med VP som består av verbet være etterfulgt av et adjektiv. Også her er samsvar i orsk. Det heter E ka ikke si Huset er stort Bile er stor Jeta er stor Husee er store Huset er store Bile er stort osv. Legg dee kostruksjoe til grammatikke og bruk trekk til å sørge for riktig samsvar. D. Subcat (5 poeg) I pp.cfg brukte vi forskjellige kategorier (metasymboler) for forskjellige typer verb, som itrasitive og trasitive verb. Vi ka å velge i ste å bare ha e kategori verb og så et trekk som sier hvilke uderkategori ("subcategory") tilhører. Dette vil ikke i seg selv bidra til e eklere grammatikk, me vil gjøre de mer prisipiell og oversiktlig. E. Ifiitte setiger som komplemet (10 poeg) Vi skal utvide grammatikke med verb som tar ifiitte setiger som komplemet, som så og hørte i Kari så baret smile Kari hørte Ola fortelle at baret ga jeta ei gås Her er verbee smile og fortelle i ifiitt form. For å beskrive te i grammatikke, må vi for første ha to former av alle verb, e fiitt fortidsform som vi har brukt så lagt, og e ifiitt form. Så må vi ha trekk som skiller mellom de to og som ka deles mellom et verb og VP-e er ho i, og setige er ho i. Fyll i aljee og utvid grammatikke di med te. F. Ifiitte VP som komplemet (5 peg) Det er også oe verb som tar ifiitte VP-er som komplemet, f.eks. forsøkte Kari forsøkte å sove Kari forsøkte å fortelle at baret ga jeta ei gås. Bruk trekk og utvid grammatikke til også å beskrive dee type kostruksjoer. Ileverig: De utvie grammatikke. 2

3 Oppgave 3 Sematikk (40 poeg) I dee oppgave skal vi lage e grammatikk for et lite fragmet av orsk. Grammatikke skal være utstyrt med sematiske trekk slik at vi til hele setiger får logiske formler som uttrykker samme som setige. Utgagspuktet er seksjoee 10.2, 10.3 og 10.4 frem til "Quatifier Ambiguity Revisited" i NLTK-boka. Det lille grammatikkfragmetet med sematiske regler presetert i NLTKboka fies som simple-sem.fcfg. Du fier de fra NLTK og i /projects/lp/ltk_data/grammars/book_grammars/ Vi har laget et tilsvarede fragmet for orsk, som heter o-sem.fcfg. Vi har edret litt på hvorda sematikke for setiger med trasitive verb, blir laget. Vi gjør litt mer arbeid med sematikke i regele VP TV NP, mes NLTK har flyttet arbei til leksiklaske oppslaget for de trasitive verbee. Erfarigsmessig har stuee hatt lettere for å forstå vår måte å gjøre på. A. Kom i gag Gjør deg kjet med grammatikke. Se hvorda grammatikke aalyserer følgede setiger: 1. Ola sov 2. Kari likte Ola 3. et bar sov 4. ethvert bar beudret et dyr Bruk som før >>> import ltk >>> from ltk import load_parser >>> semparse = load_parse( file:o-sem.fcfg ) >>> aalyses = semparse.best_parse(<set>) >>> for t i aalyses: prit t, \\ For bare å se sematikke ka du skrive >>> for t i aalyses: prit t.ode SEM, \\ Det ka være lettere å se hva som skjer hvis du i ste for prit bruker >>> for t i aalyses: t.draw() Det er også mulig å tege flere trær i samme vidu ved å gjøre som følger >>> from ltk.draw.tree import draw_trees >>> draw_trees(*aalyses) Legg merke til stjere. Hvis du har oe trær du vil tege som t1, t2, t3, ka du alterativt skrive >>> draw_trees(t1, t2, t3) B. Setigskojuksjo og disjuksjo (10 poeg) Vi skal å se på utvidelser av grammatikke til å dekke flere feome sytaktisk og sematisk. Vi øsker at for eksempel setig (5) skal få som sematisk represetasjo (6) og tilsvarede for (7) og (8). Lag sytaktiske regler med sematiske trekk som samme med de adre reglee sørger for te. Reglee skal være geerelle og tillate gjetatt koordierig som i (9). 3

4 5. Ola sov og Kari smilte 6. sov(ola) & smilte(kari) 7. Ola likte et dyr eller et dyr likte Ola 8. (exists x.(dyr(x) & likte(ola,x))) (exists x.(dyr(x) & likte(x,ola))) 9. Ola likte et dyr og Ola sov eller Kari smilte C. Adjektiv(10 poeg) For ekle adjektiv som modifiserer substativ er valig å aalysere dem som predikat som er forbu med predikatet som svarer til substativet med &, for eksempel lite hus represeteres som \x. (lite(x) & hus(x)) Utvid grammatikke med adjektiv med sematiske represetasjoer og regler for sammesetig av adjektiv og ome som gir te resultatet. Se at du får riktig resultat med oe eksempler som 10. Et lite bar sov 11. Kari likte et stort pet hus Hit: Se på eksempel (33) i NLTK-boka. D. Verbalkojuksjo og disjuksjo(10 poeg) Språket ka fort bli litt stivt. I ste for (12) er mer aturlig å si (13) 12. Ola likte et dyr og Ola beudret Kari 13. Ola likte et dyr og beudret Kari Lag å regler som tillater koordiasjo av to VP-er. Vi vil ha samme sematiske represetasjo (etter koverteriger) for de to setigee. Ta også med disjuksjo. E. Evaluerig(10 poeg) Vi har laget et lite program som atyder strukture i et spørre-svar-system. Det er i file simple_qa.py. Det leser setiger i aturlig språk og avgjør om de er sae eller ikke i e gitt modell. Vi har også laget e første lite modell foerste.val. Du skal å teste grammatikke di ved å bruke fuksjoe evaluator(<av på grammatikkfil>, <av på valuasjosfil>). Du skal utvide modelle i foerste.val slik at de ka ka evaluere flere av setigee die. De bør blat aet ieholde adjektiv. Lag modelle slik at oe setiger blir sae og adre blir usae. Lag utskrift av e iteraksjossesjo med evaluator som viser hvorda grammatikke og modelle di virker. Du bør ha eksempler med flere adjektiv, med iterert kojuksjo og disjuksjo mellom setiger, og med iterert kojuksjo og disjuksjo mellom VP-er. Merk at vi har gjort mage forekliger i simple_qa.py. Blat aet vil vi for flertydige setiger bare evaluere de første tolkige. Det skal vi ikke bry oss om her. Ileverig: Grammatikkfil, valuasjosfil, utskrift av iteraksjo. 4

5 1) PERS 3rd - 2) PERS 3rd BAR 1-3) 3 3 4) PERS 3rd BAR 1-5) 5