Abstract
It is shown that Aristotelian dialectic can be analyzed as having two parts: a core formal model that has a formal dialogue structure and a set of ten definable supplementary characteristics that lie outside the core structure. Some current argumentation tools used in artificial intelligence and multi-agent systems are applied to the task of extending the core formal model to include the supplementary characteristics. Using these tools it is explained how the structure of a dialogue can be mapped into an argument diagram that can be analyzed and evaluated using standard argumentation techniques such as argumentation schemes, types of dialogue, critical questions and a dialectical concept of burden of proof. Disputed issues on how the elenchus fits the standard dialogue typology are discussed, and it is concluded that it fits best into a type of dialogue called examination dialogue that is closely related to persuasion dialogue.