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