Opdrachten Werkcollege 4

Vergelijkbare documenten
Betekenis 2: lambda-abstractie

Wat? Betekenis 2: lambda-abstractie. Boek. Overzicht van dit college. Anna Chernilovskaya. 7 juni 2011

Toelichting bij geselecteerde opdrachten uit Betekenis en Taalstructuur

Inleiding: Semantiek

Studentnummer: Inleiding Taalkunde 2013 Eindtoets Zet op ieder vel je naam en studentnummer!

Inleveropdracht 1: Morfologie & Syntaxis

Semantiek 1 college 4. Jan Koster

Semantiek 1 college 10. Jan Koster

Inleiding: Combinaties

Betekenis I: Semantiek

1e Deeltentamen Inleiding Taalkunde

Meer oefenen. TI1300: Redeneren en Logica. Vertalen. Meerdere wegen leiden naar Rome

College 4: Gegeneraliseerde Kwantoren

Logica voor Informatica

Pragmatiek. 6 juni 2009

Predikatenlogica in Vogelvlucht

Logic for Computer Science

Taaltests. Limitatieve lijst RIZIV Preverb Fonologie Lexicon Semantiek Morfologie Syntaxis Prag Leeftijd Normen uitgave

Gegeneraliseerde Kwantoren

Logica 1. Joost J. Joosten

Nieuwe redeneringen. TI1300: Redeneren en Logica. Waar gaan deze uitdrukkingen over? Een nieuwe taal

Logische Complexiteit Hoorcollege 4

Natuurlijke-Taalverwerking I

P l u r a l i t e i t Hoorcollege Semantiek 28 maart 2012

Logica 1. Joost J. Joosten

Semantiek van predicatenlogica en Tractatus

Huiswerk 3: Prolog. Inleiding Taalkunde. Dinsdag 31 mei

Logica 1. Joost J. Joosten

Wiskunde en taal. Contents First Last Prev Next

Inleiding taalkunde. Inleiding - 23 april 2013 Marieke Schouwstra

Zinnen 1. Henriëtte de Swart

Combinaties. Stof bij dit college

Voortgezette Logica, Week 2

Inleiding. Syntaxis: de combinaties van woorden tot woordgroepen en zinnen.

Kind, Taal & Ontwikkeling. Taalontwikkeling & taalproblemen Prematuur geboren kinderen en hun verdere ontwikkeling (film)

2. Syntaxis en semantiek

Embedded implicatures!?!

Spreekopdrachten thema 3 Kinderen

SYNTAXIS EN SEMANTIEK: BEREIK IN HET NEDERLANDS

LTX016B05. Nieuwe ontwikkelingen in de syntaxis. College 11

Modelleren en Programmeren: Prolog

LUISTERVAARDIGHEID EN

Cover Page. The handle holds various files of this Leiden University dissertation.

Natuurlijke-Taalverwerking 1

Er zijn alle soorten modificaties hoe je deze FST beter kan maken. Bijvoorbeeld, door - teen van thirteen - nineteen in het algemeen te lezen.

0.25x. Het buitengebied - vanuit elk punt kun je twee raaklijnen tekenen - bevat twee oplossingen. De parabool zelf staat voor één oplossing.

LTX016B05. Nieuwe ontwikkelingen in de syntaxis. College 9

Syllabus Leren Modelleren

Kijk nog eens in het boek op bladzijde 80 naar Werkwoorden in een andere tijd.

Spreekopdrachten thema 3 Kinderen

Scope Problemen met Indefiniete NP s

Logica in het (V)WO. Barteld Kooi

Samenvatting. wh-vraagzinnen genoemd, omdat in het Engels dergelijke vraagwoorden met de letters wh beginnen.

Achtergrond bij de pragmatiek

TOETS NT2-1 schrijven. Goed voorbereid slagen. voor het staatsexamen NT2 programma 1. Opgavenboekje nr. 1 SCHRIJVEN. niveau B1. tijdsduur: 120 minuten

REGELS. Kies het goede woord. 1 Ik vind de fiets niet mooi. Ik koop... niet. a het b hem

LTX016B05. Nieuwe ontwikkelingen in de syntaxis. College 10

- Communicatie- en informatiewetenschappen

Hulp van Sam - voorspellen. Zo doe je het. Hulpbladen strategieën niveau B. Voorspellen Ik lees... Ik zie... Ik weet... Dus ik denk...

Vaksubkernen Inhouden vwo kerndoelen onderbouw. kiezen. De leerling kan referentiële verwijzingen expliciteren.

Hoe te leren voor de UNIT toetsen

Inleiding Logica voor CKI, 2013/14

Logica voor Informatica. predikatenlogica. Syntax van predikatenlogica. Mehdi Dastani Intelligent Systems Utrecht University

