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

Fakulta informatiky
jaro 2015
Rozsah
2/0. 2 kr. (plus ukončení). Ukončení: zk.
Vyučující
prof. PhDr. Pavel Materna, CSc. (přednášející)
Garance
doc. RNDr. Aleš Horák, Ph.D.
Katedra strojového učení a zpracování dat – Fakulta informatiky
Kontaktní osoba: prof. PhDr. Pavel Materna, CSc.
Dodavatelské pracoviště: Katedra strojového učení a zpracování dat – Fakulta informatiky
Rozvrh
Čt 12:00–13:50 B411
Předpoklady
doporučuje se zkouška z Logické analýzy přirozeného jazyka I.
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
předmět má 23 mateřských oborů, zobrazit
Cíle předmětu
Student na konci kurzu vykazuje následující znalosti a dovednosti: zná základní skutečnosti z historie teorie pojmu; dovede obhájit nutnost procedurálního pojetí pojmu; dovede napsat proceduru (konstrukci), která je vyjádřena daným výrazem; dovede rozlišit synonymii, ekvivalenci a koreferenci výrazů; dovede vytvářet pojmové systémy a pracovat s nimi.Je mu jasný vztah mezi pojmem a definicí.
Osnova
  • Opakování základních pojmů a principů Transparentní intenzionální logiky.
  • Z dějin teorií pojmu: Platón, Aristotelés,Bolzano, Frege, Church.
  • Realismus, nominalismus, konceptualismus.
  • Význam výrazu = pojem denotátu.
  • Pojem jako uzavřená konstrukce modulo alfa a éta redukce.
  • Indexické výrazy. Pojem jako význam neindexického výrazu.
  • Prázdné pojmy.
  • Jednoduché pojmy.
  • Pojmové systémy
Literatura
  • MATERNA, Pavel. Svět pojmů a logika. 1. vyd. Praha: Filosofia, 1995, 136 s. ISBN 80-7007-078-1. info
  • MATERNA, Pavel. Logická analýza přirozeného jazyka II. Elportál. Brno: Masarykova univerzita, 2007. ISSN 1802-128X. URL info
Výukové metody
přednášky spojené s diskusí (dotazy, debaty). Příležitostně přednáška pracovníka Fakulty informatiky VŠB TU Ostrava. Někdy zadání domácího úkolu. Povinná četba: elektronická skripta "Logická analýza přirozeného jazyka II".
Metody hodnocení
Jde o pokračování kurzu Logická analýza přirozeného jazyka I. Zakončení: zkouška, písemná část je zápis pojmu vyjádřeného daným výrazem, ústní část je diskuse o teoretických problémech. Během přednášky je podporována diskuse. Během kurzu může být doporučována dodatečná literatura. Počítá se i s možnosti prezentace specialisty.
Informace učitele
http://www.phil.muni.cz/~materna; www.cs.vsb.cz/~duzi
Možnost konzultací na základě úmluvy nebo i prostřednictvím e-mailu.
Další komentáře
Studijní materiály
Předmět je vyučován každoročně.
Předmět je zařazen také v obdobích jaro 2003, jaro 2004, jaro 2005, jaro 2006, jaro 2007, jaro 2008, jaro 2009, jaro 2010, jaro 2011, jaro 2012, jaro 2013, jaro 2014.

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

Fakulta informatiky
jaro 2014
Rozsah
2/0. 2 kr. (plus ukončení). Ukončení: zk.
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.
Dodavatelské pracoviště: Katedra strojového učení a zpracování dat – Fakulta informatiky
Rozvrh
Čt 12:00–13:50 B411
Předpoklady
doporučuje se zkouška z Logické analýzy přirozeného jazyka I.
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
předmět má 23 mateřských oborů, zobrazit
Cíle předmětu
Student na konci kurzu vykazuje následující znalosti a dovednosti: zná základní skutečnosti z historie teorie pojmu; dovede obhájit nutnost procedurálního pojetí pojmu; dovede napsat proceduru (konstrukci), která je vyjádřena daným výrazem; dovede rozlišit synonymii, ekvivalenci a koreferenci výrazů; dovede vytvářet pojmové systémy a pracovat s nimi.Je mu jasný vztah mezi pojmem a definicí.
Osnova
  • Opakování základních pojmů a principů Transparentní intenzionální logiky.
  • Z dějin teorií pojmu: Platón, Aristotelés,Bolzano, Frege, Church.
  • Realismus, nominalismus, konceptualismus.
  • Význam výrazu = pojem denotátu.
  • Pojem jako uzavřená konstrukce modulo alfa a éta redukce.
  • Indexické výrazy. Pojem jako význam neindexického výrazu.
  • Prázdné pojmy.
  • Jednoduché pojmy.
  • Pojmové systémy
Literatura
  • MATERNA, Pavel. Svět pojmů a logika. 1. vyd. Praha: Filosofia, 1995, 136 s. ISBN 80-7007-078-1. info
  • MATERNA, Pavel. Logická analýza přirozeného jazyka II. Elportál. Brno: Masarykova univerzita, 2007. ISSN 1802-128X. URL info
