View Proposal

---

Proposer

Radu Mardare

Title

Simulating and predicting the knowledge of agents in Epistemic Systems

Goal

Develop basic concepts of simulation and bisimulation for Epistemic Systems, supported by logical analysis and possibly by a simulation and 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 of 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 concepts of simulation that can be useful in applications. For instance, what does it mean that an agent can simulate another agent? This can be a useful concept in security, where dissimulated behaviours can be used to avoid security checks. 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

Master of Engineering in Software Engineering
Master of Design in Games Design and Development
Master of Science in Computer Science for Cyber Security
Master of Science in Computer Systems Management
Master of Science in Computing (2 Years)
Master of Science in Information Technology (Software Systems)
Master of Science in Network Security
Master of Science in Software Engineering