|
|
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
|
|
|
Metoda sémantických stromů v neklasických logikách
Dančák, Michal ; Peliš, Michal (oponent) ; Bílková, Marta (vedoucí práce)
Dalo by se ríct, že jako dukazová metoda jsou sémantické stromy v Cesku nepríliš používané, a to i presto, že ve svete je to nejoblíbenejší dukazový systém pro modální logiku [1]. Vedle základního Hilbertova kalkulu se v ceské literature nejcasteji objevují sekventové kalkuly, prípadne kalkul prirozené dedukce. Presto má metoda sémantických stromu nekolik nezanedbatelných predností a zajímavých témat. Jak už název napovídá, tento kalkul vychází ze sémantiky - dukazy mají predevším sémantický charakter a pro "jednodušší" logiky jsou i velmi intuitivní. Dokazování je zároven i vyvracení. Pri dokazování metodou sémantických stromu vlastne hledáme protipríklad. Jestliže ho nenajdeme, a pokud jsme postupovali správne, tak neexistuje. Na poradí použití pravidel také nezáleží (až na nekolik vyjímek v nekterých logikách, které si pozdeji ukážeme). I díky temto výhodám je tato metoda také velmi vhodná pro strojové zpracování. V této práci jsem se rozhodl zamerit na to, jak se metoda sémantických stromu chová v substrukturální logice BCK (nekdy též FLew). Zacneme základními definicemi a tím, co to vlastne sémantické stromy jsou, dále bude následovat nekolik príkladu, definice logiky BCK a príslušných odvozovacích pravidel. Celá práce bude završena dukazem úplnosti a korektnosti tohoto kalkulu vuci kripkovské...
|
host ::
RSS.