Výukové metody
přednášky spojené s diskusí (dotazy, debaty). Příležitostně přednáška pracovníka Fakulty informatiky VŠB TU Ostrava. Někdy zadání domácího úkolu. Povinná četba: elektronická skripta "Logická analýza přirozeného jazyka II".
Metody hodnocení
Jde o pokračování kurzu Logická analýza přirozeného jazyka I. Zakončení: zkouška, písemná část je zápis pojmu vyjádřeného daným výrazem, ústní část je diskuse o teoretických problémech. Během přednášky je podporována diskuse. Během kurzu může být doporučována dodatečná literatura. Počítá se i s možnosti prezentace specialisty.
Informace učitele
http://www.phil.muni.cz/~materna; www.cs.vsb.cz/~duzi
Možnost konzultací na základě úmluvy nebo i prostřednictvím e-mailu.
Další komentáře
Studijní materiály
Předmět je vyučován každoročně.
Předmět je zařazen také v obdobích jaro 2003, jaro 2004, jaro 2005, jaro 2006, jaro 2007, jaro 2008, jaro 2009, jaro 2010, jaro 2011, jaro 2012, jaro 2013, jaro 2015.

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

Fakulta informatiky
jaro 2013
Rozsah
2/0. 2 kr. (plus ukončení). Ukončení: zk.
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.
Dodavatelské pracoviště: Katedra strojového učení a zpracování dat – Fakulta informatiky
Rozvrh
Čt 12:00–13:50 G126
Předpoklady
doporučuje se zkouška z Logické analýzy přirozeného jazyka I.
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
předmět má 23 mateřských oborů, zobrazit
Cíle předmětu
Student na konci kurzu vykazuje následující znalosti a dovednosti: zná základní skutečnosti z historie teorie pojmu; dovede obhájit nutnost procedurálního pojetí pojmu; dovede napsat proceduru (konstrukci), která je vyjádřena daným výrazem; dovede rozlišit synonymii, ekvivalenci a koreferenci výrazů; dovede vytvářet pojmové systémy a pracovat s nimi.Je mu jasný vztah mezi pojmem a definicí.
Osnova
  • Opakování základních pojmů a principů Transparentní intenzionální logiky.
  • Z dějin teorií pojmu: Platón, Aristotelés,Bolzano, Frege, Church.
  • Realismus, nominalismus, konceptualismus.
  • Význam výrazu = pojem denotátu.
  • Pojem jako uzavřená konstrukce modulo alfa a éta redukce.
  • Indexické výrazy. Pojem jako význam neindexického výrazu.
  • Prázdné pojmy.
  • Jednoduché pojmy.
  • Pojmové systémy
Literatura
  • MATERNA, Pavel. Svět pojmů a logika. 1. vyd. Praha: Filosofia, 1995, 136 s. ISBN 80-7007-078-1. info
  • MATERNA, Pavel. Logická analýza přirozeného jazyka II. Elportál. Brno: Masarykova univerzita, 2007. ISSN 1802-128X. URL info
Výukové metody
přednášky spojené s diskusí (dotazy, debaty). Příležitostně přednáška pracovníka Fakulty informatiky VŠB TU Ostrava. Někdy zadání domácího úkolu. Povinná četba: elektronická skripta "Logická analýza přirozeného jazyka II".
Metody hodnocení
Jde o pokračování kurzu Logická analýza přirozeného jazyka I. Zakončení: zkouška, písemná část je zápis pojmu vyjádřeného daným výrazem, ústní část je diskuse o teoretických problémech. Během přednášky je podporována diskuse. Během kurzu může být doporučována dodatečná literatura. Počítá se i s možnosti prezentace specialisty.
Informace učitele
http://www.phil.muni.cz/~materna; www.cs.vsb.cz/~duzi
Možnost konzultací na základě úmluvy nebo i prostřednictvím e-mailu.
Další komentáře
Studijní materiály
Předmět je vyučován každoročně.
Předmět je zařazen také v obdobích jaro 2003, jaro 2004, jaro 2005, jaro 2006, jaro 2007, jaro 2008, jaro 2009, jaro 2010, jaro 2011, jaro 2012, jaro 2014, jaro 2015.

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

Fakulta informatiky
jaro 2012
Rozsah
2/0. 2 kr. (plus ukončení). Ukončení: zk.
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.
Dodavatelské pracoviště: Katedra strojového učení a zpracování dat – Fakulta informatiky
Rozvrh
Čt 12:00–13:50 G101
Předpoklady
doporučuje se zkouška z Logické analýzy přirozeného jazyka I.
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
předmět má 23 mateřských oborů, zobrazit
Cíle předmětu
Student na konci kurzu vykazuje následující znalosti a dovednosti: zná základní skutečnosti z historie teorie pojmu; dovede obhájit nutnost procedurálního pojetí pojmu; dovede napsat proceduru (konstrukci), která je vyjádřena daným výrazem; dovede rozlišit synonymii, ekvivalenci a koreferenci výrazů; dovede vytvářet pojmové systémy a pracovat s nimi.Je mu jasný vztah mezi pojmem a definicí.
Osnova
  • Opakování základních pojmů a principů Transparentní intenzionální logiky.
  • Z dějin teorií pojmu: Platón, Aristotelés,Bolzano, Frege, Church.
  • Realismus, nominalismus, konceptualismus.
  • Význam výrazu = pojem denotátu.
  • Pojem jako uzavřená konstrukce modulo alfa a éta redukce.
  • Indexické výrazy. Pojem jako význam neindexického výrazu.
  • Prázdné pojmy.
  • Jednoduché pojmy.
  • Pojmové systémy
