460-4092/02 – Natural-language Processing (ZPJ)

Gurantor departmentDepartment of Computer ScienceCredits4
Subject guarantorprof. RNDr. Marie Duží, CSc.Subject version guarantorprof. RNDr. Marie Duží, CSc.
Study levelundergraduate or graduateRequirementChoice-compulsory
Year1Semestersummer
Study languageEnglish
Year of introduction2015/2016Year of cancellation
Intended for the facultiesFEIIntended for study typesFollow-up Master
Instruction secured by
LoginNameTuitorTeacher giving lectures
DUZ48 prof. RNDr. Marie Duží, CSc.
MEN059 Mgr. Marek Menšík, Ph.D.
Extent of instruction for forms of study
Form of studyWay of compl.Extent
Full-time Credit and Examination 2+2
Part-time Credit and Examination 10+0

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

Part-time form (validity from: 2015/2016 Winter semester)
Task nameType of taskMax. number of points
(act. for subtasks)
Min. number of pointsMax. počet pokusů
Credit and Examination Credit and Examination 100 (100) 51
        Credit Credit 45  20
        Examination Examination 55  6 3
Mandatory attendence participation: obligatory participation at all exercises, 3 absences with excused leave are acceptable

Show history

Conditions for subject completion and attendance at the exercises within ISP: Completion of all mandatory tasks within individually agreed deadlines

Show history

Occurrence in study plans

Academic yearProgrammeBranch/spec.Spec.ZaměřeníFormStudy language Tut. centreYearWSType of duty
2024/2025 (N0613A140035) Computer Science TI P English Ostrava 1 Choice-compulsory type A study plan
2023/2024 (N0613A140035) Computer Science TI P English Ostrava 1 Choice-compulsory type A study plan
2023/2024 (N2647) Information and Communication Technology (2612T025) Computer Science and Technology P English Ostrava 1 Choice-compulsory study plan
2022/2023 (N0613A140035) Computer Science TI P English Ostrava 1 Choice-compulsory type A study plan
2022/2023 (N2647) Information and Communication Technology (2612T025) Computer Science and Technology P English Ostrava 1 Choice-compulsory study plan
2021/2022 (N2647) Information and Communication Technology (2612T025) Computer Science and Technology P English Ostrava 1 Choice-compulsory study plan
2020/2021 (N2647) Information and Communication Technology (2612T025) Computer Science and Technology P English Ostrava 1 Choice-compulsory study plan
2019/2020 (N2647) Information and Communication Technology (2612T025) Computer Science and Technology P English Ostrava 1 Choice-compulsory study plan
2019/2020 (N2647) Information and Communication Technology (2612T025) Computer Science and Technology K English Ostrava 1 Choice-compulsory study plan
2018/2019 (N2647) Information and Communication Technology (2612T025) Computer Science and Technology P English Ostrava 1 Choice-compulsory study plan
2018/2019 (N2647) Information and Communication Technology (2612T025) Computer Science and Technology K English Ostrava 1 Choice-compulsory study plan
2017/2018 (N2647) Information and Communication Technology (1801T064) Information and Communication Security P English Ostrava 2 Optional study plan
2017/2018 (N2647) Information and Communication Technology (2612T025) Computer Science and Technology P English Ostrava 1 Choice-compulsory study plan
2017/2018 (N2647) Information and Communication Technology (2612T025) Computer Science and Technology K English Ostrava 1 Choice-compulsory study plan
2016/2017 (N2647) Information and Communication Technology (2612T025) Computer Science and Technology P English Ostrava 1 Choice-compulsory study plan
2016/2017 (N2647) Information and Communication Technology (2612T025) Computer Science and Technology K English Ostrava 1 Choice-compulsory study plan
2016/2017 (N2647) Information and Communication Technology (1801T064) Information and Communication Security P English Ostrava 2 Optional study plan
2015/2016 (N2647) Information and Communication Technology (2612T025) Computer Science and Technology P English Ostrava 1 Choice-compulsory study plan
2015/2016 (N2647) Information and Communication Technology (2612T025) Computer Science and Technology K English Ostrava 1 Choice-compulsory study plan

Occurrence in special blocks

Block nameAcademic yearForm of studyStudy language YearWSType of blockBlock owner

Assessment of instruction



2016/2017 Summer