FORMAL MODELS FOR PERSUASIVE ASPECTS OF ARGUMENTATION

The aim of the paper is to provide a comprehensive survey of logical models for the persuasive argumentation. We show how different aspects of persuasion can be described formally. In particular, we present the frameworks representing protocols of persuasive dialogs, rhetorical tools such as threats, rewards and appeals, argumentation changing beliefs vs. argumentation changing behavior, interaction among goals, result and success in persuasion, and finally - persuasiveness and nonverbal arguments.