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í
Garant: Ing. Ivana Kruijffová, Dr.
Kategorizace předmětu: Informatika > Počítačová a formální lingvistika
Prerekvizity : NPFL012
Výsledky anket   Termíny zkoušek   Rozvrh   Nástěnka   
Anotace
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.
Poslední úprava: ()
Literatura
  • 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/

Poslední úprava: Zakouřil Pavel, RNDr., Ph.D. (05.08.2002)
Sylabus
  • 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.

Poslední úprava: ()