Literatura
  • MATERNA, Pavel. Svět pojmů a logika. 1. vyd. Praha: Filosofia, 1995, 136 s. ISBN 80-7007-078-1. info
  • MATERNA, Pavel. Logická analýza přirozeného jazyka II. Elportál. Brno: Masarykova univerzita, 2007. ISSN 1802-128X. URL info
Výukové metody
přednášky spojené s diskusí (dotazy, debaty). Příležitostně přednáška pracovníka Fakulty informatiky VŠB TU Ostrava. Někdy zadání domácího úkolu. Povinná četba: elektronická skripta "Logická analýza přirozeného jazyka II".
Metody hodnocení
Jde o pokračování kurzu Logická analýza přirozeného jazyka I. Zakončení: zkouška, písemná část je zápis pojmu vyjádřeného daným výrazem, ústní část je diskuse o teoretických problémech. Během přednášky je podporována diskuse. Během kurzu může být doporučována dodatečná literatura. Počítá se i s možnosti prezentace specialisty.
Informace učitele
http://www.phil.muni.cz/~materna; www.cs.vsb.cz/~duzi
Možnost konzultací na základě úmluvy nebo i prostřednictvím e-mailu.
Další komentáře
Studijní materiály
Předmět je vyučován každoročně.
Předmět je zařazen také v obdobích jaro 2003, jaro 2004, jaro 2005, jaro 2006, jaro 2007, jaro 2008, jaro 2009, jaro 2010, jaro 2011, jaro 2013, jaro 2014, jaro 2015.

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

Fakulta informatiky
jaro 2011
Rozsah
2/0. 2 kr. (plus ukončení). Ukončení: zk.
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 12:00–13:50 B204
Předpoklady
doporučuje se zkouška z Logické analýzy přirozeného jazyka I.
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
předmět má 22 mateřských oborů, zobrazit
Cíle předmětu
Student na konci kurzu vykazuje následující znalosti a dovednosti: zná základní skutečnosti z historie teorie pojmu; dovede obhájit nutnost procedurálního pojetí pojmu; dovede napsat proceduru (konstrukci), která je vyjádřena daným výrazem; dovede rozlišit synonymii, ekvivalenci a koreferenci výrazů; dovede vytvářet pojmové systémy a pracovat s nimi.Je mu jasný vztah mezi pojmem a definicí.
Osnova
  • Opakování základních pojmů a principů Transparentní intenzionální logiky.
  • Z dějin teorií pojmu: Platón, Aristotelés,Bolzano, Frege, Church.
  • Realismus, nominalismus, konceptualismus.
  • Význam výrazu = pojem denotátu.
  • Pojem jako uzavřená konstrukce modulo alfa a éta redukce.
  • Indexické výrazy. Pojem jako význam neindexického výrazu.
  • Prázdné pojmy.
  • Jednoduché pojmy.
  • Pojmové systémy
Literatura
  • MATERNA, Pavel. Svět pojmů a logika. 1. vyd. Praha: Filosofia, 1995, 136 s. ISBN 80-7007-078-1. info
  • MATERNA, Pavel. Logická analýza přirozeného jazyka II. Elportál. Brno: Masarykova univerzita, 2007. ISSN 1802-128X. URL info
Výukové metody
přednášky spojené s diskusí (dotazy, debaty). Příležitostně přednáška pracovníka Fakulty informatiky VŠB TU Ostrava. Někdy zadání domácího úkolu. Povinná četba: elektronická skripta "Logická analýza přirozeného jazyka II".
Metody hodnocení
Jde o pokračování kurzu Logická analýza přirozeného jazyka I. Zakončení: zkouška, písemná část je zápis pojmu vyjádřeného daným výrazem, ústní část je diskuse o teoretických problémech. Během přednášky je podporována diskuse. Během kurzu může být doporučována dodatečná literatura. Počítá se i s možnosti prezentace specialisty.
Informace učitele
http://www.phil.muni.cz/~materna; www.cs.vsb.cz/~duzi
Možnost konzultací na základě úmluvy nebo i prostřednictvím e-mailu.
Další komentáře
Studijní materiály
Předmět je vyučován každoročně.
Předmět je zařazen také v obdobích jaro 2003, jaro 2004, jaro 2005, jaro 2006, jaro 2007, jaro 2008, jaro 2009, jaro 2010, jaro 2012, jaro 2013, jaro 2014, jaro 2015.

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

