2019
Материалы / тезисы конференций
Информационные технологии интеллектуальной поддержки принятия решений : труды VII Всероссийской научной конференции (с приглашением зарубежных ученых), май 28–30, 2019, Уфа, Россия
Россия, Уфа, ФГБОУ ВО «УГАТУ»
Том 1
978-5-4221-1247-0
Грибова В.В., Москаленко Ф.М., Тимченко В.А., Шалфеева Е.А. Декларативно-компонентный подход к разработке интерактивной системы верификации математических доказательств // Информационные технологии интеллектуальной поддержки принятия решений: труды VII Всероссийской научной конференции (с приглашением зарубежных ученых), май 28–30, 2019, Уфа, Россия. – Уфа. 2019. 2019. Т. 1. С. 38-44.
Предложен подход к разработке решателей задач, ориентированных на специализированные модели представления знаний, на основе декларативных информационно-управляющих графов. Использование таких графов направлено на повышение степени «прозрачности» решателя для разработчика и, прежде всего, для сопровождающих – за счёт вынесения взаимосвязей вычислительных блоков из программного кода на уровень декларативных спецификаций. Применение подхода продемонстрировано на примере разработки информационно-управляющего графа интерактивной системы верификации математических доказательств, основанной на декларативно представленной расширяемой формально-логической системе.