| Popis: |
Active logic is a conceptual system, the principles of which are satisfied by the formalism of reasoning, enabling them to correlate the results with the timing and which are tolerant to inconsistencies. However, tolerance to the contrary not yet received a theoretical substantiation in the form Paraconsistent semantics. The work proposes a variant of argumentation semantics for formalism of stepping theories built on the principles of Active Logic and logic programming. It is shown that the proposed argumentation semantics are Paraconsistent in the meaning of existence of contradictions in the stepping theories does not lead to their destruction, as is the case in standard logic systems. |