Fakulta informatiky
jaro 2010
Rozsah
2/0. 2 kr. (plus ukončení). Ukončení: zk.
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 12:00–13:50 B011
Předpoklady
doporučuje se zkouška z Logické analýzy přirozeného jazyka I.
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
předmět má 22 mateřských oborů, zobrazit
Cíle předmětu
Student na konci kurzu vykazuje následující znalosti a dovednosti: zná základní skutečnosti z historie teorie pojmu; dovede obhájit nutnost procedurálního pojetí pojmu; dovede napsat proceduru (konstrukci), která je vyjádřena daným výrazem; dovede rozlišit synonymii, ekvivalenci a koreferenci výrazů; dovede vytvářet pojmové systémy a pracovat s nimi.Je mu jasný vztah mezi pojmem a definicí.
Osnova
  • Opakování základních pojmů a principů Transparentní intenzionální logiky.
  • Z dějin teorií pojmu: Platón, Aristotelés,Bolzano, Frege, Church.
  • Realismus, nominalismus, konceptualismus.
  • Význam výrazu = pojem denotátu.
  • Pojem jako uzavřená konstrukce modulo alfa a éta redukce.
  • Indexické výrazy. Pojem jako význam neindexického výrazu.
  • Prázdné pojmy.
  • Jednoduché pojmy.
  • Pojmové systémy
Literatura
  • MATERNA, Pavel. Svět pojmů a logika. 1. vyd. Praha: Filosofia, 1995, 136 s. ISBN 80-7007-078-1. info
  • MATERNA, Pavel. Logická analýza přirozeného jazyka II. Elportál. Brno: Masarykova univerzita, 2007. ISSN 1802-128X. URL info
Výukové metody
přednášky spojené s diskusí (dotazy, debaty). Příležitostně přednáška pracovníka Fakulty informatiky VŠB TU Ostrava. Někdy zadání domácího úkolu. Povinná četba: elektronická skripta "Logická analýza přirozeného jazyka II".
Metody hodnocení
Jde o pokračování kurzu Logická analýza přirozeného jazyka I. Zakončení: zkouška, písemná část je zápis pojmu vyjádřeného daným výrazem, ústní část je diskuse o teoretických problémech. Během přednášky je podporována diskuse. Během kurzu může být doporučována dodatečná literatura. Počítá se i s možnosti prezentace specialisty.
Informace učitele
http://www.phil.muni.cz/~materna; www.cs.vsb.cz/~duzi
Možnost konzultací na základě úmluvy nebo i prostřednictvím e-mailu.
Další komentáře
Studijní materiály
Předmět je vyučován každoročně.
Předmět je zařazen také v obdobích jaro 2003, jaro 2004, jaro 2005, jaro 2006, jaro 2007, jaro 2008, jaro 2009, jaro 2011, jaro 2012, jaro 2013, jaro 2014, jaro 2015.

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

Fakulta informatiky
jaro 2009
Rozsah
2/0. 2 kr. (plus ukončení). Ukončení: zk.
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 12:00–13:50 D2, Čt 12:00–13:50 C525
Předpoklady
doporučuje se zkouška z Logické analýzy přirozeného jazyka I.
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
předmět má 19 mateřských oborů, zobrazit
Cíle předmětu
Student na konci kurzu vykazuje následující znalosti a dovednosti: zná základní skutečnosti z historie teorie pojmu; dovede obhájit nutnost procedurálního pojetí pojmu; dovede napsat proceduru (konstrukci), která je vyjádřena daným výrazem; dovede rozlišit synonymii, ekvivalenci a koreferenci výrazů; dovede vytvářet pojmové systémy a pracovat s nimi.Je mu jasný vztah mezi pojmem a definicí.
Osnova
  • Opakování základních pojmů a principů Transparentní intenzionální logiky.
  • Z dějin teorií pojmu: Platón, Aristotelés,Bolzano, Frege, Church.
  • Realismus, nominalismus, konceptualismus.
  • Význam výrazu = pojem denotátu.
  • Pojem jako uzavřená konstrukce modulo alfa a éta redukce.
  • Indexické výrazy. Pojem jako význam neindexického výrazu.
  • Prázdné pojmy.
  • Jednoduché pojmy.
  • Pojmové systémy
Literatura
  • MATERNA, Pavel. Svět pojmů a logika. 1. vyd. Praha: Filosofia, 1995, 136 s. ISBN 80-7007-078-1. info
  • MATERNA, Pavel. Logická analýza přirozeného jazyka II. Elportál. Brno: Masarykova univerzita, 2007. ISSN 1802-128X. URL info
Metody hodnocení
Jde o pokračování kurzu Logická analýza přirozeného jazyka I. Zakončení: zkouška, písemná část je zápis pojmu vyjádřeného daným výrazem, ústní část je diskuse o teoretických problémech. Během přednášky je podporována diskuse. Během kurzu může být doporučována dodatečná literatura. Počítá se i s možnosti prezentace specialisty.
Informace učitele
http://www.phil.muni.cz/~materna; www.cs.vsb.cz/~duzi
Možnost konzultací na základě úmluvy nebo i prostřednictvím e-mailu.
Další komentáře
Předmět je vyučován každoročně.
Předmět je zařazen také v obdobích jaro 2003, jaro 2004, jaro 2005, jaro 2006, jaro 2007, jaro 2008, jaro 2010, jaro 2011, jaro 2012, jaro 2013, jaro 2014, jaro 2015.

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

