National Repository of Grey Literature 1 records found  Search took 0.00 seconds. 
Resolution Method Visualisation
Kasem, Jakub ; Zbořil, František (referee) ; Rozman, Jaroslav (advisor)
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.

Interested in being notified about new results for this query?
Subscribe to the RSS feed.