Informal Logic , Argumentation Theory & Artificial Intelligence Introduction