Programování lingvistických úloh II (počítačová sémantika) - NPFL030

• Anglický název: Programming Linguistic Problems II (computational semantics)
• Zajišťuje: Ústav formální a aplikované lingvistiky (32-UFAL)
• Fakulta: Matematicko-fyzikální fakulta
• Platnost: od 2002
• Semestr: letní
• E-Kredity: 5
• Rozsah, examinace: letní s.:2/1, Zk [HT]
• Počet míst: neomezen
• Minimální obsazenost: neomezen
• 4EU+: ne
• Virtuální mobilita / počet míst pro virtuální mobilitu: ne
• Stav předmětu: zrušen
• Jazyk výuky: čeština
• Způsob výuky: prezenční
• Způsob výuky: prezenční
• Garant: Ing. Ivana Kruijffová, Dr.
• Kategorizace předmětu: Informatika > Počítačová a formální lingvistika
• Prerekvizity : NPFL012

Anotace

Poslední úprava: ()

Cílem tohoto předmětu je představit základní techniky používané při interpretaci významu vět a souvislých textů na počítači. Budou podrobně představeny některé základní metody výpočtu sémantických reprezentací a další práce s výsledky takového výpočtu (vyhodnocování pravdivosti, rozpoznávání mezivětných vztahů, atd.). Kromě teoretického základu bude pozornost věnována také konkrétní implementaci v Prologu.

Literatura

Poslední úprava: RNDr. Pavel Zakouřil, Ph.D. (05.08.2002)

• Blackburn P. and Bos J. Representation and Inference for Natural Language: A First Course in Computational Semantics. Manuscript 1998. http://www.coli.uni-sb.de/~bos/comsem/.

###WWW http://Kwetal.ms.mff.cuni.cz/~korbay/Vyuka/

Sylabus

Poslední úprava: ()

• 1. Sémantické reprezentace v predikátové logice prvního řádu a využití lambda kalkulu.

• 2. Různé dosahy kvantifikátorů.

• 3. Propoziční inference a inference v prvním řádu, unifikace.

• 4. Reprezentace diskurzu.

• 5. Elipsy a anaforické výrazy.