2018
Article
Ontology of designing.
Russia, Samara, New Engineering
Vol.8. N 3.
2223-9537
Kleschev A.S., Timchenko V.A. Implementation of the shell and knowledge portal for mathematical proofs verification on the IACPaaS platform // Ontology of designing. 2018. Vol.8. N 3. Pp. 427-448. (in Russian)
Представлена концептуальная архитектура оболочки для интерактивных систем верификации математических доказательств и создаваемого с её помощью развиваемого тематического портала знаний. Описан процесс реализации всех программных и информационных компонентов оболочки на облачной платформе IACPaaS с использованием предоставляемых ею технологий и инструментальных средств их поддержки. Рассмотрен процесс разработки начального состояния портала знаний по верификации математических доказательств с использованием средств оболочки, способ использования портала знаний заинтересованными членами математического сообщества, а также механизмы изменения состояния портала его администратором. В состав начального состояния портала знаний входят: модель онтологии базы математических знаний, включающая спецификацию начального состояния языка представления математических знаний, редактор модели онтологии базы математических знаний, редактор базы математических знаний, редактор базы способов рассуждений, решатель задач оболочки, реализующий процесс конструирования доказательств в терминах модели онтологии доказательств. Также в состав начального состояния портала знаний входят начальное состояние базы математических знаний и начальное состояние базы способов рассуждений. Развитие портала знаний состоит в развитии трёх перечисленных информационных компонент. В этом процессе могут принимать участие все заинтересованные члены математического сообщества. Он осуществляется с помощью системы личных кабинетов платформы IACPaaS, в которых каждый пользователь может независимо развивать свою персональную копию текущего состояния общего портала знаний, а передача новых результатов в общий портал контролируется его администратором.
10.18287/2223-9537-2018-8-3-427-448