IA157 Logická analýza přirozeného jazyka II

Fakulta informatiky
jaro 2008
Rozsah
2/0. 2 kr. (plus ukončení). Ukončení: zk.
Vyučující
prof. PhDr. Pavel Materna, CSc. (přednášející)
Garance
prof. Ing. Václav Přenosil, CSc.
Katedra strojového učení a zpracování dat – Fakulta informatiky
Kontaktní osoba: prof. PhDr. Pavel Materna, CSc.
Rozvrh
Čt 12:00–13:50 B007
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
předmět má 19 mateřských oborů, zobrazit
Anotace
Transparentní intenzionální logika. Obecná charakteristika. Jednoduchá teorie typů. Epistémická báze. Extenze a intenze. Extenzionální teorie intenzí. Pojem konstrukce. Porovnání s konstruktivismem. Modifikace rozvětvené teorie typů.
Teorie pojmu. Výraz - pojem - objekt. Church: význam výrazu = pojem objektu. Quasi-identické uzavřené konstrukce. Pojem. Pojmové systémy.
Řešení známých sémantických problémů: Existence. Intenzionální kontexty. Kvantifikace do intenzionálních kontextů. Paradox analýzy, paradox vševědoucnosti. Tvrzení identit. Analýza tázacích vět.
Klíčová témata
  • Transparentní intenzionální logika. Obecná charakteristika. Jednoduchá teorie typů. Epistémická báze. Extenze a intenze. Extenzionální teorie intenzí. Pojem konstrukce. Porovnání s konstruktivismem. Modifikace rozvětvené teorie typů.
  • Teorie pojmu. Výraz - pojem - objekt. Church: význam výrazu = pojem objektu. Quasi-identické uzavřené konstrukce. Pojem. Pojmové systémy.
  • Řešení známých sémantických problémů: Existence. Intenzionální kontexty. Kvantifikace do intenzionálních kontextů. Paradox analýzy, paradox vševědoucnosti. Tvrzení identit. Analýza tázacích vět.
Studijní zdroje a literatura
  • TICHÝ, Pavel. O čem mluvíme? :vybrané stati k logice a sémantice. Edited by Jaroslav Peregrin. Vyd. 1. Praha: Filosofia, 1996, 161 s. ISBN 80-7007-087-0. info
  • MATERNA, Pavel. Svět pojmů a logika. 1. vyd. Praha: Filosofia, 1995, 136 s. ISBN 80-7007-078-1. info
Způsob ověření výstupů z učení a požadavky na ukončení
Navazuje na Logickou analyzu prirozeneho jazyka I. Na konci semestru zkouska vychazejici z prednasky a doporucene literatury. Zkouska se sklada z pisemneho vyreseni analyzy neprilis sloziteho vyrazu cestiny a z pohovoru o teoretickych zakladech.
Odkaz a informace vyučujících
http://www.phil.muni.cz/~materna; www.cs.vsb.cz/~duzi
Další komentáře
Předmět je vyučován každoročně.
Předmět je zařazen také v obdobích jaro 2003, jaro 2004, jaro 2005, jaro 2006, jaro 2007, jaro 2009, jaro 2010, jaro 2011, jaro 2012, jaro 2013, jaro 2014, jaro 2015.