About
The Course
Epistemic logic is logic about knowledge; how people reason about what they know and what they know that others know. This logic is crucial in describing negotiations in Economics, parallel processes in Computer Science, and multi-agent systems in Artificial Intelligence.
This project was part of the multi-agent course of the Master programme Artificial Intelligence. College topics included axiomatic systems and Kripke-semantics for representing knowledge of multiple actors/agents, applications of this logic in distributed systems, common knowledge and distributed knowledge, and extending the epistemic logic with modal operators for belief, desires and intentions.
Developers
Kim Does
|
Age: |
22 |
Study: |
Master of Artificial Intelligence |
Interests: |
Cognitive Ergonomics and Cognitive Psychology |
E-mail: |
kdoes ai.rug.nl |
|
Kim, having much experience with designing layouts and websites, designed
the interface and components for our application and website using Photoshop,
and she wrote part of the backend of the application together with Stephanie.
Stephanie Kemna
|
Age: |
22 |
Study: |
Master of Artificial Intelligence |
Interests: |
Rehabilitation and Medical Robotics |
E-mail: |
kemna ai.rug.nl |
|
Stephanie worked through quite some Java documentation, to construct the basis
for the interface of the application, she also programmed the backend
of the application together with Kim. Stephanie also provided the content of the website.
Jesse van den Kieboom
|
Age: |
22 |
Study: |
Master of Artificial Intelligence |
Interests: |
Robotics |
E-mail: |
jkieboom ai.rug.nl |
|
Jesse, being the programmer in this team, wrote most of the code for the
application. Apart from writing much of the Java code, he also wrote all
Prolog code.