Essays about: "epistemisk logik"
Found 2 essays containing the words epistemisk logik.
-
1. Interpretations of epistemic mu-calculus over multi-agent games
University essay from KTH/Matematik (Avd.)Abstract : In this work, we are interested in expressing and studying certain formal properties of multi-agent games. In particular, we are interested in the case in which a team of agents with imperfect information is playing against the environment. READ MORE
-
2. Epistemic Logic for the Multi-Agent Knowledge-Based Subset Construction
University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)Abstract : We study multi-agent games on graphs, in relation to the multi-agent knowledgebased subset construction (MKBSC) – a mathematical tool for knowledgebased strategy synthesis. We consider the problem of applying a formal logic related to agent knowledge in this context. READ MORE
Result pages:
1