Система знаний: иерархия аксиоматик, модели и их верификация

В статье исследуются возможности совершенствованию системы знаний, которая в настоящее время не обладает необходимой целостностью, существует одновременно в нескольких противоречащих друг другу парадигмах, описывается на альтернативных, взаимно-непереводимых языках различных наук и областей знания. Возможности совершенствования системы знаний могут быть реализованы при систематизации и обобщений знаний в виде иерархической структуры, основанной на задействовании нескольких методологических уровней, к числу которых относятся: формирование иерархии аксиоматик; генерация формальных теорий предметных областей на основе выбранной аксиоматики и принятых в рамках современной научной парадигмы единообразных правил; определение методологических подходов к синтезу формальных моделей; топологическая верификация знаний на предмет обеспечения непрерывности отображений и сохранения преемственности при развитии и трансформации всей системы знаний и локальных систем знаний, относящихся к ее фрагментам или ипостасям. В основу методологии исследования положен эволюционный подход к познанию, исходя из которого относительно крупным предметным областям соответствуют эволюционные уровни мироздания, для которых определяется аксиоматика. Построение формальной модели осуществляется посредством специальной методологии синтеза. Для обоснованного выбора формальной модели предлагается оригинальная классификация моделей по широкому набору критериев. Научная новизна исследования заключается: в определении методологии построения иерархии аксиоматик; определении трех критериев выбора наилучших аксиом (эволюционности, очевидности и парадигмальности); в определении механизма возникновения неполноты и противоречивости систем знаний, возникающих вследствие инкапсуляции обобщенных знаний предшествующих эволюционных уровней, сопровождающейся потерей информации, а также определении подходов к устранению неполноты и противоречивости; в формализации специальной методологии синтеза формальных моделей, включающей в себя накопленный опыт синтеза, консолидированный в виде вторичных законов объектов, относящихся к моделированию, и инструментарий описания последовательности синтеза на основе ее языковой интерпретации; в формировании комплексного подхода к решению проблемы формальных моделей при их изменении за пределы системной определенности. На долгосрочную перспективу развитие системы знаний сформулирована цель определения методологических подходов к задаче конструирования языковых форм для трансляции смыслов между различными предметными областями с сохранением преемственности или с переопределением смыслов знания.

система знаний, иерархия, аксиомы, эволюция, предметная область, мироздание, формальная система, теория, модель, верификация