A taxonomy of argumentation models used for knowledge representation