FI:IV029 Logická analýza přir. jazyka I - Informace o předmětu

IV029 Logická analýza přirozeného jazyka I

Rozsah

2/0. 2 kr. (plus ukončení). Doporučované ukončení: k. Jiná možná ukončení: zk, z.

Vyučující

prof. PhDr. Pavel Materna, CSc. (přednášející)

Garance

prof. Ing. Václav Přenosil, CSc.
Katedra strojového učení a zpracování dat – Fakulta informatiky
Kontaktní osoba: prof. PhDr. Pavel Materna, CSc.

Rozvrh

Čt 10:00–11:50 A107

Předpoklady

Žádoucí je znalost elementární logiky.

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

• Aplikovaná informatika (program FI, B-AP)
• Aplikovaná informatika (program FI, N-AP)
• Bezpečnost informačních technologií (program FI, N-IN)
• Bioinformatika (program FI, B-AP)
• Bioinformatika (program FI, N-AP)
• Informační systémy (program FI, N-IN)
• Informatika a druhý obor (program FI, B-BI)
• Informatika a druhý obor (program FI, B-FY)
• Informatika a druhý obor (program FI, B-GE)
• Informatika a druhý obor (program FI, B-GK)
• Informatika a druhý obor (program FI, B-CH)
• Informatika a druhý obor (program FI, B-IO)
• Informatika a druhý obor (program FI, B-MA)
• Informatika a druhý obor (program FI, B-SO)
• Informatika a druhý obor (program FI, B-TV)
• Informatika (angl.) (program FI, D-IN4)
• Informatika (program FI, B-IN)
• Informatika (program FI, D-IN)
• Informatika (program FI, D-IN4)
• Informatika (program FI, M-IN)
• Informatika (program FI, N-IN)
• Matematická informatika (program FI, B-IN)
• Paralelní a distribuované systémy (program FI, B-IN)
• Paralelní a distribuované systémy (program FI, N-IN)
• Počítačová grafika a zpracování obrazu (program FI, B-IN)
• Počítačová grafika (program FI, N-IN)
• Počítačové sítě a komunikace (program FI, B-IN)
• Počítačové sítě a komunikace (program FI, N-IN)
• Počítačové systémy a technologie (angl.) (program FI, D-IN4)
• Počítačové systémy a technologie (program FI, D-IN4)
• Počítačové systémy a zpracování dat (program FI, B-IN)
• Počítačové systémy (program FI, N-IN)
• Programovatelné technické struktury (angl.) (program FI, N-IN)
• Programovatelné technické struktury (program FI, B-IN)
• Programovatelné technické struktury (program FI, N-IN)
• Služby - výzkum, řízení a inovace (angl.) (program FI, N-AP)
• Služby - výzkum, řízení a inovace (program FI, N-AP)
• Teoretická informatika (program FI, N-IN)
• Učitelství výpočetní techniky pro střední školy (program FI, M-SS)
• Učitelství výpočetní techniky pro střední školy (program FI, M-TV)
• Učitelství výpočetní techniky pro střední školy (program FI, N-SS) (2)
• Umělá inteligence a zpracování přirozeného jazyka (program FI, B-IN)
• Umělá inteligence a zpracování přirozeného jazyka (program FI, N-IN)
• Zpracování obrazu (program FI, N-AP)

Cíle předmětu

Student bude na konci kurzu umět syntetizovat význam výrazu na základě významů jeho složek. V nepříliš komplikovaných případech bude umět napsat příslušnou proceduru (konstrukci). Bude schopen obhájit antikontextualismus na základě rozlišení významu a supozice. V podstatě si osvojí procedurální metodu analýzy.

Osnova

• Problém významu. Syntaktika, sémantika, pragmatika. Frege: smysl a význam. Kritika Fregovy sémantiky. Kritika Quineovy behavioristické sémantiky. Teorie možných světů. Kripke, Montague, Tichý. Funkcionální teorie významu. Funkce jako předpis, funkce jako zobrazení. Princip extensionality, kompozicionalita. Prostá hierarchie typů. Atomické a složené typy řádu 1. Intenze, extenze. Typová analýza výrazů. Pojem konstrukce. Rozvětvená hierarchie typů. De re a de dicto. Propoziční postoje. Pojmové postoje. Tázací věty.

Literatura

• TICHÝ, Pavel. O čem mluvíme? :vybrané stati k logice a sémantice. Edited by Jaroslav Peregrin. Vyd. 1. Praha: Filosofia, 1996, 161 s. ISBN 80-7007-087-0. info
• MATERNA, Pavel. Logická analýza přirozeného jazyka. Elportál. Brno: Masarykova univerzita, 2007. ISSN 1802-128X. URL info
• MATERNA, Pavel, Karel PALA a Jiří ZLATUŠKA. Logická analýza přirozeného jazyka. 1. vyd. Praha: Academia, 1989, 143 s. ISBN 80-200-0027-5. info

Výukové metody

přednášky, diskuse během přednášky, podle možností přizvání odborníka zvenčí.

Metody hodnocení

Prvni cast dvousemestrove prednasky. Po prvnim semestru ustni kolokvium na zaklade prednasky a doporucene literatury nebo zčásti písemná zkouška s řešením příkladu. Během přednášky jsou podporovány diskuse. Eventuální další literatura je doporučována během kurzu. Počítá se s možnou prezentací specialisty,

Informace učitele

http://www.phil.muni.cz/~materna
Možnost konzultací, i prostřednictvím e-mailu.

Další komentáře

Předmět je vyučován každoročně.

• Statistika zápisu (podzim 2009, nejnovější)
  
• Permalink: https://is.muni.cz/predmet/fi/podzim2009/IV029