FI:I044 Logická analýza přiroz. jazyka - Informace o předmětu

I044 Logická analýza přirozeného jazyka II

Rozsah

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

Vyučující

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

Garance

prof. PhDr. Karel Pala, CSc.
Katedra strojového učení a zpracování dat – Fakulta informatiky
Kontaktní osoba: prof. PhDr. Pavel Materna, CSc.

Rozvrh

Čt 11:00–12:50 B411

Předpoklady

( I029 Logická analýza přir. jazyka I && P998 Souborná zkouška ) || I997 Státní zkouška

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

• Informatika (program FI, B-IN)
• Informatika (program FI, M-IN)
• Učitelství výpočetní techniky pro střední školy (program FI, M-IN)
• Učitelství výpočetní techniky pro střední školy (program FI, M-SS)
• Výpočetní technika (program FI, B-IN)

Cíle předmětu

Výklad navazuje na předmět Logická analýza přirozeného jazyka I a zaměřuje se především na aplikaci transparentní intenzionální logiky. Z tohoto hlediska je vybudována teorie pojmů jakožto abstraktních procedur (je využito Churchovo ztotožnění pojmu s významem a požadavek strukturovanosti významu). Jsou řešeny sémantické problémy přirozeného jazyka na tomto základě.

Osnova

• Transparentní intenzionální logika. Obecná charakteristika. Jednoduchá teorie typů. Epistémická báze. Extenze a intenze. Extenzionální teorie intenzí. Pojem konstrukce. Porovnání s konstruktivismem. Modifikace rozvětvené teorie typů.
• Teorie pojmu. Výraz - pojem - objekt. Church: význam výrazu = pojem objektu. Quasi-identické uzavřené konstrukce. Pojem. Pojmové systémy.
• Řešení známých sémantických problémů: Existence. Intenzionální kontexty. Kvantifikace do intenzionálních kontextů. Paradox analýzy, paradox vševědoucnosti. Tvrzení identit. Analýza tázacích vět.

Další komentáře

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

• Statistika zápisu (nejnovější)
  
• Permalink: https://is.muni.cz/predmet/fi/jaro2002/I044