We propose a new approach to designing agents based upon
  multi-context systems and argumentation. This approach allows the
  development of agent architectures which have a formal model in
  logic and a direct link between that model and its implementation. To
  exemplify our approach, we describe a case study of this
  relationship for a particular class of agent model (namely the
  strong realist Belief-Desire-Intention model).