Abstrakt
The interaction of agents can be understood as an exchange of arguments. There are several possible approaches to th argumentation, but most of them can be described within argumentation frameworks, first introduced in a landmark paper of P.M.Dung.
Argumentation frameworks provide a useful technical tool to determine which sets of arguments can be considered as justified. The aim of this project is to design an argumentation framework over epistemic logic in order to determine how meta-knowledge about knowledge of other agents affects process of argumentation.