Fakulta informatiky
jaro 2008
Rozsah
2/0. 2 kr. (plus ukončení). Ukončení: zk.
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 12:00–13:50 B007
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
předmět má 19 mateřských oborů, zobrazit
Cíle předmětu
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.
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.
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. Svět pojmů a logika. 1. vyd. Praha: Filosofia, 1995, 136 s. ISBN 80-7007-078-1. info
Metody hodnocení
Navazuje na Logickou analyzu prirozeneho jazyka I. Na konci semestru zkouska vychazejici z prednasky a doporucene literatury. Zkouska se sklada z pisemneho vyreseni analyzy neprilis sloziteho vyrazu cestiny a z pohovoru o teoretickych zakladech.
Informace učitele
http://www.phil.muni.cz/~materna; www.cs.vsb.cz/~duzi
Další komentáře
Předmět je vyučován každoročně.
Předmět je zařazen také v obdobích jaro 2003, jaro 2004, jaro 2005, jaro 2006, jaro 2007, jaro 2009, jaro 2010, jaro 2011, jaro 2012, jaro 2013, jaro 2014, jaro 2015.

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

Fakulta informatiky
jaro 2007
Rozsah
2/0. 2 kr. (plus ukončení). Ukončení: zk.
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 12:00–13:50 B204
Předpoklady
! I044 Logická analýza přiroz. jazyka
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
předmět má 7 mateřských oborů, zobrazit
Cíle předmětu
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.
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.
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. Svět pojmů a logika. 1. vyd. Praha: Filosofia, 1995, 136 s. ISBN 80-7007-078-1. info
Metody hodnocení
Navazuje na Logickou analyzu prirozeneho jazyka I. Na konci semestru zkouska vychazejici z prednasky a doporucene literatury. Zkouska se sklada z pisemneho vyreseni analyzy neprilis sloziteho vyrazu cestiny a z pohovoru o teoretickych zakladech.
Informace učitele
http://www.phil.muni.cz/~materna; www.cs.vsb.cz/~duzi
Další komentáře
Studijní materiály
Předmět je vyučován každoročně.
Předmět je zařazen také v obdobích jaro 2003, jaro 2004, jaro 2005, jaro 2006, jaro 2008, jaro 2009, jaro 2010, jaro 2011, jaro 2012, jaro 2013, jaro 2014, jaro 2015.

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

Fakulta informatiky
jaro 2006
Rozsah
2/0. 2 kr. (plus ukončení). Ukončení: zk.
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 12:00–13:50 B410
Předpoklady
! I044 Logická analýza přiroz. jazyka
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
předmět má 7 mateřských oborů, zobrazit
Cíle předmětu
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.
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.
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. Svět pojmů a logika. 1. vyd. Praha: Filosofia, 1995, 136 s. ISBN 80-7007-078-1. info
Metody hodnocení
Navazuje na Logickou analyzu prirozeneho jazyka I. Na konci semestru zkouska vychazejici z prednasky a doporucene literatury. Zkouska se sklada z pisemneho vyreseni analyzy neprilis sloziteho vyrazu cestiny a z pohovoru o teoretickych zakladech.
Informace učitele
http://www.phil.muni.cz/~materna; www.cs.vsb.cz/~duzi
Další komentáře
Předmět je vyučován každoročně.
Předmět je zařazen také v obdobích jaro 2003, jaro 2004, jaro 2005, jaro 2007, jaro 2008, jaro 2009, jaro 2010, jaro 2011, jaro 2012, jaro 2013, jaro 2014, jaro 2015.

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

Fakulta informatiky
jaro 2005
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 12:00–13:50 B411
Předpoklady
! I044 Logická analýza přiroz. jazyka
Omezení zápisu do předmětu
Předmět je určen pouze studentům mateřských oborů.
Mateřské obory/plány
předmět má 7 mateřských oborů, zobrazit
Cíle předmětu
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.
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.
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. Svět pojmů a logika. 1. vyd. Praha: Filosofia, 1995, 136 s. ISBN 80-7007-078-1. info
Metody hodnocení
Navazuje na Logickou analyzu prirozeneho jazyka I. Na konci semestru zkouska vychazejici z prednasky a doporucene literatury. Zkouska se sklada z pisemneho vyreseni analyzy neprilis sloziteho vyrazu cestiny a z pohovoru o teoretickych zakladech.
Informace učitele
http://www.phil.muni.cz/~materna; www.cs.vsb.cz/~duzi
Další komentáře
Předmět je vyučován každoročně.
Předmět je zařazen také v obdobích jaro 2003, jaro 2004, jaro 2006, jaro 2007, jaro 2008, jaro 2009, jaro 2010, jaro 2011, jaro 2012, jaro 2013, jaro 2014, jaro 2015.

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

