Informal Logic, Argumentation Theory and Artificial Intelligence