Programming Linguistic Problems II (computational semantics) - NPFL030

• Title: Programování lingvistických úloh II (počítačová sémantika)
• Guaranteed by: Institute of Formal and Applied Linguistics (32-UFAL)
• Faculty: Faculty of Mathematics and Physics
• Actual: from 2002
• Semester: summer
• E-Credits: 5
• Hours per week, examination: summer s.:2/1, Ex [HT]
• Capacity: unlimited
• Min. number of students: unlimited
• 4EU+: no
• Virtual mobility / capacity: no
• State of the course: cancelled
• Language: Czech
• Teaching methods: full-time
• Teaching methods: full-time
• Guarantor: Ing. Ivana Kruijffová, Dr.
• Classification: Informatics > Computer and Formal Linguistics
• Pre-requisite : NPFL012

Annotation

Last update: ()

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.

Literature

Last update: 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/

Syllabus

Last update: ()

• 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.