Název: | Generování magických pravidel z ozdobeného logického programu |
Další názvy: | Generation of magic rules from adorned logic program |
Autoři: | Láska, Jiří |
Vedoucí práce/školitel: | Zíma Martin, Ing. Ph.D. |
Oponent: | Kaas Ondřej, Ing. |
Datum vydání: | 2016 |
Nakladatel: | Západočeská univerzita v Plzni |
Typ dokumentu: | bakalářská práce |
URI: | http://hdl.handle.net/11025/23827 |
Klíčová slova: | magická pravidla;logické programování;optimalizace vyhodnocování |
Klíčová slova v dalším jazyce: | magic rules;logic programming;evaluation optimization |
Abstrakt: | Tato bakalářská práce se zaobírá konstrukcí magických pravidel. Je to důležitá součást Metody magických množin. Metoda magických množin je poměrně komplexní optimalizace vyhodnocování logických programů. Součástí práce je aplikace v Java jazyce. Aplikace implementuje samotný algoritmus konstrukce magických pravidel, pracující s daným textovým vstupem. |
Abstrakt v dalším jazyce: | This bachelor's thesis discusses magic rules generating. It is an essential part of the Magic Sets method. The Magic Sets method is a relatively complex optimization for logic programs' evaluation. A part of this thesis is an application written in the Java language. The application implements the very algorithm of a magic rules generator. The application processes a given text input. |
Práva: | Plný text práce je přístupný bez omezení. |
Vyskytuje se v kolekcích: | Bakalářské práce / Bachelor´s works (KIV) |
Soubory připojené k záznamu:
Soubor | Popis | Velikost | Formát | |
---|---|---|---|---|
bp.pdf | Plný text práce | 628,05 kB | Adobe PDF | Zobrazit/otevřít |
A13B0370P-hodnoceni.pdf | Posudek vedoucího práce | 212 kB | Adobe PDF | Zobrazit/otevřít |
A13B0370P-posudek.pdf | Posudek oponenta práce | 416,32 kB | Adobe PDF | Zobrazit/otevřít |
A13B0370P-obhajoba.pdf | Průběh obhajoby práce | 114,33 kB | Adobe PDF | Zobrazit/otevřít |
Použijte tento identifikátor k citaci nebo jako odkaz na tento záznam:
http://hdl.handle.net/11025/23827
Všechny záznamy v DSpace jsou chráněny autorskými právy, všechna práva vyhrazena.