Аннотация

Аннотация: Цель работы – описание методики применения аргументации для обоснования работоспособности алгоритмов. Показано, что целесообразность применения аргументации появляется тогда, когда логическая схема не позволяет ответить на вопрос об обоснованности алгоритма. Показано, что схема аргументации является обоснованием алгоритма, но самим алгоритмом не является. Кратко описаны виды аргументации, применяемые для анализа алгоритмов. Дано сравнение логической и формальной аргументации. Основу методики, основанной на формальной аргументации, составляет аргументация Дунга. Даны три варианта аргументации для обоснования новых алгоритмов. Первый вариант возникает при расширении известного алгоритма в новый алгоритм за счет использования нового бесконфликтного подмножества алгоритма. Второй вариант имеет место, при сравнении нового и апробированного алгоритмов. Третий вариант аргументированного обоснования алгоритма имеет место, при одиночном включении операторов в известный алгоритм, при условии его бесконфликтности с остальной частью алгоритма. Описана целесообразность применения метода.