Информатика: гуманитарно-технический аспект. Ишакова Е.Н. - 44 стр.

       - семантические сети - ориентированные графы, вершины которых - по-
нятия, а дуги - отношения между ними; поиск решения сводится к поиску
фрагмента сети, соответствующего поставленному вопросу;
       - фреймы - абстрактные образы или ситуации, формализованные модели
для отображения образа;
       - формальные логические модели - основаны на классическом исчисле-
нии предикатов первого порядка, когда предметная область задается в виде на-
бора аксиом.
       Структуры данных входят как часть в модель знаний предметной облас-
ти. Динамическая модель отражает процесс изменения и функционирования
объекта, представленного набором параметров. Существует еще один родст-
венный термин: алгоритмическая модель - комплекс алгоритмов, описываю-
щих функционирование системы /28/.
       Алгоритмическая модель может быть представлена в словесно-
пошаговом виде, блок-схемой, программой (раздел операторов) и др. Эти раз-
новидности представления алгоритма отличаются степенью формализации сис-
темы команд. Словесно-пошаговые представления могут допускать нестрогие
описания действий, условно понятных людям, для которых создавались эти
описания. Такие представления чаще употребляются в неформализованных си-
туациях. Блок-схемы и структограммы понятны более широкому кругу людей,
так как введены определенные условные обозначения, правила их соединений.
Алгоритмы, записанные в виде блок-схем, по определению являются формаль-
ными системами, но, безусловно, имеют меньшую степень общности, чем за-
пись на языках программирования. Программа как последовательность команд
является действительно формальной системой.
       Таким образом, алгоритмические модели могут относиться по способу
представления к образным - вербальным или иконическим, образно-знаковым
(блок-схема) и знаковым (программа).
       Понятие «динамическая информационная модель» несколько шире по-
нятия «алгоритмическая модель», так как включает и все функции времени, и
интуитивное представление человека о каких-либо преобразованиях во време-
ни, например, о старении человека.
       Информационно-логическая (инфологическая) модель, согласно /28/,
определяется как «модель предметной области, определяющая совокупность
информационных объектов, их атрибутов и отношений между объектами, ди-
намику изменений предметной области, а также характер информационных по-
требностей пользователя. Она создается по результатам предпроектного обсле-
дования предметной области и служит основанием для составления технико-
экономического обоснования банка данных и разработки технического задания
на проектирование».
       Следовательно, структурная модель есть часть инфологической модели.
Динамика изменений предметной области связана с операциями над информа-
ционными структурами и представлением процессов циркуляции информации.
Значит, вторую часть инфологической модели составляет динамическая мо-
дель.
44