Formal argumentation and epistemic logic: what can they do for each other?

Abstract

Arguing and believing are two central cognitive dimensions of both human beings and artificial intelligent agents. The interrelation of these two notions (or groups of notions) is at the root of classic debates in epistemology and argumentation theory. During this talk, we will critically review recent literature on combining two well-known families of formalisms that account respectively for argumentation and beliefs, these are, formal argumentation and epistemic logic. [...]