Natural Language Processing (TIL)

Information for students: On this page you may find presentations of lectures, exercises, and other study materials.

Procedural Semantics for Hyperintensional Logic: Springer Book, Duží, Jespersen, Materna 2010

Lectures:

Part I; Theoretical Foundations of TIL

Lecture 1 Logical semantics
Lecture 2 Foundations of TIL; method of analysis
Lecture 3 Analytical vs. empirical; presupposition vs. entailment
Lecture 4 beta conversion; substitution method
Lecture 5 de dicto vs. de re, ambiguities in natural language
Lecture 6 Three kinds of context

Part II; Applications to natural-language processing

Lecture 7 Logic of doxastic attitudes
Lecture 8 Logic of epistemic attitudes
Lecture 9 Attitudes of seeking and finding
Lecture 10 Anaphora resolution, substitution method. Solution of the exercise to Lecture 9
Lecture 11 Property modifiers
Lecture 12 Sentences in different tenses with reference time. For details, see the paper Tenses and truth-conditions
Lecture 12a Agents' dynamic activities in different tenses. For details, see the paper Agents dynamic activities in present, past and future
Lecture 13 Existence and God

Exercises: Exercise 1 Exercise 2 Exercise 3 Exercise 4 Exercise 5 Exercise 6 Exercise 7 Exercise 8