Модель системы понятий

Определение системы понятий в символьном моделировании (s-моделировании) включает описание области применимости s-модели системы понятий.
[Здесь и далее для записи определений и примеров применены средства комплекса TSM].

□ S-модель sc системы sC понятий — это пара <memsc ≈ память модели sc системы sC понятий>, <rel (memsc) ≈ семейство связей, заданных на memsc> (где sc — помета). □

Определение системы понятий — описание её s-модели, сопровождаемое указанием области применимости.

Описание представлено в форме сообщения, рассчитанного на:

  • интерпретацию профессиональным сообществом;
  • представление, сохранение, распространение, накопление и поиск в s-среде. □

Определение системы понятий должно удовлетворять необходимым требованиям конструктивности:

  • представление в виде пары <определение области применимости>, <s-модель системы понятий>;
  • в систему понятий, считающуюся определённой, не должны входить понятия, не имеющие определений (и при этом не относящиеся к понятиям-аксиомам).

□ Определение области применимости s-модели включает описание:

  • корреспондента (кому адресовано определение);
  • цели, в процессе достижения которой определение имеет смысл (классы задач, при изучении которых определение может быть полезно);
  • стадии, на которой целесообразно использовать определение (концепция, методология решения и т. д.). □

Область применимости модели может принадлежать совокупности областей, в которых исследуются природные объекты (О изучаемые в физике и астрономии О), или к совокупности областей, в которых изучаются изобретаемые объекты (О в математике и информатике[1] О).

О Элементарным примером системы понятий с разрешимыми задачными связями между элементами памяти является система понятий треугольник, в которой стороны a, b, c, периметр p и т. д. — элементы памяти; а связи p = a + b + c и др. — элементы семейства связей. О

О trπ/2tr [::angle = π/2]: тип trπ/2 системы понятий прямоугольный треугольник — специализация типа tr треугольник путём добавления связи angle = π/2 (выделяет из множества треугольников подмножество тех, у которых величина одного из углов равна π/2). О

  1. Ильин В. Д. Информатика // Большая российская энциклопедия – электронная версия