Extra opdrachten met het zinsbouwpakket. Bijlage bij het Basisboek syntaxis

Tentamen TI1300 en IN1305-A (Redeneren en) Logica

University of Groningen. Acquiring quantification Smits, Erik-Jan

LTX016B05. Nieuwe ontwikkelingen in de syntaxis. College 8

NT /2004 SPREKEN EXAMEN. Voorbeeldexamen Tijdsduur ± 30 minuten. Opgavenboekje. Examennummer kandidaat: Aanwijzingen

Hoe gaat het met je studie?

Hoe identificeer je constituenten?

Logica voor Informatica. predikatenlogica. Syntax van predikatenlogica. Mehdi Dastani Intelligent Systems Utrecht University

Weet u wanneer deze boerderij gebouwd is?

Het Formaliseren van Theta Theorie

College Logica voor CKI

Boommethode. TI1300: Redeneren en Logica. Oefenen, wat anders? Aanvullende regels (Logica, tabel 11.1, p. 159) A (B C),A C = B

Introductie tot de cursus

Getekende woorden. 1 Bekijk de bladzijde. Welke woorden vallen meteen op?

INHOUD. #1 Mens zijn 5 #2 Slapen 17 #3 Taken 29 #4 Bewegen 49 #5 Expressie 61 #6 Voelen 75 #7 Gezond zijn en ziek zijn 95 #8 Voeding 110 #9 Tijd 128

LTX016B05. Nieuwe ontwikkelingen in de syntaxis. College 2

De klasse van recursief opsombare talen is gesloten onder en. Dit bewijzen we met behulp van een recursieve opsomming

OPZOEKEN IN HET WOORDENBOEK (1)

Natuurlijke Taalverwerking I shift-reduce en chart parsing

Examenvragen D0H45 (Lineaire optimalizatie)

Het Muiswerkprogramma Grammatica op maat bestrijkt de grammatica die nodig is voor het leren van de Nederlandse spelling en zinsbouw.

Boys buying two sausages each: On the syntax and semantics of distance-distributivity Zimmermann, M.

Thema In en om het huis

Dit boek is anders dan alle andere boeken. Het is helemaal voor jou alleen. Jij bent de enige die straks weet wat er in dit boek staat.

LTX016B05. Nieuwe ontwikkelingen in de syntaxis. College 7

(4) [Rick op 16 mei:] Het tentamen dat jullie vandaag gaan maken is niet moeilijk.

compileren & interpreteren - compileren: vertalen (omzetten) - interpreteren: vertolken

Melkweg. Wat leert je kind? Lezen van Alfa A naar Alfa B. Taal en ouders: de basisschool

Onderwijs- en examenregeling

Logica als een oefening in Formeel Denken

Cursus Montague Grammatica. Henk J. Verkuyl. c H.J. Verkuyl

Netwerkdiagram voor een project. AOA: Activities On Arrows - activiteiten op de pijlen.

Oplossingen oefeningen logica en eindige automaten 12 december Het bestand oplnoef12dec.zip bevat de.sen en.fa bestanden met de oplossingen.

Taal en Structuur van de Wiskunde (2IF50) Aantekeningen bij college 1

enkele genoeg informatie korting ongeveer overstappen rechtstreekse reis spoor vertrekt

Examen HAVO. Wiskunde A1,2

Tentamen TI1300 en IN1305-A (Redeneren en) Logica

Transcriptie:

1. Vertaling in predicatenlogica Opdrachten Werkcollege 4 Vertaal de volgende zinnen naar de eerste orde predicatenlogica: Jan of Piet studeert wiskunde Moskou is een stad in Rusland Geen student die 5 krijgt bewondert zichzelf (neem aan dat 5 een constante is) Alle studenten dansen en zingen 2. Neo-Davidsoniaanse event representatie Vertaal de volgende zinnen in de eerste orde predicatenlogica, gebruikmakend van variabelen over events. Je hoeft nog geen informatie over de werkwoordstijd te verwerken. Jan kuste een meisje in de tuin Gisteren heeft Jan koffie gedronken met Marie in de kantine Jan ontmoette Piet gisteren op de universiteit Je mag hier Jan, Marie, Piet, een meisje, de tuin, koffie, de kantine, de universiteit, gisteren als constanten behandelen. 3. Representatie van tijd Geef aan de hand van je plaatjes en formules op p601 (of op de slides van het hoorcollege Betekenis 1) een vertaling van de volgende zinnen in de eerste orde predicatenlogica: Jan slaapt in een boomhut Jan sliep in een boomhut Jan gaat in een boomhut slapen 4. Representatie van tijd Fig 17.5 in het boek legt uit wat Reichenbaachse representatie van tijd in het Engels is. Bij het hoorcollege Betekenis 1 hebben we naar 2 zinnen gekeken: When Mary s flight departed, I ate lunch When Mary s flight departed, I had eaten lunch a. Teken een plaatje met Reichenbaachse representatie voor deze zinnen. Leg uit wat R, U en E voor staan. b. Geef aan de hand van je plaatjes en formules op p601 (of op de slides) een vertaling van de

