Argumentation semantics for Active Logic step theories with granulation of time

详细

Active Logic is a conceptual system with principles that are satisfied by reasoning formalisms that are contradiction-tolerant and allow for matching of the reasoning outcomes with moments of time. This paper proposes an approach to building an argumentation semantics for one of such formalisms built on the basis of the logic programming principles. Meanwhile, the concept of granulation of time is applied, with the latter being construed as an external entity that is not dependent on the internal structure of the logic program. The specifics of Active Logic with time granulation demanded a considerable modification of the proposed system of argumentation in comparison to other systems of the type that are available.