460-6014/02 – Transparentní Intensionální Logika (TIL)

Garantující katedraKatedra informatikyKredity10
Garant předmětuprof. RNDr. Marie Duží, CSc.Garant verze předmětuprof. RNDr. Marie Duží, CSc.
Úroveň studiapostgraduálníPovinnostpovinně volitelný typu B
RočníkSemestrzimní + letní
Jazyk výukyangličtina
Rok zavedení2015/2016Rok zrušení
Určeno pro fakultyFEIUrčeno pro typy studiadoktorské
Výuku zajišťuje
Os. čís.JménoCvičícíPřednášející
DUZ48 prof. RNDr. Marie Duží, CSc.
Rozsah výuky pro formy studia
Forma studiaZp.zak.Rozsah
prezenční Zkouška 28+0
kombinovaná Zkouška 28+0

Cíle předmětu vyjádřené dosaženými dovednostmi a kompetencemi

Cílem předmětu je seznámit studenty s metodami logické analýzy jazyků.

Vyučovací metody

Semináře
Individuální konzultace

Anotace

Student bude seznámen s problémy, které jsou předmětem discipliny Logická sémantika a reprezentace znalostí. Přesné určení významu výrazu přirozeného jazyka spočívá v nalezení algoritmicky strukturované procedury, tj. konstrukce, kterou výraz reprezentuje. Přitom tato analýza musí být natolik přesná, aby na jejím základě mohly být provedeny adekvátní inference. Zároveň je nutno výsledky analýzy formalizovat tak, aby je bylo možno automaticky zpracovávat. Studenti se naučí tyto problémy řešit takovým způsobem, aby nedocházelo k nežádoucím paradoxům usuzování. Správná analýza, tj. adekvátní logická konstrukce, je nutnou podmínkou korektní inference a může pak sloužit např. jako podklad pro reprezentaci znalostí ve znalostních systémech umělé inteligence, umožňuje přesný (i automatický) překlad do jiného jazyka, využití v multi-agentních systémech pro komunikaci agentů, apod.

Povinná literatura:

Duží, M., Jespersen B., Materna, P. (2010): Procedural Semantics for Hyper-intensional Logic. Sprinter. Duží, M., Materna P.: Constructions. http://til.phil.muni.cz/text/constructions_duzi_materna.pdf

Doporučená literatura:

Materna, P., Pala, K., Zlatuška, J.: Logická analýza přirozeného jazyka. Praha 1989. Šefránek, J.: Inteligencia ako výpočet. IRIS Bratislava, 2000. Materna P.: Concepts and Objects. Acta Philosophica Fennica, Vol. 63, Helsinki 1998. Tichý, P.: The Foundations of Frege's Logic. De Gruyter 1988.

Forma způsobu ověření studijních výsledků a další požadavky na studenta

Ústní zkouška

E-learning

Další požadavky na studenta

Další požadavky na studenta nejsou.

Prerekvizity

Předmět nemá žádné prerekvizity.

Korekvizity

Předmět nemá žádné korekvizity.

Osnova předmětu

- Sémantické schéma TIL a procedury - Definice: Rozvětvená teorie typů, konstrukce - Metoda analýzy, Parmenidův princip - Definice kvantifikátorů včetně omezených, singularizátory - Empirické a analytické výrazy - Práce s parcialitou, kompozicionalita, rekvizity a prerekvizity - Pravidla odvozování, Beta-redukce - Tři druhy kontextu, substituční metoda - Procedurální isomorfismus - Logika postojů - Logika intensí, intensionální esencialismus - Teorie pojmů a modality

Podmínky absolvování předmětu

Prezenční forma (platnost od: 2015/2016 zimní semestr)
Název úlohyTyp úlohyMax. počet bodů
(akt. za podúlohy)
Min. počet bodůMax. počet pokusů
Zkouška Zkouška   3
Rozsah povinné účasti:

Zobrazit historii

Podmínky absolvování předmětu a účast na cvičeních v rámci ISP:

Zobrazit historii

Výskyt ve studijních plánech

