View Proposal

---

Proposer

Radu Mardare

Title

The equivalence of Epistemic Systems

Goal

Develop basic concepts of equivalence between epistemic systems, supported by logical analysis and possibly by a prediction tool

Description

Epistemic systems are systems of agents witnessing a certain reality and computing knowledge about it. They are intensively used in modelling, for instance security systems where one wants to understand and control the information accessed by certain agents active on a network. Due to its relevance in applications, the field of epistemic logic had a considerable evolution in the last decades. This project aims at developing a couple of fundamental concepts of equivalence that might be relevant for epistemic systems. For instance, (i) what does it means for two agents to have equivalent knowledge? or (ii) what does it means for two societies of agents to have equivalent knowledge? or even (iii) what makes two epistemic systems equivalent? To argue for possible answers to these questions one can make use of fragments of epistemic logic. This project can be developed either as a theoretical work, or it can focus on implementing some dedicated algorithms related to the aforementioned problems.

Resources

Background

Basic understanding of computational models.

Url

Difficulty Level

Moderate

Ethical Approval

None

Number Of Students

3

Supervisor

Radu Mardare

Keywords

epistemic systems, epistemic games, epistemic logic, transition systems, modal logic

Degrees

Bachelor of Science in Computer Science
Bachelor of Science in Computer Systems
Master of Engineering in Software Engineering
Master of Science in Software Engineering
Bachelor of Engineering in Robotics