FI:IA165 Combinatory Logic - Informace o předmětu
IA165 Combinatory Logic for Computational Semantics
Fakulta informatikyjaro 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
- Umělá inteligence a zpracování přirozeného jazyka (program FI, N-IN)
- 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