|
|
Generic Approach to Updating Uncertainty: Focus on Conditioning
Kuncová, Alexandra ; Peliš, Michal (vedoucí práce) ; Sedlár, Igor (oponent)
Najprv sa budeme zaoberat' rôznymi druhmi reprezentácie neistoty a metódami aktualizácie pomocou kondicionalizácie. Zameriame sa na generický rámec (kon- dicionálnej) plauzibility pre jeho schopnost' generalizovat' všetky ostatné repre- zentácie. Následne sa lepšie pozrieme na tri štruktúry a uvedieme vlastnosti, ktoré je nutné pridat' rámcu kondicionálnej plauzibility, aby sme každú z nich dokázali skonštruovat'. Hlavným ciel'om tejto práce je ukázat', ako môže byt' verejné vy- hlásenie na jedno-agentových modeloch plauzibility, " ranking" štruktúrach, a " possibility" štruktúrach, v spojení s ich odpovedajúcimi mechanizmami zmeny, vnorené do rámca kondicionálnej plauzibility. Na záver ešte stručne popíšeme všeobecný model zmeny postavený na miere plauzibility. Kl'účové slová: dynamická logika, epistemická logika, neistota, rámec plauzibility, revízia presvedčenia, verejné vyhlásenie, zmena neistoty.
|
|
|
Role islámu v životě muslimských sportovců působících v Česku
Pulec, Jan ; Peliš, Michal (vedoucí práce) ; Waic, Marek (oponent)
Název: Role islámu v životě muslimských sportovců působících v Česku Cíle: Hlavním cílem této práce je analyzovat vztah islámu a sportu. Cílovou skupinou pro výzkum jsou tedy sportující muslimové působící (žijící) v Česku. Práce se zaměřuje na míru identifikace muslimských sportovců s jejich vírou a na jejich vztah ke sportu. Dále se zabývá tím, do jaké míry islám a zvyklosti s ním spojené ovlivňují život sportovců, přičemž reprezentativním příkladem je problematika půstu při ramadánu. Metody: Jako metodu pro sběr dat jsme zvolili kombinaci strukturovaného rozhovoru a rozhovoru s návodem. Celkem bylo provedeno sedm rozhovorů s muslimskými sportovci (čtyřmi profesionálními a třemi amatérskými). Pro analýzu dat jsme použili metodu otevřeného kódování. Výsledky: Zjistili jsme, že vztah muslimských sportovců (našich respondentů) k jejich víře se dá charakterizovat jako lidový islám či folklórní religiozita. Respondenti vnímají sport jako nedílnou součást svého života, která je naplňuje, ale kterou nedávají do kontextu se svou vírou. Zároveň se některé praktiky (zejména půst při ramadánu) související s muslimskou vírou neprojevily jako problematické a neslučitelné s běžným životem sportovce. Klíčová slova: islám, sport, muslimští sportovci, Česko
|
|
|
Získávání znalostí z databází
Dolejšek, Jakub ; Peliš, Michal (vedoucí práce) ; Verner, Jonathan (oponent)
Získávání znalostí z databází bakalářská práce Jakub Dolejšek (abstrakt v českém jazyce) Práce se zabývá problematikou dobývání znalostí z databází se zaměřením na metody rozhodovacích stromů a neuronových sítí spolu s ukázkami jejich použití na konkrétních příkladech. Powered by TCPDF (www.tcpdf.org)
|
|
|
Významné směry v umělé inteligenci
Šudoma, Petr ; Jirků, Petr (vedoucí práce) ; Peliš, Michal (oponent)
Práce studuje deskripční logiky jako metodu reprezentace znalostí umělé inteligence, popisuje historický vývoj reprezentace znalostí vedoucí k vzniku deskripčních logik a srovnává jejich výhody a nevýhody se systémy rámců, z kterých deskripční logiky vznikly. Práce představuje formální syntaxi a sémantiku, zavádí pojmovou systematiku deskripčních logik a popisuje algoritmy pro nejčastěji používané odvozovací úlohy na deskripčních logikách, pro subsumpci a konzistenci. Práce se zabývá i problematikou výpočtové složitosti těchto algoritmů v závislosti na konkrétní použité deskripční logice. Práce ukazuje výhody i další potenciál deskripčních logik. Powered by TCPDF (www.tcpdf.org)
|
|
|
Historické a filosofické souvislosti umění lukostřelby v Japonsku
Coka, Petr ; Parry Martínková, Irena (vedoucí práce) ; Peliš, Michal (oponent)
Název: Historické a filosofické souvislosti umění lukostřelby v Japonsku Cíle: Cílem této práce je popsat japonské bojové umění kyudo (umění lukostřelby) a představit ho veřejnosti s důrazem na jeho zasazení do historických souvislostí a na jeho vztah s filosofickými a náboženskými systémy. První část je zaměřena na vývoj a historii japonské lukostřelby, druhy japonských bojových aktivit a jsou popsána základní východiska techniky v rámci japonské lukostřelby. Druhá část se zabývá filosofickými a náboženskými systémy, které se týkají bojových umění, zvláště zenovým buddhismem. Nakonec přiblížím současnou situaci českého kyudo a představím odkaz Eugena Herrigela, který je pro rozvoj moderního kyudo klíčový. Metody: Základní metody teoretické práce (viz. kapitola Metodologie). Klíčová slova: Kyujutsu, kyudo, bojová umění, Japonsko
|
|
|
An overview of selected social procedures
Schlosáriková, Eva ; Majer, Ondřej (vedoucí práce) ; Peliš, Michal (oponent)
Názov práce: Analýza vybraných sociálnych procedúr Autor: Eva Schlosáriková Katedra: Ústav politologie Vedúci diplomovej práce: RNDr. Ondrej Majer, CSc. Abstrakt: Diplomová práca začína definíciou sociálnych procedúr. Analýze sociálnych procedúr sa venuje interdisciplinárny výskumný program, sociálny software (social soft- ware). Budú uvedené jeho základné ciele a úlohy. Ďalej sa práca zameria na prominentnú sociálnu procesúru, na koaličné jednanie a formovanie víťazného uskupenia. Po definovaní základných pojmov je uvedený prehľad konceptov z koaličnej teórie. Posledná kapitola sa venuje Bramsovmu modelu koaličného formovania a jeho definícii stability víťaznej koalície. Pre porovnanie sú uvedené ďalšie modely koaličného vyjednávania a definície stability. Klúčové slova: koaličné jednanie, koaličné formovanie, stabilita koalície 1
|
|
|
Logic of questions
Peliš, Michal ; Peregrin, Jaroslav (vedoucí práce)
Logika otázek Michal Peliš Disertační práce Abstrakt Práce se zabývá jedním z odvětví neklasických logik - logikou otázek (erotetickou logikou). V úvodní části se hovoří obecně o formalizovaném přístupu k otázkám v logice a současně je stručně shrnuta zejména nejnovější historie tohoto odvětví. Zde je též zdůvodňována smysluplnost zachycení úsudků, v nichž se otázky objevují, a je představena formalizace otázky založená na explicitním stanovení množiny přímých odpovědí. Zbytek práce je rozdělen na dvě části, které lze číst nezávisle. První část se zabývá důsledkovými relacemi v inferenční erotetické logice (inferential erotetic logic). Plně zde využíváme rámec původní inferenční erotetické logiky zavedené Andrzejem Wiśniewskim. Používáme výhradně formalizaci otázek pomocí množiny přímých odpovědí, kdy přímé odpovědi jsou formule deklarativního jazyka. Protože jsou důsledkové relace s otázkami definovány pomocí klasického vícezávěrového sémantického důsledku, využíváme při důkazech přístup založený na třídách modelů. V této části nám jde o obecný přístup ovšem s omezením, kdy je deklarativní jazyk rozšířen o otázky, ale k propojení deklarativního a interogativního jazyka dojde až na úrovni důsledkových relací. Primárním zájmem je studovat vztahy mezi jednotlivými erotetickými důsledkovými relacemi. Druhá...
|
|
|
Knowledge changes in dynamic epistemic logic
Dančák, Michal ; Peliš, Michal (vedoucí práce) ; Urbański, Mariusz (oponent)
V této práci je představena logika hybridních akčních modelů, spolu s korektním a úplným Hilbertovským kalkulem. Je to původní mul- timodální epistemická logika, která se snaží dát agentům (i) silný prostředek komunikace a (ii) bohatý slovník, kterým mohou komu- nikovat. Toho se snaží dosáhnout tím, že kombinuje akční modely s hybridní logikou. Jazyk výsledné logiky je poměrně složitý a zahrnuje obecnou znalost, deterministické akční updaty a všechny tři běžně užívané hybridní operátory @, ↓ a E. Práce obsahuje přehled jak akčních modelů, tak hybridní logiky. Stručně popíšeme hybridní logiku s částečně denotujícími nominály a použijeme ji jako odrazový můstek. Sémantika a věta o úplnosti logiky hybridních akčních modelů tvoří hlavní část této práce. 1
|
|
| |
|
|
Logic of questions
Peliš, Michal ; Peregrin, Jaroslav (vedoucí práce) ; Sedlár, Igor (oponent) ; Wiśniewski, Andrzej (oponent)
Logika otázek Michal Peliš Disertační práce Abstrakt Práce se zabývá jedním z odvětví neklasických logik - logikou otázek (erotetickou logikou). V úvodní části se hovoří obecně o formalizovaném přístupu k otázkám v logice a současně je stručně shrnuta zejména nejnovější historie tohoto odvětví. Zde je též zdůvodňována smysluplnost zachycení úsudků, v nichž se otázky objevují, a je představena formalizace otázky založená na explicitním stanovení množiny přímých odpovědí. Zbytek práce je rozdělen na dvě části, které lze číst nezávisle. První část se zabývá důsledkovými relacemi v inferenční erotetické logice (inferential erotetic logic). Plně zde využíváme rámec původní inferenční erotetické logiky zavedené Andrzejem Wiśniewskim. Používáme výhradně formalizaci otázek pomocí množiny přímých odpovědí, kdy přímé odpovědi jsou formule deklarativního jazyka. Protože jsou důsledkové relace s otázkami definovány pomocí klasického vícezávěrového sémantického důsledku, využíváme při důkazech přístup založený na třídách modelů. V této části nám jde o obecný přístup ovšem s omezením, kdy je deklarativní jazyk rozšířen o otázky, ale k propojení deklarativního a interogativního jazyka dojde až na úrovni důsledkových relací. Primárním zájmem je studovat vztahy mezi jednotlivými erotetickými důsledkovými relacemi. Druhá...
|
host ::
RSS.