IA165 Combinatory Logic for Computational Semantics

Fakulta informatiky
jaro 2012
Rozsah
2/0/0. 2 kr. (plus ukončení). Ukončení: k.
Vyučující
Juyeon Kang, PhD. (přednášející), doc. Mgr. Pavel Rychlý, Ph.D. (zástupce)
RNDr. Vojtěch Kovář, Ph.D. (cvičící)
RNDr. Miloš Jakubíček, Ph.D. (cvičící)
Garance
prof. Ing. Václav Přenosil, CSc.
Katedra strojového učení a zpracování dat – Fakulta informatiky
Dodavatelské pracoviště: Katedra strojového učení a zpracování dat – Fakulta informatiky
Rozvrh
Pá 12:00–13:50 B410
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
Cíle předmětu
This course aims at introducing the Combinatory Logic and its application to computational semantics. We will mainly describe how the Combinatory Logic can be useful for semantic analysis of natural language from the computational point of view. Students in this course will have an opportunity to become familiar with a practical technique of computation semantics, learn to construct semantic representations of natural language and discover the properties of natural language most relevant to logical reasoning.
Osnova
  • A. Introduction to Combinatory Logic (CL): historical overview on CL, CL as an applicative system, abstract operators called combinators, normal form, β-reductions and definitions, equivalence to A. Church's λ-expressions, Curry-Howard isomorphism. B. Combinatory Logic as a tool for computational semantics: background on computational semantics, semantic representations of natural language; passivisation, quantifiers and scope, reflexivisation, aspectual and temporal relations, long-distance dependencies (non-local), cross-serial dependencies, semantic parsers; Boxer, Grail,....
Literatura
    doporučená literatura
  • HINDLEY, J. Roger a J. P. SELDIN. Lambda-calculus and combinators, an introduction. Cambridge University Press, 2008. info
Výukové metody
lectures, classwork
Metody hodnocení
final written test
Vyučovací jazyk
Angličtina
Další komentáře
Studijní materiály
Předmět je vyučován jednorázově.
  • Statistika zápisu (nejnovější)
  • Permalink: https://is.muni.cz/predmet/fi/jaro2012/IA165