Course Unit Code | 460-4092/01 |
---|
Number of ECTS Credits Allocated | 4 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 delivered | Summer Semester |
---|
Mode of Delivery | Face-to-face |
---|
Language of Instruction | Czech |
---|
Prerequisites and Co-Requisites | Course succeeds to compulsory courses of previous semester |
---|
Name of Lecturer(s) | Personal ID | Name |
---|
| DUZ48 | prof. 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 Title | Task Type | Maximum Number of Points (Act. for Subtasks) | Minimum Number of Points for Task Passing |
---|
Credit and Examination | Credit and Examination | 100 (100) | 51 |
Credit | Credit | 45 | 20 |
Examination | Examination | 55 | 6 |