Natuurlijke-Taalinterfaces week 8 Discourse Representation Theory Implementatie in Prolog Constructie van DRS-en

Natuurlijke-Taalinterfaces DRS-constructie In de grammatica: lambda-applicatie. In het lexicon: lambda-abstractie en lambda-applicatie over formules van DRS ipv formules van predicaatlogica. Natuurlijke-Taalinterfaces

DRS-en en Prolog-termen drs(Refs,Conds) drs([X,Y], [ X=jan, computer(Y), kopen(X,Y) ]) Jan koopt een computer X Y X = jan computer(Y) kopen(X,Y) Natuurlijke-Taalinterfaces

Natuurlijke-Taalinterfaces Merge In DRT is ieder woord en ieder zinsdeel geassocieerd met een DRS. Samenvoegen van DRS-en: merge Voeg Referenten samen, Voeg Condities samen. X Y X = jan computer(Y) kopen(X,Y) Y computer(Y) kopen(X,Y) X X = jan  = Natuurlijke-Taalinterfaces

Lexical entries: intransitieve werkwoorden Iedere man snurkt Snurkt: X. woord(snurkt, iv(lambda(X,drs([],[snurk(X)]))) snurk(X) Natuurlijke-Taalinterfaces

Lexical entries: zelfstandige naamwoorden Iedere man snurkt man: X. woord(man, n(lambda(X,drs([X],[man(X)]))) X man(X) Natuurlijke-Taalinterfaces

Lexical entries: Lidwoorden Iedere man snurkt iedere: R S. woord(iedere, det(lambda(R,lambda(S, drs([],[R@X > S@X]))))) R@X  S@X Natuurlijke-Taalinterfaces

Lambda-applicatie: Det @ N R@X  S@X Y man(Y) R S. @Y.  S@X S. X man(X) Natuurlijke-Taalinterfaces

Lexical entries: Lidwoorden Een man snurkt Een: R S. R@X  S@X woord(een, det(lambda(R,lambda(S, merge(R@X, S@X))))) Natuurlijke-Taalinterfaces

Lexical entries: Eigennamen Jan snurkt Jan: P.  P@X woord(jan, np(lambda(P, merge(drs([X],[X=jan]), P@X))))) X X=Jan Natuurlijke-Taalinterfaces

Natuurlijke-Taalinterfaces Grammatica In grammatica-regels die alleen @ gebruiken blijft alles bij het oude. Natuurlijke-Taalinterfaces

Natuurlijke-Taalinterfaces Anaforen Pieper koopt KLM. Hij wordt niet rijk. Hij: X X=??? Natuurlijke-Taalinterfaces

Natuurlijke-Taalinterfaces Alpha-termen Een pronomen introduceert een variabele X, + een instructie om een referent te zoeken voor X. Hij: P.(X,nonrefl,male,P@X) woord(hij, lambda(P,alpha(X,nonrefl,male,P@X))) Natuurlijke-Taalinterfaces

Resolutie van alpha-termen Pieper koopt KLM. Hij wordt rijk. X Y X = pieper Y = klm kopen(X,Y) Rijk(Z)  (Z,nonrefl,male, ) Zoek een referent voor Z in voorafgaande context, of DRT van de zin zelf. Vervang Z door referent, en verwijder  Natuurlijke-Taalinterfaces

Resolutie van alpha-termen X Y X = pieper Y = klm kopen(X,Y) Rijk(Z)  (Z,nonrefl,male, ) = X Y X = pieper Y = klm kopen(X,Y) Rijk(X)  Natuurlijke-Taalinterfaces

Natuurlijke-Taalinterfaces Pronomen-resolutie Jan scheert zich. *Jan scheert hem. Als een pronomen reflexief is, moet het met de antecedent in een subject-object relatie staan. Voor non-reflexieve pronomina moet dit juist niet het geval zijn. Natuurlijke-Taalinterfaces

Natuurlijke-Taalinterfaces Resolutie & Gender Pieper koopt KLM. Hij wordt rijk. Pieper koopt een aandeel KLM. Het daalt. De jongen sloeg het meisje. Zij moest huilen, hij lachte. De chirurg twijfelde. Hij/Zij wist niet of opereren nog zin had. Natuurlijke-Taalinterfaces

Natuurlijke-Taalinterfaces Resolutie & Gender Eigennamen en zelfstandige naamwoorden kunnen een restrictie op het geslacht introduceren. Pronomen kan alleen naar antecedent geintroduceerd door eigennaam of zelfstandig naamwoord verwijzen als er geen conflict is met gender van het pronomen. Natuurlijke-Taalinterfaces