Об эвристиках ДСМ-исследований (дополнения к статьям)

Рассматриваются логические средства обнаружения эмпирических закономерностей посредством ДСМ-метода автоматизированной поддержки исследований. Определяются генераторы гипотез о причинах и гипотез о предсказаниях, которые сохраняются в последовательностях расширяемых баз фактов.Рассматривается множество «историй возможных миров», где под «миром» понимаются расширяемые базы фактов. Это множество используется для определения эмпирических закономерностей - эмпирических законов, тенденций и слабых тенденций. Посредством эмпирических закономерностей определяются (эмпирические модальности необходимости (для эмпирических законов), возможности (для эмпирических тенденций) и слабой возможности (для слабых эмпирических тенденций). Предлагаются пропозициональные исчисления класса ERA - модальных логик с двумя эмпирическими модальностями необходимости и возможности такие, что они имитируют абдуктивный вывод посредством аксиом абдукции (□(p→q)&Tq)→□p), (◊(p→q)&Tq)→◊p), где □,◊,T - операторы необходимости, возможности и истинности («истинно, что …»).Приводится серия определений, относящихся к характеризации интеллектуального анализа данных посредством эвристик ДСМ-метода автоматизированной поддержки исследований.