Budazhapova, Darima (2022) I know exactly what I know (and so do you): constructing an epistemic logic bot in S5 with one or more agents. Bachelor's Thesis, Artificial Intelligence.
|
Text
bAI_2022_BudazhapovaD.pdf Download (562kB) | Preview |
|
![[img]](https://fse.studenttheses.ub.rug.nl/style/images/fileicons/text.png) |
Text
toestemming.pdf Restricted to Registered users only Download (127kB) |
Abstract
Epistemic logic is a field of modal logic that deals with formalizing knowledge of agents. Using epistemic operators K and M, as well as Kripke’s possible world semantics, it allows us to explicitly reason about what individual agents know or don’t know via agent-specific accessibility relations between states. S5 is a subsystem of epistemic logic that is suited to reasoning with non-human agents, e.g. servers in a network. This project implements a simple Twitter bot that continuously generates, tests, and posts tautologies in epistemic S5 logic under the reflexivity, transitivity, and euclidicity constraints. Analysis of the bot’s solving time and peak memory usage with regards to length and modal depth of the formulas has yielded moderately positive correlations with modal depth showing the most influence (Spearman’s ρ = 0.61 with peak RAM usage).
| Item Type: | Thesis (Bachelor's Thesis) |
|---|---|
| Supervisor name: | Verbrugge, L.C. |
| Degree programme: | Artificial Intelligence |
| Thesis type: | Bachelor's Thesis |
| Language: | English |
| Date Deposited: | 15 Sep 2022 12:47 |
| Last Modified: | 15 Sep 2022 12:47 |
| URI: | https://fse.studenttheses.ub.rug.nl/id/eprint/28723 |
Actions (login required)
 |
View Item |