460-4092/02 – Natural-language Processing (ZPJ)
Gurantor department | Department of Computer Science | Credits | 4 |
Subject guarantor | prof. RNDr. Marie Duží, CSc. | Subject version guarantor | prof. RNDr. Marie Duží, CSc. |
Study level | undergraduate or graduate | Requirement | Choice-compulsory |
Year | 1 | Semester | summer |
| | Study language | English |
Year of introduction | 2015/2016 | Year of cancellation | |
Intended for the faculties | FEI | Intended for study types | Follow-up Master |
Subject aims expressed by acquired skills and competences
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.
Teaching methods
Lectures
Seminars
Individual consultations
Tutorials
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.
Compulsory literature:
[1] Duží, M., Jespersen B., Materna, P. (2010): Procedural Semantics for Hyper-intensional Logic. Sprinter.
Recommended literature:
[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.
Way of continuous check of knowledge in the course of semester
During the semester, the students must pass the credit test, and at the end of the semester, the oral exam.
E-learning
Other requirements
There are no additional requirements imposed on the students.
Prerequisities
Subject has no prerequisities.
Co-requisities
Subject has no co-requisities.
Subject syllabus:
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.
Conditions for subject completion
Occurrence in study plans
Occurrence in special blocks
Assessment of instruction