Předmět Transparentní Intensionální Logika (TIL)
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 TIL - Transparentní Intensionální Logika, 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
Cílem předmětu je seznámit studenty s metodami logické analýzy jazyků.
Osnova
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 provedenyadekvá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ř. jakopodklad pro reprezentaci znalostí ve znalostních systémech umělé inteligence, umožňuje přesný (i automatický) překladdo jiného jazyka, využití v multi-agentních systémech pro komunikaci agentů, apod.
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
Požadavky
Žádné
Garant
doc. RNDr. Marie Duží, CSc.
Vyučující
doc. RNDr. Marie Duží, CSc.