zinnen in de eerste orde predicatenlogica. Let wel op dat je nu informatie over de tijd van de twee events moet verwerken. NP: Neem Mary s flight als een constante. 5. Lambda s Bekijk de volgende herschrijfgrammatica met bijbehorende semantiek. S NP VP { NP.sem(VP.sem) } NP Det N' { Det.sem(N.sem) } NP Eigennaam { Eigennaam.sem } VP V { V.sem } Eigennaam Piet { λp.p(p) } V slaapt { λx. Sl(x) } Hier is p de individuele constante die met Piet correspondeert en is Sl de predikaatlogische vertaling van "slapen". a. Deze grammatica kan precies 1 grammaticale zin afleiden. Laat zien hoe de grammatica tot de semantiek van deze zin komt. Doe dit als volgt. Teken eerst een boomstructuur voor de syntaxis van de zin. Teken vervolgens dezelfde structuur, maar vul hier de relevante semantiek in. Vervolgens achterhaal je de zinssemantiek door conversiestappen met de lambda-termen te doen. Laat elke stap zien. b. We voegen nu extra regels toe: N' N { N.sem } Det elke { λp.λq. y[p(y) Q(y)] } N student { λx.std(x) } Hier is Std de predikaatlogische vertaling van "student". Laat zien hoe de grammatica tot de semantiek van "Elke student slaapt" komt. Doe dit op dezelfde manier als in 5a. c. In predikatenlogica gebruiken we de afkorting "!" voor de kwantor "precies één". Dat wil zeggen dat de formule!y[p(y)] waar is dan en slechts dan als er precies één individu is die eigenschap P heeft. We willen nu dat de zin "Precies één student slaapt" de volgende semantiek toegekend krijgt:! y[std(y) Sl(y)]. We gaan er van uit dat "precies één" als geheel in het lexicon is opgenomen en van de categorie Det is. We voegen dus de volgende regel toe:

Det precies één {......... } Geef de semantische vertaling (semantic attachment) die tussen de accolades in deze regel moet staan om de gewenste semantiek te krijgen. 6. Pragmatiek Laat van elke zin in (b) zien of het een entailment, implicatuur, of presuppositie is van de corresponderende zin(nen) in (a). 1. a. Mijn broertje snapt niks van semantiek. b. Ik heb een broertje. 2. a. Spreker 1: Was het een leuk feestje? Spreker 2: Nou, het bier was goedkoop. b. Het was een stom feestje. 3. a. Als Herbert met de auto is, gaat-ie te laat komen. b. Ik weet niet of Herbert met de auto is. 4. a. Alle studenten hebben een voldoende gehaald. b. Sommige studenten hebben een voldoende gehaald. 5. a. Sommige studenten hebben een voldoende gehaald. b. Niet alle studenten hebben een voldoende gehaald. 6. a. Het spijt me dat ik je speelgoedbeer kapot heb gemaakt. b. Ik heb je speelgoedbeer kapotgemaakt. 7. Discourse Beschouw de volgende discourses: (i) Een student kocht een boek van Chomsky. Hij is taalkundige. Yoad bewondert hem. (ii) Yoad bewondert een taalkundige. Hij heet Chomsky. Een student kocht een boek van hem. a. Onder A, B, C en D zijn vier DRS en getekend. Geef voor elk van de vier DRS en aan of deze een representatie kunnen zijn van de betekenis van de discourses in (i) en (ii). Motiveer je antwoord door uit te leggen hoe de anafora resolutie tot stand komt. A

Student(u) v=chomsky Boek(w) Van(w,v) Kopen(u,w) Taalkundige(x) x=u y=yoad Bewonderen(y,z) z=u B Student(u) v=chomsky Boek(w) Van(w,v) Kopen(u,w) Taalkundige(x) x=v y=yoad Bewonderen(y,z) z=v C u=yoad Taalkundige(v) Bewonderen(u,v) w=chomsky w=v Student(x) Boek(y)

Van(y,z) z=x Kopen(x,y) D u=yoad Taalkundige(v) Bewonderen(u,v) w=chomsky w=u Student(x) Boek(y) Van(y,z) z=v Kopen(x,y) b. Discourse (ii) is ambigu en staat meerdere mogelijke interpretaties toe. Spel een mogelijke interpretatie van (ii) uit die niet in A-D staat, en werk deze uit in een DRS. Licht toe hoe je proces van anaforaresolutie tot stand komt in de DRS, en hoe deze verschilt van de interpretaties die in A-D zijn gegeven.