An action language-based formalisation of an abstract argumentation framework