Vizualizace rezoluční metody
| but.committee | doc. Ing. František Zbořil, Ph.D. (předseda) doc. Mgr. Adam Rogalewicz, Ph.D. (člen) Ing. David Bařina, Ph.D. (člen) doc. Ing. Michal Bidlo, Ph.D. (člen) doc. Ing. Radek Burget, Ph.D. (člen) | cs |
| but.defence | Student nejprve prezentoval výsledky, kterých dosáhl v rámci své práce. Komise se poté seznámila s hodnocením vedoucího a posudkem oponenta práce. Student následně odpověděl na otázky oponenta a na další otázky přítomných. Komise se na základě posudku oponenta, hodnocení vedoucího, přednesené prezentace a odpovědí studenta na položené otázky rozhodla práci hodnotit stupněm B. | cs |
| but.jazyk | slovenština (Slovak) | |
| but.program | Informační technologie | cs |
| but.result | práce byla úspěšně obhájena | cs |
| dc.contributor.advisor | Rozman, Jaroslav | sk |
| dc.contributor.author | Kasem, Jakub | sk |
| dc.contributor.referee | Zbořil, František | sk |
| dc.date.created | 2023 | cs |
| dc.description.abstract | Táto bakalárska práca je zameraná na problematiku automatizovaného dokazovania pomocou rezolučnej metódy. Teoretická časť práce je zameraná na predikátovú logiku, jej operácie a zákony, rezolučnú metódu a jej procesy, prehľadávanie stavového priestoru neinformovanými algoritmami a nástroje pre programovanie automatického dokazovania. Práca ďalej popisuje implementáciu výučbovej aplikácie vizualizujúcej rezolučnú metódu. Aplikácia automaticky dokazuje pravdivosť daného výroku hľadaním sporu medzi negáciou výroku a množinou predpokladov a odkrýva postup riešenia. V závere práce je zhodnotená implementácia riešenia i obsah práce a sú navrhnuté možné vylepšenia. | sk |
| dc.description.abstract | This bachelor thesis is focused on the topic of automated reasoning using the resolution method. The theoretical part of the thesis focuses on predicate logic, its operations and laws, the resolution method and its processes, state space search by uninformed algorithms, and tools for automated reasoning programming. The thesis further describes the implementation of a educational application visualizing the resolution method. The application automatically proves the truth value of a given statement by finding a contradiction between the negation of the statement and the set of premises and reveals the solution procedure. In the conclusion of the thesis, the implementation of the solution and the content of the work are evaluated and possible improvements are suggested. | en |
| dc.description.mark | B | cs |
| dc.identifier.citation | KASEM, J. Vizualizace rezoluční metody [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2023. | cs |
| dc.identifier.other | 142841 | cs |
| dc.identifier.uri | http://hdl.handle.net/11012/211044 | |
| dc.language.iso | sk | cs |
| dc.publisher | Vysoké učení technické v Brně. Fakulta informačních technologií | cs |
| dc.rights | Standardní licenční smlouva - přístup k plnému textu bez omezení | cs |
| dc.subject | Automatické dokazovanie | sk |
| dc.subject | rezolučná metóda | sk |
| dc.subject | rezolučné odvodzovacie pravidlo | sk |
| dc.subject | klauzula | sk |
| dc.subject | formula | sk |
| dc.subject | klauzulárna forma | sk |
| dc.subject | stavový priestor | sk |
| dc.subject | stratégia prehľadávania do hĺbky | sk |
| dc.subject | stratégia prehľadávania do šírky | sk |
| dc.subject | predikátová logika | sk |
| dc.subject | výučbová aplikácia. | sk |
| dc.subject | Automated reasoning | en |
| dc.subject | resolution method | en |
| dc.subject | resolution inference rule | en |
| dc.subject | clause | en |
| dc.subject | formula | en |
| dc.subject | clausal form | en |
| dc.subject | state space | en |
| dc.subject | depth-first search strategy | en |
| dc.subject | breadth-first search strategy | en |
| dc.subject | predicate logic | en |
| dc.subject | educational application. | en |
| dc.title | Vizualizace rezoluční metody | sk |
| dc.title.alternative | Resolution Method Visualisation | en |
| dc.type | Text | cs |
| dc.type.driver | bachelorThesis | en |
| dc.type.evskp | bakalářská práce | cs |
| dcterms.dateAccepted | 2023-06-13 | cs |
| dcterms.modified | 2024-05-17-12:52:19 | cs |
| eprints.affiliatedInstitution.faculty | Fakulta informačních technologií | cs |
| sync.item.dbid | 142841 | en |
| sync.item.dbtype | ZP | en |
| sync.item.insts | 2025.03.18 19:46:30 | en |
| sync.item.modts | 2025.01.15 17:19:05 | en |
| thesis.discipline | Informační technologie | cs |
| thesis.grantor | Vysoké učení technické v Brně. Fakulta informačních technologií. Ústav inteligentních systémů | cs |
| thesis.level | Bakalářský | cs |
| thesis.name | Bc. | cs |