Akademický rokProgramObor/spec.Spec.ZaměřeníFormaJazyk výuky Konz. stř.RočníkZLTyp povinnosti
2024/2025 (P0541D170006) Výpočetní a aplikovaná matematika K angličtina Ostrava povinně volitelný typu B stu. plán
2024/2025 (P0541D170006) Výpočetní a aplikovaná matematika P angličtina Ostrava povinně volitelný typu B stu. plán
2024/2025 (P0613D140006) Informatika K angličtina Ostrava povinně volitelný typu B stu. plán
2024/2025 (P0613D140006) Informatika P angličtina Ostrava povinně volitelný typu B stu. plán
2024/2025 (P0613D140033) Informatika a výpočetní vědy K angličtina Ostrava povinně volitelný typu B stu. plán
2024/2025 (P0613D140033) Informatika a výpočetní vědy P angličtina Ostrava povinně volitelný typu B stu. plán
2023/2024 (P0613D140033) Informatika a výpočetní vědy K angličtina Ostrava povinně volitelný typu B stu. plán
2023/2024 (P0613D140033) Informatika a výpočetní vědy P angličtina Ostrava povinně volitelný typu B stu. plán
2023/2024 (P0541D170006) Výpočetní a aplikovaná matematika K angličtina Ostrava povinně volitelný typu B stu. plán
2023/2024 (P0541D170006) Výpočetní a aplikovaná matematika P angličtina Ostrava povinně volitelný typu B stu. plán
2023/2024 (P0613D140006) Informatika K angličtina Ostrava povinně volitelný typu B stu. plán
2023/2024 (P0613D140006) Informatika P angličtina Ostrava povinně volitelný typu B stu. plán
2023/2024 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1801V001) Informatika P angličtina Ostrava povinně volitelný stu. plán
2023/2024 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1801V001) Informatika K angličtina Ostrava povinně volitelný stu. plán
2023/2024 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1103V036) Výpočetní a aplikovaná matematika P angličtina Ostrava povinně volitelný stu. plán
2023/2024 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1103V036) Výpočetní a aplikovaná matematika K angličtina Ostrava povinně volitelný stu. plán
2022/2023 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1103V036) Výpočetní a aplikovaná matematika P angličtina Ostrava povinně volitelný stu. plán
2022/2023 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1103V036) Výpočetní a aplikovaná matematika K angličtina Ostrava povinně volitelný stu. plán
2022/2023 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1801V001) Informatika P angličtina Ostrava povinně volitelný stu. plán
2022/2023 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1801V001) Informatika K angličtina Ostrava povinně volitelný stu. plán
2022/2023 (P0613D140006) Informatika P angličtina Ostrava povinně volitelný typu B stu. plán
2022/2023 (P0613D140006) Informatika K angličtina Ostrava povinně volitelný typu B stu. plán
2022/2023 (P0541D170006) Výpočetní a aplikovaná matematika K angličtina Ostrava povinně volitelný typu B stu. plán
2022/2023 (P0541D170006) Výpočetní a aplikovaná matematika P angličtina Ostrava povinně volitelný typu B stu. plán
2022/2023 (P0613D140033) Informatika a výpočetní vědy P angličtina Ostrava povinně volitelný typu B stu. plán
2022/2023 (P0613D140033) Informatika a výpočetní vědy K angličtina Ostrava povinně volitelný typu B stu. plán
2021/2022 (P0541D170006) Výpočetní a aplikovaná matematika P angličtina Ostrava povinně volitelný typu B stu. plán
2021/2022 (P0541D170006) Výpočetní a aplikovaná matematika K angličtina Ostrava povinně volitelný typu B stu. plán
2021/2022 (P0613D140006) Informatika K angličtina Ostrava povinně volitelný typu B stu. plán
2021/2022 (P0613D140006) Informatika P angličtina Ostrava povinně volitelný typu B stu. plán
2021/2022 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1103V036) Výpočetní a aplikovaná matematika P angličtina Ostrava povinně volitelný stu. plán
2021/2022 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1103V036) Výpočetní a aplikovaná matematika K angličtina Ostrava povinně volitelný stu. plán
2021/2022 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1801V001) Informatika P angličtina Ostrava povinně volitelný stu. plán
2021/2022 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1801V001) Informatika K angličtina Ostrava povinně volitelný stu. plán
2020/2021 (P0541D170006) Výpočetní a aplikovaná matematika P angličtina Ostrava povinně volitelný typu B stu. plán
2020/2021 (P0541D170006) Výpočetní a aplikovaná matematika K angličtina Ostrava povinně volitelný typu B stu. plán
2020/2021 (P0613D140006) Informatika P angličtina Ostrava povinně volitelný typu B stu. plán
2020/2021 (P0613D140006) Informatika K angličtina Ostrava povinně volitelný typu B stu. plán
2020/2021 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1103V036) Výpočetní a aplikovaná matematika P angličtina Ostrava povinně volitelný stu. plán
2020/2021 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1103V036) Výpočetní a aplikovaná matematika K angličtina Ostrava povinně volitelný stu. plán
2020/2021 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1801V001) Informatika P angličtina Ostrava povinně volitelný stu. plán
2020/2021 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1801V001) Informatika K angličtina Ostrava povinně volitelný stu. plán
2019/2020 (P0613D140006) Informatika P angličtina Ostrava povinně volitelný typu B stu. plán
2019/2020 (P0541D170006) Výpočetní a aplikovaná matematika P angličtina Ostrava povinně volitelný typu B stu. plán
2019/2020 (P0541D170006) Výpočetní a aplikovaná matematika K angličtina Ostrava povinně volitelný typu B stu. plán
2019/2020 (P0613D140006) Informatika K angličtina Ostrava povinně volitelný typu B stu. plán
2019/2020 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1103V036) Výpočetní a aplikovaná matematika P angličtina Ostrava povinně volitelný stu. plán
2019/2020 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1103V036) Výpočetní a aplikovaná matematika K angličtina Ostrava povinně volitelný stu. plán
2019/2020 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1801V001) Informatika P angličtina Ostrava povinně volitelný stu. plán
2019/2020 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1801V001) Informatika K angličtina Ostrava povinně volitelný stu. plán
2018/2019 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1103V036) Výpočetní a aplikovaná matematika P angličtina Ostrava povinně volitelný stu. plán
2018/2019 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1801V001) Informatika P angličtina Ostrava povinně volitelný stu. plán
2018/2019 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1103V036) Výpočetní a aplikovaná matematika K angličtina Ostrava povinně volitelný stu. plán
2018/2019 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1801V001) Informatika K angličtina Ostrava povinně volitelný stu. plán
2017/2018 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1103V036) Výpočetní a aplikovaná matematika P angličtina Ostrava povinně volitelný stu. plán
2017/2018 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1801V001) Informatika P angličtina Ostrava povinně volitelný stu. plán
2017/2018 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1103V036) Výpočetní a aplikovaná matematika K angličtina Ostrava povinně volitelný stu. plán
2017/2018 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1801V001) Informatika K angličtina Ostrava povinně volitelný stu. plán
2016/2017 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1103V036) Výpočetní a aplikovaná matematika P angličtina Ostrava povinně volitelný stu. plán
2016/2017 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1801V001) Informatika P angličtina Ostrava povinně volitelný stu. plán
2016/2017 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1103V036) Výpočetní a aplikovaná matematika K angličtina Ostrava povinně volitelný stu. plán
2016/2017 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1801V001) Informatika K angličtina Ostrava povinně volitelný stu. plán
2015/2016 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1103V036) Výpočetní a aplikovaná matematika P angličtina Ostrava povinně volitelný stu. plán
2015/2016 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1103V036) Výpočetní a aplikovaná matematika K angličtina Ostrava povinně volitelný stu. plán
2015/2016 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1801V001) Informatika P angličtina Ostrava povinně volitelný stu. plán
2015/2016 (P1807) Informatika, komunikační technologie a aplikovaná matematika (1801V001) Informatika K angličtina Ostrava povinně volitelný stu. plán

Výskyt ve speciálních blocích

Název blokuAkademický rokForma studiaJazyk výuky RočníkZLTyp blokuVlastník bloku

Hodnocení Výuky

Předmět neobsahuje žádné hodnocení.