Логическое моделирование процедуры партнерской мультиагентной аргументациитезисы доклада