Schoeber, N. (2017) Automatic Tableau Builder for Grzegorczyk Logic. Bachelor's Thesis, Artificial Intelligence.
|
Text
AI_BA_2017_NSchoeber.pdf - Published Version Download (691kB) | Preview |
|
![[img]](https://fse.studenttheses.ub.rug.nl/style/images/fileicons/text.png) |
Text
Toestemming.pdf - Other Restricted to Backend only Download (79kB) |
Abstract
This research aims to build an automated tableau builder for Grzegorczyk logic and to check whether its logic is sound and complete. This is done by creating a tableau system using the rules and characteristics of Grzegorcyk logic. These new tableau rules are then directly implemented in an algorithm that tries to create a tableau for every inference. This algorithm is able to prove the Grzegorczyk axiom and its set of rules is proven to be sound and complete.
| Item Type: | Thesis (Bachelor's Thesis) |
|---|---|
| Degree programme: | Artificial Intelligence |
| Thesis type: | Bachelor's Thesis |
| Language: | English |
| Date Deposited: | 15 Feb 2018 08:29 |
| Last Modified: | 15 Feb 2018 08:29 |
| URI: | https://fse.studenttheses.ub.rug.nl/id/eprint/15422 |
Actions (login required)
 |
View Item |