Реализация оболочки и портала знаний по верификации математических доказательств на платформе IACPaaS


2018

Клещев А. С., Тимченко В. А.

Статьи в журналах

Онтология проектирования

Россия, Самара, ООО "Новая техника"

Т. 8, № 3(29)

427-448

0,913

2223-9537

Клещев А.С., Тимченко В.А. Реализация оболочки и портала знаний по верификации математических доказательств на платформе IACPaaS // Онтология проектирования. 2018. Т. 8, № 3(29). С. 427-448.

Представлена концептуальная архитектура оболочки для интерактивных систем верификации математических доказательств и создаваемого с её помощью развиваемого тематического портала знаний. Описан процесс реализации всех программных и информационных компонентов оболочки на облачной платформе IACPaaS с использованием предоставляемых ею технологий и инструментальных средств их поддержки. Рассмотрен процесс разработки начального состояния портала знаний по верификации математических доказательств с использованием средств оболочки, способ использования портала знаний заинтересованными членами математического сообщества, а также механизмы изменения состояния портала его администратором. В состав начального состояния портала знаний входят: модель онтологии базы математических знаний, включающая спецификацию начального состояния языка представления математических знаний, редактор модели онтологии базы математических знаний, редактор базы математических знаний, редактор базы способов рассуждений, решатель задач оболочки, реализующий процесс конструирования доказательств в терминах модели онтологии доказательств. Также в состав начального состояния портала знаний входят начальное состояние базы математических знаний и начальное состояние базы способов рассуждений. Развитие портала знаний состоит в развитии трёх перечисленных информационных компонент. В этом процессе могут принимать участие все заинтересованные члены математического сообщества. Он осуществляется с помощью системы личных кабинетов платформы IACPaaS, в которых каждый пользователь может независимо развивать свою персональную копию текущего состояния общего портала знаний, а передача новых результатов в общий портал контролируется его администратором.

10.18287/2223-9537-2018-8-3-428-448

http://agora.guru.ru/scientific_journal/files/Ontology_Of_Designing_3_2018-2_compressed.pdf