Seminář aplikované matematické logiky - NLTM032

• Anglický název: Seminar on Applied Mathematical Logic
• Zajišťuje: Ústav informatiky AV ČR, v.v.i. (32-UIAV)
• Fakulta: Matematicko-fyzikální fakulta
• Platnost: od 2022
• Semestr: oba
• E-Kredity: 3
• Rozsah, examinace: 0/2, Z [HT]
• Počet míst: neomezen
• Minimální obsazenost: neomezen
• 4EU+: ne
• Virtuální mobilita / počet míst pro virtuální mobilitu: ne
• Stav předmětu: zrušen
• Jazyk výuky: čeština
• Způsob výuky: prezenční
• Způsob výuky: prezenční
• Poznámka: předmět lze zapsat opakovaně; předmět lze zapsat v ZS i LS
• Garant: prof. RNDr. Petr Hájek, DrSc.
• Kategorizace předmětu: Matematika > Matematika

Anotace

čeština

Poslední úprava: RNDr. Pavel Zakouřil, Ph.D. (20.06.2012)

Seminář (existující už přes 30 let) je věnován matematicko-logickým systémům relevantním pro umělou inteligenci, analýzu dat (data mining) a práci s nejistotou a vágností v expertních systémech. V posledních letech se hodně věnuje formálním systémům fuzzy logiky (jakožto reálněhodnotové logiky) a různým zobecněním či alternativám teorie pravděpodobnosti (posibilistická teorie, Dempster-Shaferova teorie domněnkových funkcí). Seminář se též průběžně zabývá rozvojem metody GUHA automatické tvorby hypotéz. Předpokládá se, že účastníci mají elementární znalosti matematické logiky.

angličtina

Poslední úprava: T_KTI (23.04.2001)

The seminar is organized by the Institute of computer science of the Academy of sciences of the Czech republic jointly with the Czech society for cybvernetics and informatics as well as with the Research center for theoretical informatics (ITI) at Charles University. Main topics: fuzzy logic and other logics of uncertainty (probabilistic, possibilistic, belief-functional methods); data mining and the GUHA method of automatic hypothesis formation.