Towards Artificial Argumentation