Incorporating rhetorical and plausible reasoning in a system for simulating argumentation

The article introduces argumentation theory, some examples of computational models of argumentation, some application examples, considers the significance and problems of argumentation systems, and outlines the significance and difficulties of the field. Also, the article describes a system which used rhetorical reasoning rules such as fairness, reciprocity, and deterrence which was used to simulate the text of a debate. The text was modelled using modem argumentation theory, and this model was used to build the system. The article discusses the system with regard to several aspects: its ability to deal with meaningful contradiction such as claim X supporting claim Y, yet claim Y attacking claim X; recursive arguments; inconsistency maintenance; expressiveness; encapsulation, the use of definitions as the basis for rules, and making generalisations using taxonomies. The article concludes with a discussion of domain dependence, rule plausibility, and some comparisons with formal logic. (C) 1999 Elsevier Science B.V. All rights reserved.