Теория решений

Теория строгих решений

Теория эвристических решений

Дедуктивные решения

Абдуктивные решения

Индуктивные решения

Рис.15. Классификация типов решений по Л. Дж. Фогелю

Абдуктивные решения входят как в класс строгих, так в класс эвристических решений и отличаются большой неопределенностью. Они представляют собой процесс выявления наиболее вероятных исходных утверждений (посылок, причин и пр.) из некоторого заключительного утверждения на основе обратных преобразований. Абдуктивные решения строятся на широком использовании прошлого опыта.

Пусть, например, между некоторым множеством посылок x_i (х_i принадлежит Х) и следствий y_i (y_i принадлежит Y) обнаружена причинно-следственная связь R, тогда наиболее вероятной причиной появления некоторого нового следствия y_j является посылка x_j=R^-1(y_j), причем y_j принадлежит Y, а x_j принадлежит X.

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

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

Таблица 4. Примеры, поясняющие типы решений

Классы решений	Типы решений	Основные параметры		Пример 1	Примечание к примеру 1	Пример 2	Примечание к примеру 2
		Дано	Найти
Строгий	Дедуктивный	X,R	Y	Сократ – человек. Все люди смертны.		Объект X – инструмент. Все инструменты изнашиваются
			Вывод:	Сократ – смертен.		Объект Х – изнашивается
Строгий и эвристический.	Абдуктивный	Y,R	X	Сократ – смертен. Все люди смертны.		Объект Х – изнашивается. Все инструменты изнашиваются.
			Вывод:	Сократ – человек.	Но Сократ может быть и собакой.	Объект Х – инструмент.
Эвристический	Индуктивный	X,Y	R	Сократ – человек. Сократ смертен.		Объект X – инструмент. Объект Х – изнашивается
			Вывод:	Все люди - смертны	Это может быть одна из возможных гипотез.	Все инструменты изнашиваются.