460-4092/01 – Zpracování přirozeného jazyka (ZPJ)
Garantující katedra | Katedra informatiky | Kredity | 4 |
Garant předmětu | prof. RNDr. Marie Duží, CSc. | Garant verze předmětu | prof. RNDr. Marie Duží, CSc. |
Úroveň studia | pregraduální nebo graduální | Povinnost | volitelný odborný |
Ročník | 2 | Semestr | letní |
| | Jazyk výuky | čeština |
Rok zavedení | 2015/2016 | Rok zrušení | |
Určeno pro fakulty | FEI | Určeno pro typy studia | navazující magisterské |
Cíle předmětu vyjádřené dosaženými dovednostmi a kompetencemi
Absolvent předmětu získá znalosti z poměrně mladé disciplíny Logická sémantika a reprezentace znalostí, která však patří k základům umělé inteligence.
Vyučovací metody
Přednášky
Semináře
Individuální konzultace
Cvičení (v učebně)
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:
Doporučená literatura:
[1] Materna, P., Pala, K., Zlatuška, J.: Logická analýza přirozeného jazyka. Praha 1989.
[2] Šefránek, J.: Inteligencia ako výpočet. IRIS Bratislava, 2000.
[3] Materna P.: Concepts and Objects. Acta Philosophica Fennica, Vol. 63, Helsinki 1998.
[4] Tichý, P.: The Foundations of Frege's Logic. De Gruyter 1988.
[5] Duží, M., Materna P.: Constructions.
Další studijní materiály
Forma způsobu ověření studijních výsledků a další požadavky na studenta
V průběhu semestru studenti absolvují zápočtovou písemku a následně ústní zkoušku.
E-learning
Další požadavky na studenta
Žádné další požadavky na studenta nejsou kladeny.
Prerekvizity
Předmět nemá žádné prerekvizity.
Korekvizity
Předmět nemá žádné korekvizity.
Osnova předmětu
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.
Podmínky absolvování předmětu
Výskyt ve studijních plánech
Výskyt ve speciálních blocích
Hodnocení Výuky