Дедуктивная и индуктивная системы правил вывода для построения формальных систем

Авторы

Малинина Н. Л.

Московский авиационный институт (национальный исследовательский университет), 125993, г. Москва, Волоколамское шоссе, д. 4

Аннотация

Цель статьи — сравнительная оценка сложности дедуктивной (ДСПВ) и индуктивной (ИСПВ) систем правил вывода при построении формальных систем. При использовании правил вывода «если q, то P» (ДСПВ) построение формальной системы осуществляется в лучшем случае с помощью полиномиальных алгоритмов синтеза. Поэтому характерной особенностью развития программирования в настоящее время является постоянное увеличение стоимости разработки программных средств по мере усложнения задач. Индуктивный подход («P, если q») не требует указания адресов передачи выходной информации, что существенно упрощает задачу составления алгоритма. Сравнение особенностей ДСПВ и ИСПВ позволяет сделать следующие выводы: ДСПВ отличается более высокой сложностью по сравнению с ИСПВ и не обеспечивает однозначного линейного упорядочения алгоритмических операторов при построении формальной системы, тогда как применение ИСПВ позволяет формализовать процесс построения алгоритма линейным образом.

Скачать статью