Аргументационная семантика для шаговых теорий Активной Логики c грануляцией времени

Активная Логика является концептуальной системой, принципам которой удовлетворяют формализмы рассуждений, толерантных к противоречиям и дающие возможность для соотнесения результатов рассуждений с моментами времени. В работе предлагается подход к построению аргументационной семантики одного из таких формализмов, построенного на основе принципов логического программирования. При этом используется концепция грануляции времени, трактуемого как внешняя сущность, не зависящая от внутренней структуры логической программы. Специфика Активной Логики с грануляцией времени потребовала серьезной модификации предлагаемой системы аргументации по сравнению с другими системами такого рода, имеющимися в настоящее время.