Hlavní stránka > Výsledky hledání: Urbański, Mariusz
Hledej:
Tipy pro vyhledávaní :: Rozšířené hledání
Hledej ve sbírkách:
Seřadit podle: Zobrazit výsledky: Výstupní formát:
Národní úložiště šedé literatury Nalezeno 1 záznamů.  Hledání trvalo 0.00 vteřin. 
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
Úplný záznam

Chcete být upozorněni, pokud se objeví nové záznamy odpovídající tomuto dotazu?
Přihlásit se k odběru RSS.
Digitální repozitář :: Hledej :: Nový záznam :: Personalizace :: Nápověda
Powered by Invenio v1.1.2
Spravuje admin.invenio@techlib.cz
Tato stránka je dostupná také v následujících jazycích:
Česky  English