Fakulta informatiky
jaro 2004
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 10:00–11:50 B410
Předpoklady
! I044 Logická analýza přiroz. jazyka
Omezení zápisu do předmětu
Předmět je určen pouze studentům mateřských oborů.
Mateřské obory/plány
předmět má 6 mateřských oborů, zobrazit
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.
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.
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. Svět pojmů a logika. 1. vyd. Praha: Filosofia, 1995, 136 s. ISBN 80-7007-078-1. info
Metody hodnocení
Navazuje na Logickou analyzu prirozeneho jazyka I. Na konci semestru zkouska vychazejici z prednasky a doporucene literatury. Zkouska se sklada z pisemneho vyreseni analyzy neprilis sloziteho vyrazu cestiny a z pohovoru o teoretickych zakladech.
Další komentáře
Předmět je vyučován každoročně.
Předmět je zařazen také v obdobích jaro 2003, jaro 2005, jaro 2006, jaro 2007, jaro 2008, jaro 2009, jaro 2010, jaro 2011, jaro 2012, jaro 2013, jaro 2014, jaro 2015.

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

Fakulta informatiky
jaro 2003
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 10:00–11:50 C511
Omezení zápisu do předmětu
Předmět je určen pouze studentům mateřských oborů.
Mateřské obory/plány
předmět má 7 mateřských oborů, zobrazit
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.
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.
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. Svět pojmů a logika. 1. vyd. Praha: Filosofia, 1995, 136 s. ISBN 80-7007-078-1. info
Další komentáře
Předmět je vyučován každoročně.
Předmět je zařazen také v obdobích jaro 2004, jaro 2005, jaro 2006, jaro 2007, jaro 2008, jaro 2009, jaro 2010, jaro 2011, jaro 2012, jaro 2013, jaro 2014, jaro 2015.

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

Fakulta informatiky
jaro 2019

Předmět se v období jaro 2019 nevypisuje.

Rozsah
2/0. 2 kr. (plus ukončení). Ukončení: zk.
Vyučující
prof. PhDr. Pavel Materna, CSc. (přednášející)
Garance
doc. RNDr. Aleš Horák, Ph.D.
Katedra strojového učení a zpracování dat – Fakulta informatiky
Kontaktní osoba: prof. PhDr. Pavel Materna, CSc.
Dodavatelské pracoviště: Katedra strojového učení a zpracování dat – Fakulta informatiky
Předpoklady
doporučuje se zkouška z Logické analýzy přirozeného jazyka I.
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
předmět má 24 mateřských oborů, zobrazit
Cíle předmětu
Student na konci kurzu vykazuje následující znalosti a dovednosti: zná základní skutečnosti z historie teorie pojmu; dovede obhájit nutnost procedurálního pojetí pojmu; dovede napsat proceduru (konstrukci), která je vyjádřena daným výrazem; dovede rozlišit synonymii, ekvivalenci a koreferenci výrazů; dovede vytvářet pojmové systémy a pracovat s nimi.Je mu jasný vztah mezi pojmem a definicí.
Osnova
  • Opakování základních pojmů a principů Transparentní intenzionální logiky.
  • Z dějin teorií pojmu: Platón, Aristotelés,Bolzano, Frege, Church.
  • Realismus, nominalismus, konceptualismus.
  • Význam výrazu = pojem denotátu.
  • Pojem jako uzavřená konstrukce modulo alfa a éta redukce.
  • Indexické výrazy. Pojem jako význam neindexického výrazu.
  • Prázdné pojmy.
  • Jednoduché pojmy.
  • Pojmové systémy
Literatura
  • MATERNA, Pavel. Svět pojmů a logika. 1. vyd. Praha: Filosofia, 1995, 136 s. ISBN 80-7007-078-1. info
  • MATERNA, Pavel. Logická analýza přirozeného jazyka II. Elportál. Brno: Masarykova univerzita, 2007. ISSN 1802-128X. URL info
Výukové metody
přednášky spojené s diskusí (dotazy, debaty). Příležitostně přednáška pracovníka Fakulty informatiky VŠB TU Ostrava. Někdy zadání domácího úkolu. Povinná četba: elektronická skripta "Logická analýza přirozeného jazyka II".
Metody hodnocení
Jde o pokračování kurzu Logická analýza přirozeného jazyka I. Zakončení: zkouška, písemná část je zápis pojmu vyjádřeného daným výrazem, ústní část je diskuse o teoretických problémech. Během přednášky je podporována diskuse. Během kurzu může být doporučována dodatečná literatura. Počítá se i s možnosti prezentace specialisty.
Informace učitele
http://www.phil.muni.cz/~materna; www.cs.vsb.cz/~duzi
Možnost konzultací na základě úmluvy nebo i prostřednictvím e-mailu.
Další komentáře
Předmět již není vypisován.
Výuka probíhá každý týden.
Předmět je zařazen také v obdobích jaro 2003, jaro 2004, jaro 2005, jaro 2006, jaro 2007, jaro 2008, jaro 2009, jaro 2010, jaro 2011, jaro 2012, jaro 2013, jaro 2014, jaro 2015.

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

