ПРИНЦИП ПРЕДЕЛЬНЫХ ОБОБЩЕНИЙ: методология, задачи ...

187
ГЛАВА 5.
МЕТОД ПРЕДЕЛЬНЫХ ОБОБЩЕНИЙ
Фундаментальной логической активностью разума является
гносеологический цикл движения от частного к общему, который состоит
из следующих этапов [2, 10, 105]:
1. Возникают некоторые частные знания без общего.
2. Выдвигается гипотеза о природе того единства, которое лежит за
частными знаниями.
3. Для обоснования указанной гипотезы, частные знания выводятся тем
или иным способом из общего знания. Если это удается сделать, то общее
знание получает определенное обоснование.
4. Возможно, что из гипотезы общего выводятся дополнительные
частные знания, которые ранее не были получены в опыте. Теперь они
ищутся в опыте, и, в случае подтверждения, общее получает
дополнительное подкрепление.
5. Рано или поздно расширение частных знаний превышает ресурсы
первоначального общего, и возникает потребность в гипотезе более
глубокого общего, которое смогло бы охватить расширенное многообразие
частного и породить новое подтверждаемое в будущем многообразие
частного. Далее цикл повторяется.
Метод предельных обобщений (МПО) позволяет сформировать
гипотезы относительно общего знания, описывающего частные ситуации
действительности с известным исходом. Какие-то из гипотез могут
оказаться корректными, т.е. охватывать все возможные в данной ПрО
ситуации действительности. Особенностью выдвигаемых гипотез (моделей
знаний) является то, что все они обладают свойством предельной
фальсифицируемости на заданном множестве ситуаций действительности в
рамках заданной онтологии (Банка тестов).
5.1 Вероятностные закономерности, формальные синдромы,
синдромные и вероятностные модели знаний
Дано: банк тестов {G(τ)} и множество ситуаций действительности
(прецедентов) с известными исходами Ω = {α({τ/T}, z/Z)}, где Z = {1,…, N}.
В качестве исходов Z могут выступать диагнозы, прогнозы, варианты
управления. Без потери общности будем считать, что каждый тест входит в
описание ситуации (прецедента) один раз. Множество заключений или
исходов Z является полным и альтернативным. Относительно количества и
качества прецедентов потребуем минимальной представительности