1 / 122

Trekkstrukturer og unifikasjon

Trekkstrukturer og unifikasjon. Attributter og verdier. Attributter og verdier. Følgende objekt beskriver en klasse av personer:. Attributter og verdier. Følgende objekt beskriver en klasse av personer: alder 22 kjønn M nasjonalitet norsk. Attributter og verdier.

elaine
Download Presentation

Trekkstrukturer og unifikasjon

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Trekkstrukturer og unifikasjon

  2. Attributter og verdier

  3. Attributter og verdier Følgende objekt beskriver en klasse av personer:

  4. Attributter og verdier Følgende objekt beskriver en klasse av personer: alder 22 kjønn M nasjonalitet norsk

  5. Attributter og verdier Følgende objekt beskriver en klasse av personer: alder 22 kjønn M nasjonalitet norsk Et grammatisk eksempel:

  6. Attributter og verdier Følgende objekt beskriver en klasse av personer: alder 22 kjønn M nasjonalitet norsk Et grammatisk eksempel: cat NP number sg person 3

  7. Attributter og verdier Følgende objekt beskriver en klasse av personer: alder 22 kjønn M nasjonalitet norsk Et grammatisk eksempel: cat NP number sg person 3 Dette objektet beskriver en klasse av fraser, f.eks. en mann, hesten.

  8. cat NP number sg person 3 f1:

  9. cat NP number sg person 3 f1: • En mengde av ordnede par (av attributter og verdier)

  10. cat NP number sg person 3 f1: • En mengde av ordnede par (av attributter og verdier) • Aldri mer enn én forekomst av et gitt attributt

  11. cat NP number sg person 3 f1: • En mengde av ordnede par (av attributter og verdier) • Aldri mer enn én forekomst av et gitt attributt • Aldri mer enn én verdi til et gitt attributt (men ulike attributter kan ha samme verdi)

  12. cat NP number sg person 3 f1: • En mengde av ordnede par (av attributter og verdier) • Aldri mer enn én forekomst av et gitt attributt • Aldri mer enn én verdi til et gitt attributt (men ulike attributter kan ha samme verdi) • Følgelig kan en slik struktur betraktes somen funksjon fra attributter til verdier

  13. cat NP number sg person 3 f1: • En mengde av ordnede par (av attributter og verdier) • Aldri mer enn én forekomst av et gitt attributt • Aldri mer enn én verdi til et gitt attributt (men ulike attributter kan ha samme verdi) • Følgelig kan en slik struktur betraktes somen funksjon fra attributter til verdier • Eks: • f1(cat)=NP • f1(number)=sg • f1(person)=3

  14. cat NP number sg person 3 f1: • En mengde av ordnede par (av attributter og verdier) • Aldri mer enn én forekomst av et gitt attributt • Aldri mer enn én verdi til et gitt attributt (men ulike attributter kan ha samme verdi) • Følgelig kan en slik struktur betraktes somen funksjon fra attributter til verdier • Eks: • f1(cat)=NP • f1(number)=sg • f1(person)=3 • Verdier kan være atomiske eller komplekse:

  15. cat NP number sg person 3 f1: • En mengde av ordnede par (av attributter og verdier) • Aldri mer enn én forekomst av et gitt attributt • Aldri mer enn én verdi til et gitt attributt (men ulike attributter kan ha samme verdi) • Følgelig kan en slik struktur betraktes somen funksjon fra attributter til verdier • Eks: • f1(cat)=NP • f1(number)=sg • f1(person)=3 • Verdier kan være atomiske eller komplekse: cat NP number singular person third agreement

  16. Subsumpsjon

  17. Subsumpsjon

  18. Subsumpsjon cat NP

  19. Subsumpsjon cat NP cat NP agreement number singular

  20. Subsumpsjon cat NP cat NP agreement number singular cat NP number singular person third agreement

  21. Subsumpsjon cat NP number singular person third agreement cat NP number singular person third subject cat NP agreement number singular cat NP number singular person third agreement

  22. 1 1 Subsumpsjon cat NP number singular person third agreement cat NP number singular person third subject cat NP agreement number singular cat NP number singular person third agreement cat NP number singular person third agreement subject

  23. Ikke subsumpsjon

  24. Ikke subsumpsjon cat NP 1 agreement number singular

  25. Ikke subsumpsjon cat NP 1 agreement number singular cat NP 2 agreement person third

  26. Ikke subsumpsjon cat NP 1 2, 2 1 1 agreement number singular cat NP 2 agreement person third

  27. Ikke subsumpsjon cat NP 1 2, 2 1 1 agreement number singular cat NP 2 agreement person third cat NP 3 agreement number plural

  28. Ikke subsumpsjon cat NP 1 2, 2 1 1 3, 3 1 1 agreement number singular cat NP 2 agreement person third cat NP 3 agreement number plural

  29. Ikke subsumpsjon cat NP 1 2, 2 1 1 3, 3 1 1 agreement number singular cat NP 2 agreement person third cat NP 3 agreement number plural cat NP 4 number singular person third agreement

  30. Ikke subsumpsjon cat NP 1 2, 2 1 1 3, 3 1 1 4 1 agreement number singular cat NP 2 agreement person third cat NP 3 agreement number plural cat NP 4 number singular person third agreement

  31. Ikke subsumpsjon cat NP 1 2, 2 1 1 3, 3 1 1 4 2 4 1 agreement number singular cat NP 2 agreement person third cat NP 3 agreement number plural cat NP 4 number singular person third agreement

  32. Ikke subsumpsjon cat NP 1 2, 2 1 1 3, 3 1 1 4 2 4 1 2 = 4 1 agreement number singular cat NP 2 agreement person third cat NP 3 agreement number plural cat NP 4 number singular person third agreement

  33. Ikke subsumpsjon cat NP 1 2, 2 1 1 3, 3 1 1 4 2 4 1 2 = 4 1 3 = fail 1 agreement number singular cat NP 2 agreement person third cat NP 3 agreement number plural cat NP 4 number singular person third agreement

  34. Ikke subsumpsjon cat NP 1 2, 2 1 1 3, 3 1 1 4 2 4 1 2 = 4 1 3 = fail Unifikasjon: ab = c hvis og bare hvis a c og b c og det finnes ingen d slik at a d og b d og d c 1 agreement number singular cat NP 2 agreement person third cat NP 3 agreement number plural cat NP 4 number singular person third agreement

  35. Unifikasjon

  36. Unifikasjon cat NP

  37. Unifikasjon cat NP agreement number singular

  38. Unifikasjon cat NP agreement number singular cat NP = agreement number singular

  39. Unifikasjon cat NP agreement number singular cat NP = agreement number singular cat NP

  40. Unifikasjon cat NP agreement number singular cat NP = agreement number singular cat NP cat NP agreement number singular

  41. Unifikasjon cat NP agreement number singular cat NP = agreement number singular cat NP cat NP agreement number singular cat NP = agreement number singular

  42. Unifikasjon

  43. Unifikasjon

  44. Unifikasjon cat NP agreement number singular

  45. Unifikasjon cat NP agreement number singular cat NP = agreement number singular

  46. Unifikasjon cat NP agreement number singular cat NP = agreement number singular agreement number singular subject agreement number singular

  47. Unifikasjon cat NP agreement number singular cat NP = agreement number singular agreement number singular subject agreement number singular subject agreement person third

  48. Unifikasjon cat NP agreement number singular cat NP = agreement number singular agreement number singular subject agreement number singular subject agreement person third agreement number singular = number singular subject agreement person third

  49. Unifikasjon

  50. Unifikasjon agreement number singular subject agreement number singular

More Related