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