Skip to main content
Skip header

Natural-language Processing

* Exchange students do not have to consider this information when selecting suitable courses for an exchange stay.

Course Unit Code460-4092/01
Number of ECTS Credits Allocated4 ECTS credits
Type of Course Unit *Choice-compulsory
Level of Course Unit *Second Cycle
Year of Study *First Year
Semester when the Course Unit is deliveredSummer Semester
Mode of DeliveryFace-to-face
Language of InstructionCzech
Prerequisites and Co-Requisites Course succeeds to compulsory courses of previous semester
Name of Lecturer(s)Personal IDName
DUZ48prof. RNDr. Marie Duží, CSc.
Summary
Study of the problems and methods of Logical semantics and knowledge representation. A fine-grained analysis of the meaning of natural language expressions consists in discovering algorithmically structured procedure known as TIL construction encoded by the expression. The analysis must fine-grained in order to make it possible to infer relevant consequences. At the same time it is necessary to formalize the results of an analysis so that they are computationally tractable. The students will learn to solve these problems in such a way that undesirable paradoxes and inconsistencies are avoided. An adequate logical construction is a necessary condition of a valid inference. Thus the formalized analysis can be used in knowledge-base systems of artifical intelligence, it makes it possible to automatically translate texts, to make use of it in multi-agent systems, etc.
Learning Outcomes of the Course Unit
A student enrolled in the course obtains knowledge on a rather new discipline "Logical semantics and knowledge representation" that belongs to the fundamentals of artificial intelligence.
Course Contents
Lectures:
1) Principles of logical analysis. Paradoxical arguments resulting from a coarse-grained analysis of premises.
2) Frege-Church semantic schema. Denotational vs. procedural semantics.
3) Transparent Intensional Logic: constructions.
4) Ramified hierarchy of types, epistemic base, intensions vs. extensions.
5) Non-existence and modalities.
6) Knowledge reprezentation and ontology.
7) Ontology as a logic of intensions
8) Hyperintensional, partial typed lambda calculus.
9) Dynamic reasoning and temporal logic.
10) Communication of agents in a multi-agent system.

Seminars:
1) Principles of logical analysis. Paradoxical arguments resulting from a coarse-grained analysis of premises.
2) Frege-Church semantic schema. Denotational vs. procedural semantics.
3) Transparent Intensional Logic: constructions.
4) Ramified hierarchy of types, epistemic base, intensions vs. extensions.
5) Non-existence and modalities.
6) Knowledge reprezentation and ontology.
7) Ontology as a logic of intensions
8) Hyperintensional, partial typed lambda calculus.
9) Dynamic reasoning and temporal logic.
10) Communication of agents in a multi-agent system.
Recommended or Required Reading
Required Reading:
[1] Duží, M., Jespersen B., Materna, P. (2010): Procedural Semantics for Hyper-intensional Logic. Sprinter.
[1] Duží M., Materna P. (2012): TIL jako procedurální logika (průvodce zvídavého čtenáře Transparentní intensionální logikou). Aleph Bratislava 2012, ISBN 978-80-89491-08-7
[2] Duží, M., Jespersen B., Materna, P. (2010): Procedural Semantics for Hyper-intensional Logic. Sprinter.


Recommended Reading:
[1] Materna P.: Concepts and Objects. Acta Philosophica Fennica, Vol. 63, Helsinki 1998.
[2] Tichý, P.: The Foundations of Frege's Logic. De Gruyter 1988.
[3] Duží, M., Materna P.: Constructions.
[1] Materna, P., Pala, K., Zlatuška, J.: Logická analýza přirozeného jazyka. Praha 1989.
[2] Šefránek, J.: Inteligencia ako výpočet. IRIS Bratislava, 2000.
[3] Materna P.: Concepts and Objects. Acta Philosophica Fennica, Vol. 63, Helsinki 1998.
[4] Tichý, P.: The Foundations of Frege's Logic. De Gruyter 1988.
[5] Duží, M., Materna P.: Constructions.
Planned learning activities and teaching methods
Lectures, Seminars, Individual consultations, Tutorials
Assesment methods and criteria
Task TitleTask TypeMaximum Number of Points
(Act. for Subtasks)
Minimum Number of Points for Task Passing
Credit and ExaminationCredit and Examination100 (100)51
        CreditCredit45 20
        ExaminationExamination55 6