2019
Report
Information Technologies for Intelligent Decision Making Support : Proceedings of the 7th All-Russian Scientific Conference, May 28–30, 2019, Ufa, Russia
Russia, Ufa, Ufa State Aviation Technical University (USATU)
Vol. 1
978-5-4221-1247-0
Gribova V.V., Moskalenko Ph.M., Timchenko V.A., Shalfeeva E.A. Declarative-component approach to the development of an interactive system for verification of mathematical proofs // Information Technologies for Intelligent Decision Making Support : Proceedings of the 7th All-Russian Scientific Conference, May 28–30, 2019, Ufa, Russia : in three volumes. – Ufa, 2019. Т. 1. Pp. 38-44. (in Russian)
Предложен подход к разработке решателей задач, ориентированных на специализированные модели представления знаний, на основе декларативных информационно-управляющих графов. Использование таких графов направлено на повышение степени «прозрачности» решателя для разработчика и, прежде всего, для сопровождающих – за счёт вынесения взаимосвязей вычислительных блоков из программного кода на уровень декларативных спецификаций. Применение подхода продемонстрировано на примере разработки информационно-управляющего графа интерактивной системы верификации математических доказательств, основанной на декларативно представленной расширяемой формально-логической системе.