1 / 60

Bachelor Kunstmatige Intelligentie Taaltheorie en Taalverwerking Remko Scha

Bachelor Kunstmatige Intelligentie Taaltheorie en Taalverwerking Remko Scha. Week 10: Semantische Interpretatie Jurafsky & Martin (Ed. 1): Hoofdstuk 15. Semantiek: Waarheidscondities. Semantiek: Waarheidscondities: Logische formules.

robin-payne
Download Presentation

Bachelor Kunstmatige Intelligentie Taaltheorie en Taalverwerking Remko Scha

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. Bachelor Kunstmatige IntelligentieTaaltheorie en Taalverwerking Remko Scha Week 10: Semantische InterpretatieJurafsky & Martin (Ed. 1): Hoofdstuk 15

  2. Semantiek: Waarheidscondities

  3. Semantiek: Waarheidscondities:Logische formules.

  4. Semantiek: Waarheidscondities:Logische formules.B.v.: Eerste-Orde Logica.

  5. Logische Semantiek voor (b.v.) Nederlands: Formele grammatica, die tevens aan elke grammaticale zin de juiste logische formule(s) toekent.

  6. Compositionele Semantiek voor (b.v.) Nederlands: Formele grammatica, die tevens de juiste formule(s) voor elke constituent afleidt van de formule(s) van zijn subconstituenten.

  7. Woordsoorten en logische types.

  8. Woordsoorten en logische types. "Jan loopt."  Walk (J)

  9. Woordsoorten en logische types. "Jan loopt."  Walk (J) Eigennaam  Individuele constante

  10. Woordsoorten en logische types. "Jan loopt." Walk(J) Eigennaam Individuele constante Onovergankelijk (Intransitief) Werkwoord 1-plaatsig predicaat

  11. Woordsoorten en logische types. "Jan loopt." Walk (J) Eigennaam Individuele constante Onovergankelijk (Intransitief) Werkwoord  1-plaatsig predicaat "Jan ziet Karel"  Sees (J, C) "Jan houdt van Marie"Love (J, M) Overgankelijk (Transitief) Werkwoord 2-plaatsig predicaat

  12. Woordsoorten en logische types. "Jan geeft Fido aan Marie." Give (J, F, M) Ditransitief ("dubbel overgankelijk") werkwoord  3-plaatsig predicaat Enzovoort!

  13. Woordsoorten en logische types. "Alle jongens zien Piet"  x Boy(x)  See (x, P)

  14. Woordsoorten en logische types. "Alle jongens zien Piet"  x Boy(x)  See (x, P) "alle" (quantor) + implicatie zelfstandig naamwoord 1-plaatsig predicaat

  15. Woordsoorten en logische types. "Alle leuke jongens schoppen een tafel"  x (Boy(x) & Nice (x))  ( y Table(y) & Kick (x, y)) "een" (quantor) + conjunctie

  16. Woordsoorten en logische types. "Alle leuke jongens schoppen een tafel"  x (Boy(x) & Nice (x))  ( y Table(y) & Kick (x, y)) "een" (quantor) + conjunctie bijvoeglijk naamwoord 1-plaatsig predicaat

  17. Woordsoorten en logische types. "Een jongen naast Piet fluit."  x (Boy(x) & Next (x, P)) & Whistle (x) voorzetsel2-plaatsig predicaat

  18. Systematisch vertalen van Natuurlijke Taal zinnen naar logische expressies. Woorden  individuele constanten, predicaten, quantoren Woordsoorten  logische types Syntax-regels  semantische regels

  19. Syntax-regels  semantische regels Eerst: kleine uitbreiding van de logica.

  20. Lambda-abstractie

  21. Logica en natuurlijke taal: Lambda-abstractie Functie-definities in traditionele "informele" wiskunde. Definieer de functie f als volgt: f(x) = x + 3

  22. Logica en natuurlijke taal: Lambda-abstractie Functie-definities in traditionele "informele" wiskunde. Definieer de functie f als volgt: f(x) = x + 3 Dit is een impliciete definitie! Wat is f?

  23. Logica en natuurlijke taal: Lambda-abstractie • Functie • Definieer f als: f(x) = x + 3 -abstractie: • notatie om een expliciete definitie te kunnen opschrijven: • f = x: (x+3)

  24. Logica en natuurlijke taal: Lambda-abstractie • f = x: (x+3) • f(5) = 8

  25. Logica en natuurlijke taal: Lambda-abstractie • f = x: (x+3) • f(5) = 8 • (x: (x+3)) (5) = 8

  26. Logica en natuurlijke taal: Lambda-abstractie (x: (x+3)) (5) = 8 Waarom?

  27. Logica en natuurlijke taal: Lambda-abstractie • (x: (x+3)) (5) = 8 • Semantiek van de -abstractie. • (x: (x+3)) denoteert: • {. . . ., <0, 3>, <1, 4>, <2, 5>, . . .}

  28. Logica en natuurlijke taal: Lambda-abstractie • apply ([x: (x+3)], 5) = 8 • Semantiek van de -abstractie. • (x: (x+3)) denoteert: • {. . . ., <0, 3>, <1, 4>, <2, 5>, . . .} • Toepassing van deze functie op 5 levert: 8.

  29. Logica en natuurlijke taal: Lambda-abstractie • (x: (x+3)) (5) = 8 • Waarom?

  30. Logica en natuurlijke taal: Lambda-abstractie • Bewijstheorie van de lambda-abstractie: • lambda-calculus: • equivalentie-transformaties op expressies.

  31. Logica en natuurlijke taal: Lambda-abstractie Equivalentie-transformaties op expressies. “Beta-conversie”: (x: A) (B) = een copie van A, waarin elk voorkomen van x vervangen is door B

  32. Logica en natuurlijke taal: Lambda-abstractie “Beta-conversie”: (x: A) (B) = een copie van A, waarin elk voorkomen van x vervangen is door B

  33. Logica en natuurlijke taal: Lambda-abstractie “Beta-conversie”: (x: A) (B) = een copie van A, waarin elk voorkomen van x vervangen is door BB.v.: (x: (x+3)) (5)

  34. Logica en natuurlijke taal: Lambda-abstractie “Beta-conversie”: (x: (x+3)) (5) = 5 + 3 = 8

  35. Compositionele Semantiek: Grammatica's met Interpretatieregels

  36. Compositionele Semantiek:Grammatica's met Interpretatieregels S Walk(J) NP VP PN John V1 walks

  37. Compositionele Semantiek:Grammatica's met Interpretatieregels S  NP VP NP  PN VP  V1 V1  walks PN  John Walk(J) S NP VP PN John V1 walks

  38. S  NP VP NP  PN VP  V1 V1  walks V1' =Walk PN  John PN' =J Lexicale regels

  39. S  NP VP NP  PN NP' = PN' VP  V1 VP' = V1' V1  walks V1' = Walk PN  John PN' = J Triviale regels

  40. S  NP VP S' = VP' (NP') NP  PN NP' = PN' VP  V1 VP' = V1' V1  walks V1' = Walk PN  John PN' = J 1 "echte" syntax-regel

  41. Compositionele Semantiek:Grammatica's met Interpretatieregels S  NP VP S' = VP' (NP') NP  PN NP' = PN' VP  V1 VP' = V1' V1  walks V1' =Walk PN  John PN' =J Analyzing "John Walks": S Walk (J) NP J VP Walk V1 walks J N John Walk

  42. Compositionele Semantiek:Grammatica's met Interpretatieregels S  NP VP S' = VP' (NP') NP  PN NP' = PN' VP  V1 VP' = V1' V1  walks V1' =Walk PN  John PN' =J Generating a sentence with an interpretation S S' NP VP VP' (NP') PN VP VP' (PN') PN V1 V1' (PN') PN walks Walk (PN') John walks Walk (J)

  43. Like(J, M) S VP NP NP PN John V2 likes PN Mary

  44. S  NP VP S' = VP' (NP') NP  PN NP' = PN' VP  V1 VP' = V1'  V2 NP ?? V1  walks V1' =Walk V1  likes V2' =Like PN  John PN' =J  Mary PN' =M

  45. S' = VP' (NP') = VP' (J)moet opleveren:Like(J, M) S VP J NP NP PN John V2 likes PN Mary

  46. S' = VP' (J)moet opleveren:Like(J, M) S VP  x:Like(x, M) J NP NP PN John V2 likes PN Mary

  47. S' = VP' (J)resulteert inLike(J, M) S VP' = x: V2'(x, NP') resulteert in x: Like(x, M) VP J NP NP PN John V2 likes PN Mary

  48. S  NP VP S' = VP'(NP') NP  PN NP' = PN' VP  V1 VP' = V1'  V2 NP VP' = x: V2'(x, NP') V1  walks V1' =Walk V1  likes V2' =Like PN  John PN' =J  Mary PN' =M

  49. Zelfstandige naamworden en adjectieven

  50. N  man N' = Man (1-plaatsig predicaat)Adj  tall Adj' = Tall (1-plaatsig predicaat) N  Adj N ??

More Related