Předmět Zpracování přirozeného jazyka (ZPJ)
Na serveru studentino.cz naleznete nejrůznější studijní materiály: zápisky z přednášek nebo cvičení, vzorové testy, seminární práce, domácí úkoly a další z předmětu ZPJ - Zpracování přirozeného jazyka, Vysoká škola báňská - Technická univerzita Ostrava (VŠB-TU).
Top 10 materiálů tohoto předmětu
Materiály tohoto předmětu
Materiál | Typ | Datum | Počet stažení |
---|
Další informace
Cíl
Absolvent předmětu získá znalosti z poměrně mladé disciplíny Logická sémantika a reprezentace znalostí, která všakpatří k základům umělé inteligence.
Osnova
Přednášky:1. Principy logické analýzy jazyka, Logické vyplývání jako předmět logiky. 2. "Paradoxní" úsudky - nedokonalá analýza premis. Omezení predikátové logiky 1. řádu.3. Frege-Church schéma, princip extensionality, Denotační sémantika vs. procedurální sémantika.4. Transparentní intensionální logika: konstrukce.5. Rozvinutá teorie typů, epistémická báze, intenze a extenze.6. Problémy neexistence a modality.7. Ontologie a konceptuální analýza.8. Reprezentace znalostí a ontologie.9. Hyperintensionální, parciální a typovaný lambda kalkul. 10. Dynamické usuzování a temporální logiky. 11. Automatizace usuzování a komunikace.12. Komunikace agentů v multi-agentním systému.Cvičení (učebna s tabulí):1. Principy logické analýzy jazyka, Logické vyplývání jako předmět logiky. 2. "Paradoxní" úsudky - nedokonalá analýza premis. Omezení predikátové logiky 1. řádu.3. Frege-Church schéma, princip extensionality, Denotační sémantika vs. procedurální sémantika.4. Transparentní intensionální logika: konstrukce.5. Rozvinutá teorie typů, epistémická báze, intenze a extenze.6. Problémy neexistence a modality.7. Ontologie a konceptuální analýza.8. Reprezentace znalostí a ontologie.9. Hyperintensionální, parciální a typovaný lambda kalkul. 10. Dynamické usuzování a temporální logiky. 11. Automatizace usuzování a komunikace.12. Komunikace agentů v multi-agentním systému.
Literatura
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.
Požadavky
Žádné
Garant
doc. RNDr. Marie Duží, CSc.
Vyučující
doc. RNDr. Marie Duží, CSc.Mgr. Marek Menšík, Ph.D.