Barho, Paula (2023) Efficiency of doxastic logic bot for serial transitive euclidean models. Bachelor's Thesis, Artificial Intelligence.
|
Text
AI_BSc_Thesis_Paula_Barho_s3788040.pdf Download (3MB) | Preview |
|
![[img]](https://fse.studenttheses.ub.rug.nl/style/images/fileicons/text.png) |
Text
toestemming.pdf Restricted to Registered users only Download (113kB) |
Abstract
Doxastic logic is a modal logic concerned with the beliefs of agents. The doxastic logic KD45 is based on serial transitive euclidean models. This study is concerned with the performance of a bot, that was designed to post newly generated tautologies of KD45 on Twitter. The performance of the bot, depending on the complexity of the formulas, was evaluated with regard to its run time and RAM usage. Whilst the average run time per formula of the tableau solver was rather consistent, the RAM usage differed significantly with increasing numbers of connectives and modal depth. The limitations, such as a time-out to avoid infinite branches, were discussed to determine possible improvements in the implementation. These improvements include, e.g., a pattern checker, a dynamic number of agents, as well as an adapted approach to the data analysis.
| Item Type: | Thesis (Bachelor's Thesis) |
|---|---|
| Supervisor name: | Verbrugge, L.C. and Weerd, H.A. de |
| Degree programme: | Artificial Intelligence |
| Thesis type: | Bachelor's Thesis |
| Language: | English |
| Date Deposited: | 26 Jun 2023 09:15 |
| Last Modified: | 26 Jun 2023 09:15 |
| URI: | https://fse.studenttheses.ub.rug.nl/id/eprint/30088 |
Actions (login required)
 |
View Item |