Fakulta informatiky
jaro 2018

Předmět se v období jaro 2018 nevypisuje.

Rozsah
2/0. 2 kr. (plus ukončení). Ukončení: zk.
Vyučující
prof. PhDr. Pavel Materna, CSc. (přednášející)
Garance
doc. RNDr. Aleš Horák, Ph.D.
Katedra strojového učení a zpracování dat – Fakulta informatiky
Kontaktní osoba: prof. PhDr. Pavel Materna, CSc.
Dodavatelské pracoviště: Katedra strojového učení a zpracování dat – Fakulta informatiky
Předpoklady
doporučuje se zkouška z Logické analýzy přirozeného jazyka I.
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
předmět má 24 mateřských oborů, zobrazit
Cíle předmětu
Student na konci kurzu vykazuje následující znalosti a dovednosti: zná základní skutečnosti z historie teorie pojmu; dovede obhájit nutnost procedurálního pojetí pojmu; dovede napsat proceduru (konstrukci), která je vyjádřena daným výrazem; dovede rozlišit synonymii, ekvivalenci a koreferenci výrazů; dovede vytvářet pojmové systémy a pracovat s nimi.Je mu jasný vztah mezi pojmem a definicí.
Osnova
  • Opakování základních pojmů a principů Transparentní intenzionální logiky.
  • Z dějin teorií pojmu: Platón, Aristotelés,Bolzano, Frege, Church.
  • Realismus, nominalismus, konceptualismus.
  • Význam výrazu = pojem denotátu.
  • Pojem jako uzavřená konstrukce modulo alfa a éta redukce.
  • Indexické výrazy. Pojem jako význam neindexického výrazu.
  • Prázdné pojmy.
  • Jednoduché pojmy.
  • Pojmové systémy
Literatura
  • MATERNA, Pavel. Svět pojmů a logika. 1. vyd. Praha: Filosofia, 1995, 136 s. ISBN 80-7007-078-1. info
  • MATERNA, Pavel. Logická analýza přirozeného jazyka II. Elportál. Brno: Masarykova univerzita, 2007. ISSN 1802-128X. URL info
Výukové metody
přednášky spojené s diskusí (dotazy, debaty). Příležitostně přednáška pracovníka Fakulty informatiky VŠB TU Ostrava. Někdy zadání domácího úkolu. Povinná četba: elektronická skripta "Logická analýza přirozeného jazyka II".
Metody hodnocení
Jde o pokračování kurzu Logická analýza přirozeného jazyka I. Zakončení: zkouška, písemná část je zápis pojmu vyjádřeného daným výrazem, ústní část je diskuse o teoretických problémech. Během přednášky je podporována diskuse. Během kurzu může být doporučována dodatečná literatura. Počítá se i s možnosti prezentace specialisty.
Informace učitele
http://www.phil.muni.cz/~materna; www.cs.vsb.cz/~duzi
Možnost konzultací na základě úmluvy nebo i prostřednictvím e-mailu.
Další komentáře
Předmět již není vypisován.
Výuka probíhá každý týden.
Předmět je zařazen také v obdobích jaro 2003, jaro 2004, jaro 2005, jaro 2006, jaro 2007, jaro 2008, jaro 2009, jaro 2010, jaro 2011, jaro 2012, jaro 2013, jaro 2014, jaro 2015.

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

Fakulta informatiky
jaro 2017

Předmět se v období jaro 2017 nevypisuje.

Rozsah
2/0. 2 kr. (plus ukončení). Ukončení: zk.
Vyučující
prof. PhDr. Pavel Materna, CSc. (přednášející)
Garance
doc. RNDr. Aleš Horák, Ph.D.
Katedra strojového učení a zpracování dat – Fakulta informatiky
Kontaktní osoba: prof. PhDr. Pavel Materna, CSc.
Dodavatelské pracoviště: Katedra strojového učení a zpracování dat – Fakulta informatiky
Předpoklady
doporučuje se zkouška z Logické analýzy přirozeného jazyka I.
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
předmět má 24 mateřských oborů, zobrazit
Cíle předmětu
Student na konci kurzu vykazuje následující znalosti a dovednosti: zná základní skutečnosti z historie teorie pojmu; dovede obhájit nutnost procedurálního pojetí pojmu; dovede napsat proceduru (konstrukci), která je vyjádřena daným výrazem; dovede rozlišit synonymii, ekvivalenci a koreferenci výrazů; dovede vytvářet pojmové systémy a pracovat s nimi.Je mu jasný vztah mezi pojmem a definicí.
Osnova
  • Opakování základních pojmů a principů Transparentní intenzionální logiky.
  • Z dějin teorií pojmu: Platón, Aristotelés,Bolzano, Frege, Church.
  • Realismus, nominalismus, konceptualismus.
  • Význam výrazu = pojem denotátu.
  • Pojem jako uzavřená konstrukce modulo alfa a éta redukce.
  • Indexické výrazy. Pojem jako význam neindexického výrazu.
  • Prázdné pojmy.
  • Jednoduché pojmy.
  • Pojmové systémy
