Modeling Defeasible Reasoning for Argumentation

Abstract

This paper contains a description of an argumentation system that uses a defeasible reasoning mechanism. The main idea and the key points are given. Also it contains main algorithms for detecting the conflicts and finding statuses of arguments. Solutions of some problems, which are not solvable in the classical logics, are presented.