Seminar: Argumentation and Its Applications from Formal View