Literatura
  • MATERNA, Pavel. Svět pojmů a logika. 1. vyd. Praha: Filosofia, 1995, 136 s. ISBN 80-7007-078-1. info
  • MATERNA, Pavel. Logická analýza přirozeného jazyka II. Elportál. Brno: Masarykova univerzita, 2007. ISSN 1802-128X. URL info
Výukové metody
přednášky spojené s diskusí (dotazy, debaty). Příležitostně přednáška pracovníka Fakulty informatiky VŠB TU Ostrava. Někdy zadání domácího úkolu. Povinná četba: elektronická skripta "Logická analýza přirozeného jazyka II".
Metody hodnocení
Jde o pokračování kurzu Logická analýza přirozeného jazyka I. Zakončení: zkouška, písemná část je zápis pojmu vyjádřeného daným výrazem, ústní část je diskuse o teoretických problémech. Během přednášky je podporována diskuse. Během kurzu může být doporučována dodatečná literatura. Počítá se i s možnosti prezentace specialisty.
Informace učitele
http://www.phil.muni.cz/~materna; www.cs.vsb.cz/~duzi
Možnost konzultací na základě úmluvy nebo i prostřednictvím e-mailu.
Další komentáře
Předmět již není vypisován.
Výuka probíhá každý týden.
Předmět je zařazen také v obdobích jaro 2003, jaro 2004, jaro 2005, jaro 2006, jaro 2007, jaro 2008, jaro 2009, jaro 2010, jaro 2011, jaro 2012, jaro 2013, jaro 2014, jaro 2015.

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

Fakulta informatiky
jaro 2016

Předmět se v období jaro 2016 nevypisuje.

Rozsah
2/0. 2 kr. (plus ukončení). Ukončení: zk.
Vyučující
prof. PhDr. Pavel Materna, CSc. (přednášející)
Garance
doc. RNDr. Aleš Horák, Ph.D.
Katedra strojového učení a zpracování dat – Fakulta informatiky
Kontaktní osoba: prof. PhDr. Pavel Materna, CSc.
Dodavatelské pracoviště: Katedra strojového učení a zpracování dat – Fakulta informatiky
Předpoklady
doporučuje se zkouška z Logické analýzy přirozeného jazyka I.
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
předmět má 24 mateřských oborů, zobrazit
Cíle předmětu
Student na konci kurzu vykazuje následující znalosti a dovednosti: zná základní skutečnosti z historie teorie pojmu; dovede obhájit nutnost procedurálního pojetí pojmu; dovede napsat proceduru (konstrukci), která je vyjádřena daným výrazem; dovede rozlišit synonymii, ekvivalenci a koreferenci výrazů; dovede vytvářet pojmové systémy a pracovat s nimi.Je mu jasný vztah mezi pojmem a definicí.
Osnova
  • Opakování základních pojmů a principů Transparentní intenzionální logiky.
  • Z dějin teorií pojmu: Platón, Aristotelés,Bolzano, Frege, Church.
  • Realismus, nominalismus, konceptualismus.
  • Význam výrazu = pojem denotátu.
  • Pojem jako uzavřená konstrukce modulo alfa a éta redukce.
  • Indexické výrazy. Pojem jako význam neindexického výrazu.
  • Prázdné pojmy.
  • Jednoduché pojmy.
  • Pojmové systémy
Literatura
  • MATERNA, Pavel. Svět pojmů a logika. 1. vyd. Praha: Filosofia, 1995, 136 s. ISBN 80-7007-078-1. info
  • MATERNA, Pavel. Logická analýza přirozeného jazyka II. Elportál. Brno: Masarykova univerzita, 2007. ISSN 1802-128X. URL info
Výukové metody
přednášky spojené s diskusí (dotazy, debaty). Příležitostně přednáška pracovníka Fakulty informatiky VŠB TU Ostrava. Někdy zadání domácího úkolu. Povinná četba: elektronická skripta "Logická analýza přirozeného jazyka II".
Metody hodnocení
Jde o pokračování kurzu Logická analýza přirozeného jazyka I. Zakončení: zkouška, písemná část je zápis pojmu vyjádřeného daným výrazem, ústní část je diskuse o teoretických problémech. Během přednášky je podporována diskuse. Během kurzu může být doporučována dodatečná literatura. Počítá se i s možnosti prezentace specialisty.
Informace učitele
http://www.phil.muni.cz/~materna; www.cs.vsb.cz/~duzi
Možnost konzultací na základě úmluvy nebo i prostřednictvím e-mailu.
Další komentáře
Předmět již není vypisován.
Výuka probíhá každý týden.
Předmět je zařazen také v obdobích jaro 2003, jaro 2004, jaro 2005, jaro 2006, jaro 2007, jaro 2008, jaro 2009, jaro 2010, jaro 2011, jaro 2012, jaro 2013, jaro 2014, jaro 2015.