456-0119/01 – Principy logické analýzy jazyka (PLAJ)

Garantující katedraKatedra informatikyKredity4
Garant předmětuprof. RNDr. Marie Duží, CSc.Garant verze předmětuprof. RNDr. Marie Duží, CSc.
Úroveň studiapregraduální nebo graduálníPovinnostvolitelný odborný
Ročník2Semestrzimní
Jazyk výukyčeština
Rok zavedení2002/2003Rok zrušení2009/2010
Určeno pro fakultyFEIUrčeno pro typy studianavazující magisterské
Výuku zajišťuje
Os. čís.JménoCvičícíPřednášející
DUZ48 prof. RNDr. Marie Duží, CSc.
Rozsah výuky pro formy studia
Forma studiaZp.zak.Rozsah
prezenční Zápočet a zkouška 2+2
kombinovaná Zápočet a zkouška 10+0

Cíle předmětu vyjádřené dosaženými dovednostmi a kompetencemi

Absolvent předmětu získá znalosti z poměrně mladé disciplíny, která však patří k základům umělé inteligence. Přesné určení významu výrazu přirozeného jazyka spočívá v nalezení logické konstrukce - struktury, kterou výraz reprezentuje. Přitom tato analýza musí být natolik přesná, aby na jejím základě mohly být provedeny všechny adekvátní inference, tj. odvozeny přesně všechny logické důsledky, které z daného tvrzení vyplývají.

Vyučovací metody

Přednášky
Semináře
Individuální konzultace
Cvičení (v učebně)

Anotace

Student bude seznámen se základními problémy, které jsou předmětem discipliny Logická analýza přirozeného jazyka a s nedostatky jejich řešení v některých tradičních logických systémech. Na základě tzv. transparentní intensionální logiky se naučí tyto problémy řešit takovým způsobem, aby nedocházelo k nežádoucím paradoxům v úsudcích. Správná analýza, tj. adekvátní logická konstrukce, je nutnou podmínkou korektní inference a může pak sloužit např. jako podklad pro reprezentaci znalostí ve znalostních systémech umělé inteligence, umožňuje přesný (i automatický) překlad do jiného jazyka, apod.

Povinná literatura:

http://www.phil.muni.cz/fil/logika/til/ Materna, P., Pala, K., Zlatuška, J.: Logická analýza přirozeného jazyka. Praha 1989. Materna, P.: Svět pojmů a logika. AVČR Praha, 1995. Materna P.: Concepts and Objects. Acta Philosophica Fennica, Vol. 63, Helsinki 1998. Tichý, P.: The Foundations of Frege's Logic. De Gruyter 1988. Tichý, P.: O čem mluvíme? Vybrané stati k logice a sémantice. FILOSOFIA, Praha 1996. Materna, P., Štěpán J.: Filosofická logika: Nová cesta? Olomouc 2000. Duží, M., Materna P.: Constructions. Organon F. Filosofický časopis Bratislava. The Logica Yearbooks. FILOSOFIA Praha.

Doporučená literatura:

Duží, M., Materna P.: Constructions.

Forma způsobu ověření studijních výsledků a další požadavky na studenta

Průběžná kontrola studia: Písemný test, max. 30 bodů Podmínky udělení zápočtu: Dosažení minimálně 15 bodů z písemného testu

E-learning

Další požadavky na studenta

Prerekvizity

Předmět nemá žádné prerekvizity.

Korekvizity

Předmět nemá žádné korekvizity.

Osnova předmětu

