FI:IV029 Úvod do TIL - Informace o předmětu

IV029 Úvod do transparentní intenzionální logiky

Rozsah

2/0. 2 kr. (plus ukončení). Doporučované ukončení: zk. Jiná možná ukončení: k, z.

Vyučující

prof. RNDr. Marie Duží, CSc. (přednášející), doc. RNDr. Aleš Horák, Ph.D. (zástupce)

Garance

doc. RNDr. Aleš Horák, Ph.D.
Katedra strojového učení a zpracování dat – Fakulta informatiky
Dodavatelské pracoviště: Katedra strojového učení a zpracování dat – Fakulta informatiky

Rozvrh

každý sudý čtvrtek 14:00–17:50 B411

Předpoklady

Znalost základů predikátové logiky 1. řádu

Omezení zápisu do předmětu

Předmět je nabízen i studentům mimo mateřské obory.

Mateřské obory/plány

• Analýza a zpracování obrazu (program FI, N-VIZ)
• Aplikovaná informatika (program FI, B-AP)
• Aplikovaná informatika (program FI, N-AP)
• Bezpečnost informačních technologií (angl.) (program FI, N-IN)
• Bezpečnost informačních technologií (program FI, N-IN)
• Bioinformatika a systémová biologie (program FI, N-UIZD)
• Bioinformatika (program FI, B-AP)
• Bioinformatika (program FI, N-AP)
• Computer Games Development (program FI, N-VIZ_A)
• Computer Graphics and Visualisation (program FI, N-VIZ_A)
• Computer Networks and Communications (program FI, N-PSKB_A)
• Cybersecurity Management (program FI, N-RSSS_A)
• Formální analýza počítačových systémů (program FI, N-TEI)
• Grafický design (program FI, N-VIZ)
• Graphic Design (program FI, N-VIZ_A)
• Hardware Systems (program FI, N-PSKB_A)
• Hardwarové systémy (program FI, N-PSKB)
• Image Processing and Analysis (program FI, N-VIZ_A)
• Informační bezpečnost (program FI, N-PSKB)
• Informační systémy (program FI, N-IN)
• Informatika a druhý obor (program FI, B-EB)
• Informatika a druhý obor (program FI, B-FY)
• Informatika a druhý obor (program FI, B-IO)
• Informatika a druhý obor (program FI, B-MA)
• Informatika a druhý obor (program FI, B-TV)
• Informatika (angl.) (program FI, D-IN4)
• Informatika (program FI, B-INF) (2)
• Informatika (program FI, D-IN4)
• Informatika ve vzdělávání (program FI, B-IVV) (2)
• Information Security (program FI, N-PSKB_A)
• Kvantové a jiné neklasické výpočetní modely (program FI, N-TEI)
• Matematická informatika (program FI, B-IN)
• Paralelní a distribuované systémy (program FI, B-IN)
• Paralelní a distribuované systémy (program FI, N-IN)
• Počítačová grafika a vizualizace (program FI, N-VIZ)
• Počítačová grafika a zpracování obrazu (program FI, B-IN)
• Počítačová grafika (program FI, N-IN)
• Počítačové sítě a komunikace (program FI, B-IN)
• Počítačové sítě a komunikace (program FI, N-IN)
• Počítačové sítě a komunikace (program FI, N-PSKB)
• Počítačové systémy a technologie (angl.) (program FI, D-IN4)
• Počítačové systémy a technologie (program FI, D-IN4)
• Počítačové systémy a zpracování dat (program FI, B-IN)
• Počítačové systémy (program FI, N-IN)
• Principy programovacích jazyků (program FI, N-TEI)
• Programování a vývoj aplikací (program FI, B-PVA)
• Programovatelné technické struktury (angl.) (program FI, N-IN)
• Programovatelné technické struktury (program FI, B-IN)
• Programovatelné technické struktury (program FI, N-IN)
• Řízení kyberbezpečnosti (program FI, N-RSSS)
• Řízení vývoje služeb (program FI, N-RSSS)
• Řízení vývoje softwarových systémů (program FI, N-RSSS)
• Services Development Management (program FI, N-RSSS_A)
• Služby - výzkum, řízení a inovace (angl.) (program FI, N-AP)
• Služby - výzkum, řízení a inovace (program FI, N-AP)
• Sociální informatika (program FI, B-AP)
• Software Systems Development Management (program FI, N-RSSS_A)
• Software Systems (program FI, N-PSKB_A)
• Softwarové systémy (program FI, N-PSKB)
• Strojové učení a umělá inteligence (program FI, N-UIZD)
• Teoretická informatika (program FI, N-IN)
• Učitel informatiky a správce sítě (program FI, N-UCI)
• Učitelství informatiky pro střední školy (program FI, N-UCI) (2)
• Učitelství výpočetní techniky pro střední školy (program FI, N-SS) (2)
• Umělá inteligence a zpracování přirozeného jazyka (program FI, B-IN)
• Umělá inteligence a zpracování přirozeného jazyka (program FI, N-IN)
• Vývoj počítačových her (program FI, N-VIZ)
• Zpracování a analýza rozsáhlých dat (program FI, N-UIZD)
• Zpracování obrazu (program FI, N-AP)
• Zpracování přirozeného jazyka (program FI, N-UIZD)

