ИАПУ ДВО РАН

Декларативно-компонентный подход к разработке интерактивной системы верификации математических доказательств


2019

Доклады

Информационные технологии интеллектуальной поддержки принятия решений : труды VII Всероссийской научной конференции (с приглашением зарубежных ученых), май 28–30, 2019, Уфа, Россия

Россия, Уфа, ФГБОУ ВО «УГАТУ»

Том 1

978-5-4221-1247-0

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

Предложен подход к разработке решателей задач, ориентированных на специализированные модели представления знаний, на основе декларативных информационно-управляющих графов. Использование таких графов направлено на повышение степени «прозрачности» решателя для разработчика и, прежде всего, для сопровождающих – за счёт вынесения взаимосвязей вычислительных блоков из программного кода на уровень декларативных спецификаций. Применение подхода продемонстрировано на примере разработки информационно-управляющего графа интерактивной системы верификации математических доказательств, основанной на декларативно представленной расширяемой формально-логической системе.

http://itids.ugatu.su/index.php/itids/itids2019/paper/view/141/115