Přednášky: Úvod. Logická analýza (přirozeného) jazyka. Co je významem výrazů přirozeného jazyka? Logické vyplývání jako předmět logiky. "Paradoxní" úsudky - nedokonalá analýza premis. Omezení predikátové logiky 1. řádu: Nedostatečný stupeň expresivity, extenzionalita. Fregeho problém, paradox analýzy. Frege-Church schéma: O čem mluvíme vs. způsob, jak o tom mluvíme. Denotační sémantika vs. procedurální sémantika. Transparentní intensionální logika: Charakteristické rysy. Jednoduchá teorie typů, epistémická báze (možné světy), intenze a extenze. Klíčový pojem - konstrukce. Problém (ne)existence, modality. Analýza otázek. Rozvětvená teorie typů, význam jako uzavřená konstrukce. Řešení paradoxu analýzy a paradoxu vševědoucnosti. Význam jako pojem generovaný příslušnou uzavřenou konstrukcí. Homonymní, synonymní a ekvivalentní výrazy. Analýza výrazů, obsahujících prázdné pojmy, užití a zmiňování pojmu. Parcialita, presupozice, supozice de re vs. de dicto. Propoziční a pojmové postoje. Problémy spojené s užíváním parciálních funkcí. Cvičení: Opakování základních pojmů predikátové logiky Správné úsudky, které nelze ověřit prostředky PL Typová analýza základních matematických výrazů Typová analýza (empirických) výrazů přirozeného jazyka Rozlišení intenzí a extenzí Nalezení TIL konstrukce - analýza jednoduchých matematických výrazů Analýza vět o (ne)existenci Modality (analýza nutnosti a možnosti) Analýza tázacích vět Rozvětvená teorie typů, teorie pojmu Analýza výrazů obsahujících prázdné pojmy, užití a zmiňování pojmu Presupozice, supozice de dicto / de re Propoziční a pojmové postoje Problémy spojené s užíváním parciálních funkcí

Podmínky absolvování předmětu

Podmínky absolvování jsou definovány pouze pro konkrétní verzi předmětu a formu studia

Výskyt ve studijních plánech

