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í: k. Jiná možná ukončení: 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ý lichý čtvrtek 14:00–17:50 C525

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

• 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 (program FI, B-AP)
• Bioinformatika (program FI, N-AP)
• 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, D-IN4)
• 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 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é 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)
• Programovatelné technické struktury (angl.) (program FI, N-IN)
• Programovatelné technické struktury (program FI, B-IN)
• Programovatelné technické struktury (program FI, N-IN)
• 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)
• Teoretická informatika (program FI, N-IN)
• 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)
• Zpracování obrazu (program FI, N-AP)

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.
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.

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 2015, nejnovější)
  
• Permalink: https://is.muni.cz/predmet/fi/podzim2015/IV029