Temporal Logic bot with reflexivity and transitivity as constraints

Najjar, Thalia (2021) Temporal Logic bot with reflexivity and transitivity as constraints. Bachelor's Thesis, Artificial Intelligence.

Preview	Text s3614794_Najjar_Thesis.pdf Download (939kB) | Preview
	Text toestemming.pdf Restricted to Registered users only Download (93kB)

Abstract

A Twitter bot that regularly publishes new tautologies in Temporal Logic (TL) was implemented in this study. The design of the bot relies on exhaustively generating TL formulas before testing them with the reflexive and transitive constraints using a semantic tableau system. Various shortcuts have been implemented to enhance the system's performance. Its efficiency is assessed with regards to its soundness and completeness, its run time relatively to the complexity of the formulas, as well as by comparing it to a pre-existing temporal logic bot. The system appeared to be sound but not complete and has a consistent average run time per formula for formulas having four connectives and less.

Item Type:	Thesis (Bachelor's Thesis)
Supervisor name:	Verbrugge, L.C.
Degree programme:	Artificial Intelligence
Thesis type:	Bachelor's Thesis
Language:	English
Date Deposited:	19 Jul 2021 07:19
Last Modified:	19 Jul 2021 07:19
URI:	https://fse.studenttheses.ub.rug.nl/id/eprint/25291

Actions (login required)

View Item