Cíle předmětu

Absolvent předmětu získá znalosti z poměrně mladé disciplíny Procedurální sémantika a reprezentace znalostí, která však patří k základům umělé inteligence.
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 či kóduje. 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.

Výstupy z učení

Studenti se naučí související 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.

Osnova

• Deduktivní usuzování jako předmět logiky.
• "Paradoxní" úsudky - nedokonalá analýza premis.
• Omezení predikátové logiky 1. řádu, Frege-Church schéma, princip extenzionality, denotační sémantika vs. procedurální sémantika.
• Transparentní intensionální logika: konstrukce jakožto procedura.
• Jednoduchá teorie typů zahrnující neprocedurální objekty, epistémická báze, intenze a extenze.
• Rozvinutá teorie typů zahrnující procedurální objekty.
• Tři druhy kontextu: extenzionální, intenzionální a hyperintenzionální.
• Pravidla substituce a existenční generalizace
• Problémy neexistence a modality.
• Ontologie jako logika intensí, konceptuální analýza.
• Logika postojů, reprezentace znalostí a hyperintense.
• Dynamické usuzování a temporální logiky.
• Komunikace agentů v multi-agentním systému.

Literatura

• DUŽÍ, Marie a Pavel MATERNA. TIL jako procedurální logika : průvodce zvídavého čtenáře Transparentní intensionální logikou. 1. vyd. Bratislava: Aleph, 2012, 412 s. ISBN 9788089491087. info
• DUŽÍ, Marie, Bjorn Thoring F. JESPERSEN a Pavel MATERNA. Procedural Semantics for Hyperintensional Logic. First edition. Berlin: Springer Verlag, 2010, 552 s. Logic, Epistemology, and the Unity of Sciences, 17. ISBN 978-90-481-8811-6. info
• TICHÝ, Pavel. The foundations of Frege's logic. Berlin: Walter de Gruyter, 1988, xiii, 303. ISBN 3110116685. info

Výukové metody

přednášky, diskuse, konzultace, řešení základních úloh korespondenční formou

Metody hodnocení

Písemná zkouška s řešením základních úloh, ústní kolokvium.

Informace učitele

http://www.cs.vsb.cz/duzi/
Doplňkové materiály k předmětu najdou studenti na:        http://www.cs.vsb.cz/duzi/
Možnost konzultací rovněž prostřednictvím email: marie.duzi@vsb.cz

Další komentáře

Studijní materiály
Předmět je vyučován každoročně.

• Statistika zápisu (podzim 2019, nejnovější)
  
• Permalink: https://is.muni.cz/predmet/fi/podzim2019/IV029