Формальные модели мета-аргументации и объективации дискуссий

В статье представлено решение проблемы объективации дискуссий, которая ранее была сформулирована И.В. Берестовым. Под «объективацией» дискуссии понимается возможность использовать сложную структуру аргументации, состоящую из множества аргументов с определенным на нем отношением атаки, в качестве молекулярного аргумента в пользу или против некоторого тезиса. Проблема заключается в том, что при традиционном дунговском подходе к моделированию структуры аргументации в состав молекулярных аргументов могут входить лишь атомы, между которыми нет отношения атаки, что не позволяет собрать всю дискуссию в единый молекулярный аргумент. Мы показываем, как эта проблема может быть решена в рамках подхода Д. Габбая к моделированию мета-аргументации, в рамках которого всякое отношение атаки может быть «объективировано» путем введения в структуру графа дополнительных вершин.