SluitenHelpPrint
Switch to English
Cursus: KI3V12014
KI3V12014
Semantics
Cursus informatieRooster
CursuscodeKI3V12014
Studiepunten (ECTS)7,5
Categorie / Niveau3 (Bachelor Gevorderd)
CursustypeCursorisch onderwijs
VoertaalEngels
Aangeboden doorFaculteit Geesteswetenschappen; BA Onderwijs Geesteswetenschappen; Ug School Filosofie en Religiewetenschap;
Contactpersoondr. Y. Winter
E-maily.winter@uu.nl
Docenten
Docent
van der Klis
Overige cursussen docent
Docent
dr. E.G. Ruys
Overige cursussen docent
Contactpersoon van de cursus
dr. Y. Winter
Overige cursussen docent
Docent
dr. Y. Winter
Feedback en bereikbaarheid
Overige cursussen docent
Blok
2  (12-11-2018 t/m 25-01-2019)
Aanvangsblok
2
TimeslotC: MA-middag/namiddag,DI-middag, DO-ochtend
Onderwijsvorm
Voltijd
Cursusinschrijving geopendvanaf 22-10-2018 09:00 t/m 23-10-2018 23:59
AanmeldingsprocedureOsiris
Inschrijven via OSIRISJa
Inschrijven voor bijvakkersJa
VoorinschrijvingNee
WachtlijstNee
Plaatsingsprocedure(Sub)school
Cursusdoelen
1. Mastering logical techniques in formal semantics (types, lambdas, intensions).
2. Learning to describe semantic phenomena in natural language using these techniques.
3. Learning about problems, theories and applications in formal semantics by studying relevant literature.
4. Learning about problems, theories and applications in computational semantics and/or experimental semantics and pragmatics.
 
Inhoud
Deze cursus maakt deel uit van het verdiepingspakket Reasoning and Language.

What are the relations between mathematical logic and meanings in natural language? Can the semantics of natural languages be described in mathematical-logical means? What sort of linguistic phenomena are most amenable to logical treatment? How expressible should such logics be, and how can they be defined? Can logical treatments of natural language meaning help computers to understand it? What is the experimental support for semantic theory? 
This course will give an intensive introduction to the study of these questions in contemporary theoretical, computational and experimental linguistics. We will start from basic notions in formal semantics: entailment, ambiguity, compositionality, direct model-theoretic interpretation, types and model structure, boolean operators and generalized quantifiers. Motivations and examples will draw on recent research of coordination, quantifier scope and intensionality. A selection of diverse semantic problems involving plural expressions, spatial expressions, lexical meaning and pragmatics will be discussed.
Part of the course will cover on-going work on the computation of meaning for natural language. We will learn about applications of formal semantics for reasoning using natural language, for the representation of ambiguity, and for translation from English to the Haskell programming language. We will cover on-going experimental work in experimental semantics and pragmatics, and show how it is related to the logical topics of this course.
For literature see the list of materials (“materialen”). The course will also draw on articles that will be distributed to the students.

Early Exit option for international exchange students (5 ECTS)
 
Exchange students who are required to return to their home university before January, are allowed to choose an Early Exit option for this course. The Early Exit option means that students can finish the course before Christmas break, receiving 5 ECTS for the course. Students must make arrangements with the course coordinator at the start of the course.

 
 
Ingangseisen
Voorkennis
Syntactic and semantic foundations of (1) logical languages (predicate logic and propositional logic), (2) natural language, and in addition (3) basic mastery of set theory. These pre-supposed materials are covered by the KI courses (1) Logica (KI) (2) Inleiding Taalkunde of Van taal naar theorie (3) Computationele Linguïstiek (4) Wiskunde voor KI.
Verplicht materiaal
-
Aanbevolen materiaal
Boek
Y. Winter, Elements of Formal Semantics, Edinburgh University Press, 2016. http://www.phil.uu.nl/~yoad/efs/main.html
Boek
Daniel Jurafsky and James H. Martin, Speech and Language Prosessing (2nd), Prentice Hall 2008
Werkvormen
Hoorcollege

Voorbereiding bijeenkomsten
classes require on avarage 3 hours for reading the syllabus; tutorials require on avarage 3 hours for preparing the homework assignments.

Werkcollege

Toetsen
Eindtoets
Weging70
Minimum cijfer-

Opdracht(en)
Weging30
Minimum cijfer-

SluitenHelpPrint
Switch to English