Реализация алгоритмов индуктивного вывода

Под индуктивным выводом или алгоритмом индуктивного вывода будем понимать такой алгоритм, который обеспечивает построение обобщений, формирование гипотез, конструирование формальных описаний конкретных знаний.

Индуктивный вывод рекомендуется использовать для плохоформализуемых задач, которые не удовлетворяют всем необходимым условиям, например статистическим допущениям. К причинам плохой формализации можно отнести следующие моменты.

· недостаточное количество информации

о самом моделируемом объекте;

· неоднородность признаков, описывающих рассматриваемый объект;

· сложность взаимосвязей между - отдельными компонентами объекта и подсистемами;

· наличие противоречивой информации об объекте.

Первый этап развития методов индуктивного вывода состоял в использовании логик первого порядка и получении знаний от экспертов. В настоящее время актуальным является направление создания алгоритмов организации индуктивного вывода знаний исключительно из примеров.

Такие алгоритмы предназначены для прямого формирования обобщений, объясняющих все существующие факты. В своей основе они опираются на измерение количества информации в кибернетическом смысле, а также на различные виды логик.

Для экономического анализа такие алгоритмы представляют собой естественное продолжение группы методов недетерминированного анализа.

Обзор методов индуктивного вывода

Дедуктивный вывод или дедуктивное заключение определяется как переход от общего к частному, единичному. В противоположность дедуктивному существует семейство так называемых редуктивных заключений, которые обладают следующими признаками:

.Между посылками и заключениями формируется связь, выражаемая в форме "если - то", логической основой которого является репликация. Если посылки редуктивного заключения истинны, то заключение может иметь значение "истинно", а может "ложно".

.Редуктивные заключения не могут быть получены исключительно по формальным правилам, нельзя полностью абстрагироваться от содержания суждений.

Редуктивное заключение дает лишь относительную уверенность в том, что заключение истинно при истинности посылок.

Практический интерес представляет важнейший класс редуктивных заключений - индукция (см. иллюстрацию 2), которая делится на следующие виды [3]:

Энумеративная - когда для обоснования общего высказывания собирают единичные или частные высказывания.

Конструктивная - когда обобщение строится так, чтобы оно удовлетворяло всем имеющимся на данный момент частным фактам.

Элиминативная - обобщение производится на основе специальных аксиом, отражающих здравый смысл.

Иллюстрация 2.Классификация редуктивных заключений