Akademický rokProgramObor/spec.Spec.ZaměřeníFormaJazyk výuky Konz. stř.RočníkZLTyp povinnosti
2009/2010 (N2647) Informační a komunikační technologie (2612T025) Informatika a výpočetní technika P čeština Ostrava 2 volitelný odborný stu. plán
2009/2010 (N2647) Informační a komunikační technologie (2612T025) Informatika a výpočetní technika K čeština Ostrava 2 volitelný odborný stu. plán
2009/2010 (N2646) Informační technologie (2612T025) Informatika a výpočetní technika P čeština Ostrava 3 volitelný odborný stu. plán
2008/2009 (N2646) Informační technologie (2612T025) Informatika a výpočetní technika P čeština Ostrava 3 volitelný odborný stu. plán
2008/2009 (N2647) Informační a komunikační technologie (2612T025) Informatika a výpočetní technika P čeština Ostrava 2 volitelný odborný stu. plán
2008/2009 (N2647) Informační a komunikační technologie (2612T025) Informatika a výpočetní technika K čeština Ostrava 2 volitelný odborný stu. plán
2008/2009 (N2646) Informační technologie (2612T025) Informatika a výpočetní technika K čeština Ostrava 3 volitelný odborný stu. plán
2007/2008 (N2646) Informační technologie (2612T025) Informatika a výpočetní technika P čeština Ostrava 3 volitelný odborný stu. plán
2007/2008 (M2612) Elektrotechnika a informatika (2612T018) Elektronika a sdělovací technika P čeština Ostrava povinně volitelný stu. plán
2007/2008 (M2612) Elektrotechnika a informatika (2642T004) Elektrické stroje, přístroje a pohony (10) Elektrické stroje a přístroje P čeština Ostrava povinně volitelný stu. plán
2007/2008 (M2612) Elektrotechnika a informatika (2642T004) Elektrické stroje, přístroje a pohony (20) Elektrické pohony a výkonová elektronika P čeština Ostrava povinně volitelný stu. plán
2007/2008 (M2612) Elektrotechnika a informatika (3902T023) Inženýrská informatika P čeština Ostrava povinně volitelný stu. plán
2007/2008 (N2646) Informační technologie (2612T025) Informatika a výpočetní technika K čeština Ostrava 3 volitelný odborný stu. plán
2007/2008 (N2647) Informační a komunikační technologie (2612T025) Informatika a výpočetní technika P čeština Ostrava 2 volitelný odborný stu. plán
2007/2008 (N2647) Informační a komunikační technologie (2612T025) Informatika a výpočetní technika K čeština Ostrava 2 volitelný odborný stu. plán
2006/2007 (N2646) Informační technologie (2612T025) Informatika a výpočetní technika P čeština Ostrava 3 volitelný odborný stu. plán
2006/2007 (M2612) Elektrotechnika a informatika (2601T004) Měřicí a řídicí technika P čeština Ostrava povinně volitelný stu. plán
2006/2007 (M2612) Elektrotechnika a informatika (2612T018) Elektronika a sdělovací technika P čeština Ostrava povinně volitelný stu. plán
2006/2007 (M2612) Elektrotechnika a informatika (2642T004) Elektrické stroje, přístroje a pohony (10) Elektrické stroje a přístroje P čeština Ostrava povinně volitelný stu. plán
2006/2007 (M2612) Elektrotechnika a informatika (2642T004) Elektrické stroje, přístroje a pohony (20) Elektrické pohony a výkonová elektronika P čeština Ostrava povinně volitelný stu. plán
2006/2007 (M2612) Elektrotechnika a informatika (3902T023) Inženýrská informatika P čeština Ostrava povinně volitelný stu. plán
2006/2007 (M2612) Elektrotechnika a informatika (3907T001) Elektroenergetika P čeština Ostrava povinně volitelný stu. plán
2006/2007 (N2646) Informační technologie (2612T025) Informatika a výpočetní technika K čeština Ostrava 3 volitelný odborný stu. plán
2006/2007 (N2647) Informační a komunikační technologie (2612T025) Informatika a výpočetní technika P čeština Ostrava 2 volitelný odborný stu. plán
2006/2007 (N2647) Informační a komunikační technologie (2612T025) Informatika a výpočetní technika K čeština Ostrava 2 volitelný odborný stu. plán
2005/2006 (N2646) Informační technologie (2612T025) Informatika a výpočetní technika P čeština Ostrava 3 volitelný odborný stu. plán
2005/2006 (M2612) Elektrotechnika a informatika (2601T004) Měřicí a řídicí technika P čeština Ostrava povinně volitelný stu. plán
2005/2006 (M2612) Elektrotechnika a informatika (2612T018) Elektronika a sdělovací technika P čeština Ostrava povinně volitelný stu. plán
2005/2006 (M2612) Elektrotechnika a informatika (2642T004) Elektrické stroje, přístroje a pohony (10) Elektrické stroje a přístroje P čeština Ostrava povinně volitelný stu. plán
2005/2006 (M2612) Elektrotechnika a informatika (2642T004) Elektrické stroje, přístroje a pohony (20) Elektrické pohony a výkonová elektronika P čeština Ostrava povinně volitelný stu. plán
2005/2006 (M2612) Elektrotechnika a informatika (3902T023) Inženýrská informatika P čeština Ostrava povinně volitelný stu. plán
2005/2006 (M2612) Elektrotechnika a informatika (3907T001) Elektroenergetika P čeština Ostrava povinně volitelný stu. plán
2005/2006 (N2646) Informační technologie (2612T025) Informatika a výpočetní technika K čeština Ostrava 3 volitelný odborný stu. plán
2004/2005 (M2612) Elektrotechnika a informatika (3902T023) Inženýrská informatika P čeština Ostrava 5 povinně volitelný stu. plán
2004/2005 (N2646) Informační technologie (2612T025) Informatika a výpočetní technika P čeština Ostrava 3 volitelný odborný stu. plán
2004/2005 (M2612) Elektrotechnika a informatika (2601T004) Měřicí a řídicí technika P čeština Ostrava povinně volitelný stu. plán
2004/2005 (M2612) Elektrotechnika a informatika (2612T018) Elektronika a sdělovací technika P čeština Ostrava povinně volitelný stu. plán
2004/2005 (M2612) Elektrotechnika a informatika (2642T004) Elektrické stroje, přístroje a pohony (10) Elektrické stroje a přístroje P čeština Ostrava povinně volitelný stu. plán
2004/2005 (M2612) Elektrotechnika a informatika (2642T004) Elektrické stroje, přístroje a pohony (20) Elektrické pohony a výkonová elektronika P čeština Ostrava povinně volitelný stu. plán
2004/2005 (M2612) Elektrotechnika a informatika (3902T023) Inženýrská informatika P čeština Ostrava povinně volitelný stu. plán
2004/2005 (M2612) Elektrotechnika a informatika (3907T001) Elektroenergetika P čeština Ostrava povinně volitelný stu. plán
2004/2005 (N2646) Informační technologie (2612T025) Informatika a výpočetní technika K čeština Ostrava 3 volitelný odborný stu. plán
2003/2004 (M2612) Elektrotechnika a informatika (3902T023) Inženýrská informatika P čeština Ostrava 5 povinně volitelný stu. plán
2003/2004 (N2646) Informační technologie (2612T025) Informatika a výpočetní technika P čeština Ostrava 3 volitelný odborný stu. plán
2003/2004 (M2612) Elektrotechnika a informatika (2601T004) Měřicí a řídicí technika P čeština Ostrava povinně volitelný stu. plán
2003/2004 (M2612) Elektrotechnika a informatika (2612T018) Elektronika a sdělovací technika P čeština Ostrava povinně volitelný stu. plán
2003/2004 (M2612) Elektrotechnika a informatika (2642T004) Elektrické stroje, přístroje a pohony (10) Elektrické stroje a přístroje P čeština Ostrava povinně volitelný stu. plán
2003/2004 (M2612) Elektrotechnika a informatika (2642T004) Elektrické stroje, přístroje a pohony (20) Elektrické pohony a výkonová elektronika P čeština Ostrava povinně volitelný stu. plán
2003/2004 (M2612) Elektrotechnika a informatika (3902T023) Inženýrská informatika P čeština Ostrava povinně volitelný stu. plán
2003/2004 (M2612) Elektrotechnika a informatika (3907T001) Elektroenergetika P čeština Ostrava povinně volitelný stu. plán
2003/2004 (N2646) Informační technologie (2612T025) Informatika a výpočetní technika K čeština Ostrava 3 volitelný odborný stu. plán
2003/2004 (B2612) Elektrotechnika a informatika (1801R001) Informatika P čeština Ostrava 5 povinně volitelný stu. plán
2002/2003 (M2612) Elektrotechnika a informatika (2601T004) Měřicí a řídicí technika P čeština Ostrava povinně volitelný stu. plán
2002/2003 (M2612) Elektrotechnika a informatika (2612T018) Elektronika a sdělovací technika P čeština Ostrava povinně volitelný stu. plán
2002/2003 (M2612) Elektrotechnika a informatika (2642T004) Elektrické stroje, přístroje a pohony (10) Elektrické stroje a přístroje P čeština Ostrava povinně volitelný stu. plán
2002/2003 (M2612) Elektrotechnika a informatika (2642T004) Elektrické stroje, přístroje a pohony (20) Elektrické pohony a výkonová elektronika P čeština Ostrava povinně volitelný stu. plán
2002/2003 (M2612) Elektrotechnika a informatika (3902T023) Inženýrská informatika P čeština Ostrava povinně volitelný stu. plán
2002/2003 (M2612) Elektrotechnika a informatika (3907T001) Elektroenergetika P čeština Ostrava povinně volitelný stu. plán
2002/2003 (M2612) Elektrotechnika a informatika (3902T023) Inženýrská informatika P čeština Ostrava 5 povinně volitelný stu. plán

Výskyt ve speciálních blocích

Název blokuAkademický rokForma studiaJazyk výuky RočníkZLTyp blokuVlastník bloku

Hodnocení Výuky

Předmět neobsahuje žádné hodnocení.