|
|
Reasoning in Description Logics
Malenko, Jaromír ; Kučera, Antonín (vedoucí práce) ; Lukasová, Alena (oponent) ; Křemen, Petr (oponent)
Název: Usuzování v deskriptivní logice Autor: Mgr. Jaromír Malenko Pracoviště: Katedra teoretické informatiky a matematické logiky, Matematicko-fyzikální fakulta, Univerzita Karlova v Praze Školitel: Prof. RNDr. Petr Štěpánek, DrSc.; Katedra teoretické informatiky a matematické logiky, Matematicko-fyzikální fakulta, Univerzita Karlova v Praze Klíčová slova: Deskriptivní logika, dokazovač, kartézský součin, nemonotónní usuzování Abstrakt: Práce se zabývá následujícími problémy při usuzování v deskriptivní logice. 1. Protože deskriptivní logika (DL) je podmnožinou predikátové logiky (PL), ukážeme použití dokazovače v PL pro dokazování v DL. Implementovali jsme dokazovač v DL na- zvaný dl2fol, který na vstupu dostane ontologii (teorie DL s pravidly), přeloží ji do teorie PL a získanou množinu formulí předá dokazovači v PL. Odpověď dokazovače se použije pro sestavení odpovědi na dotaz týkající se zadané ontologie. 2. Rozšíříme dvě známé DL tak, že zavedeme nový operátor jazyka: kartézský součin konceptů a rolí. To umožní vyjádřit vztahy, které nejsou ve slabších DL vyjádřitelné. V DL SROIQ ukážeme, jak mohou být axiomy kartézského součinu modelovány za použití jiných jazykových operátorů. Pro DL EL++ s kartézskými axiomy představíme polyno- miální algoritmus pro testování subsumpce konceptů. Dokážeme,...
|
|
|
Financování léčiv v ČR
Lukášová, Alena ; Stará, Dana (vedoucí práce) ; Dittrich, Oldřich Ludwig (oponent)
Bakalářská práce se zabývá problematikou financování léčiv v ČR. V literární rešerši je stručně popsána historie lékárenství. Důraz je však kladen na oblast organizace a distribuce léčiv, kde jsou podrobněji rozepsány jednotlivé složky postupu, kterými musí projít každý lék, než se dostane na pulty lékáren. Dále se práce zaměřuje na zdravotní politiku státu potažmo lékovou politiku. V následující části je pak rozebrán systém stanovování cen a úhrad léků, veřejné zdravotní pojištění se zaměřením na zdravotní pojišťovny, soukromý sektor, konkrétně pak doplatky za léky a regulační poplatky, které jsou přímými platbami domácností.
Vlastní práce zkoumá celkové výdaje na zdravotnictví a jejich zdroje financování s důrazem na oblast léčiv. Dále se tato část zaměřuje na výdaje zdravotních pojišťoven podle druhu poskytované péče a výdaje domácností, taktéž s ohledem na téma této práce. Na závěr je uvedena obecně spotřeba léčiv a počty lékárenských zařízení.
|
host ::
RSS.