Информационные модели

На этом этапе центральным является абстрагирование концептуальных сущностей задачи в терминах ОБЪЕКТОВ и АТРИБУТОВ. Отношения между сущностями формализуются в связях, которые основываются на дисциплинах поведения, правилах и физических законах, доминирующих в реальном мире. На рис. 1 представлен так называемый семантический треугольник, посредством которого схематично описываются различные отношения, формирующие процессы генерации и хранения знаний, обмена знаниями.

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

Компьютер имитирует человеческое поведение. Через программирование и построение информационных моделей (рис. 2) в содержательную модель математики входят абстракции человеческого интеллекта, свойства искусственных и живых (биологических и социотехнических) систем. В настоящее время наиболее изученным является отношение мeжду синтаксическим и семантическими компонентами (рис. 2); представления о двух других отношениях “ИМЯ – ЗНАЧИМОСТЬ” и “СОДЕРЖАНИЕ – ЗНАЧИМОСТЬ” находятся в стадии формирования и требуют проведения дальнейших исследований.