MULTITAB: An automated theorem prover for three-valued logic

Weert, P.R. de (2016) MULTITAB: An automated theorem prover for three-valued logic. Bachelor's Thesis, Artificial Intelligence.

Preview	Text AI_BA_2016_PETERROGIERDEWEERT.pdf - Published Version Download (418kB) | Preview
	Text Toestemming.pdf - Other Restricted to Backend only Download (492kB)

Abstract

Automatic theorem provers are systems designed to solve formal logical inferences. The prover (MULTITAB) discussed in this paper is designed to solve inferences in five different multiple-valued logics, of which four are 3-valued logics, and one is a 4-valued logic. MULTITAB is based on the tableau method, and uses a strategy to solve inferences by creating the smallest possible tableau for any inference. Different settings for the creation of the tableau and visualization of it were tested on correctness and speed. Each setting was tested for each logic on 16 formal logical inferences. These results were then combined to form groups for each settings and groups for each logic. These combined groups were used in an ad-hoc analysis using Wilcoxon signed rank tests, leading to significant differences in speed found between logic groups and between setting groups. MULTITAB finds solutions in less than a tenth of a second.

Item Type:	Thesis (Bachelor's Thesis)
Degree programme:	Artificial Intelligence
Thesis type:	Bachelor's Thesis
Language:	English
Date Deposited:	15 Feb 2018 08:11
Last Modified:	15 Feb 2018 08:11
URI:	https://fse.studenttheses.ub.rug.nl/id/eprint/13739

Actions (login required)

View Item