diff --git a/rsconcept/frontend/src/pages/ManualsPage/items/HelpConcept.tsx b/rsconcept/frontend/src/pages/ManualsPage/items/HelpConcept.tsx index 2f934859..e990ccf3 100644 --- a/rsconcept/frontend/src/pages/ManualsPage/items/HelpConcept.tsx +++ b/rsconcept/frontend/src/pages/ManualsPage/items/HelpConcept.tsx @@ -21,7 +21,9 @@ function HelpConceptSystem() {

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

В ходе многократной концептуализации и решения с помощью построенных концептуальных схем прикладных задач diff --git a/rsconcept/frontend/src/pages/ManualsPage/items/HelpConceptRelations.tsx b/rsconcept/frontend/src/pages/ManualsPage/items/HelpConceptRelations.tsx index 4a4f5668..05d5f03c 100644 --- a/rsconcept/frontend/src/pages/ManualsPage/items/HelpConceptRelations.tsx +++ b/rsconcept/frontend/src/pages/ManualsPage/items/HelpConceptRelations.tsx @@ -1,13 +1,40 @@ +import LinkTopic from '@/components/ui/LinkTopic'; +import { HelpTopic } from '@/models/miscellaneous'; + function HelpConceptRelations() { return (

Связи между конституентами

-

TBD

-
  • Вывод: формальный и содержательный
  • -
  • Структурные отношения
  • -
  • Порожденные понятия
  • -
  • Родо-видовое отношение
  • -
  • Порождение многообразий
  • +

    + Конституенты связаны между собой через использование одних конституент при определении других. Такую связь в + общем случае называют используется в определении. Она является основой для построения Графа термов + , отображающего последовательность вывода понятий в концептуальной схеме. +

    + +

    + Если в формальном выражении используются только базовые структурные формулы, то такое определение называется + "простым" или "строго формальным". То есть для построения подобных определений достаточно формально применить + конструкции языка, новые договоренности об использовании содержания предметной области не требуются. +

    +

    + Такой способ построения определений называется формальным разворачиванием и зачастую используется для + описания сложно структурированных понятий и порождения{' '} + . +

    +

    + Если понятие определено с использованием только одного другого понятия простым определением, то оно называется{' '} + порожденным, а исходное понятие, – основой. +

    +

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

    +

    + Родо-видовое отношение между понятиями формализуется с помощью определения, где из элементов множества, + соответствующего родовому понятию формируются элементы видового понятия путем отбора по условию. +

    ); } diff --git a/rsconcept/frontend/src/pages/ManualsPage/items/HelpConceptSynthesis.tsx b/rsconcept/frontend/src/pages/ManualsPage/items/HelpConceptSynthesis.tsx index 72ccb938..595ad14b 100644 --- a/rsconcept/frontend/src/pages/ManualsPage/items/HelpConceptSynthesis.tsx +++ b/rsconcept/frontend/src/pages/ManualsPage/items/HelpConceptSynthesis.tsx @@ -1,10 +1,50 @@ +import LinkTopic from '@/components/ui/LinkTopic'; +import { HelpTopic } from '@/models/miscellaneous'; + function HelpConceptSynthesis() { - // prettier-ignore return ( -
    -

    Синтез концептуальных схем

    -

    TBD.

    -
    ); +
    +

    Синтез концептуальных схем

    +

    + Работа с крупными предметными областями требуют рассмотрения различных точек зрения в рамках одной предметной + области, то есть формирования ряда раздельных концептуальных схем. При этом ключевые понятия для выработки + решений требуют комбинирования выразительных способностей этих схем. +

    + +

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

    + +

    + Расширение выразительной способности достигается несколькими способами в зависимости от соотношения + синтезируемых точек зрения: +

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

    +

    + Возможно использование комбинации описанных подходов в рамках одного синтеза. Более подробно про реализацию + операций в родоструктурной форме можно прочитать в{' '} + +

    +

    + Для управления совокупностью синтезов используются операционные схемы синтеза. В данный момент этот + функционал еще не реализован в Портале. +

    +
    + ); } export default HelpConceptSynthesis; diff --git a/rsconcept/frontend/src/pages/ManualsPage/items/HelpConceptSystem.tsx b/rsconcept/frontend/src/pages/ManualsPage/items/HelpConceptSystem.tsx index da61ac85..cc1dc2a3 100644 --- a/rsconcept/frontend/src/pages/ManualsPage/items/HelpConceptSystem.tsx +++ b/rsconcept/frontend/src/pages/ManualsPage/items/HelpConceptSystem.tsx @@ -11,16 +11,52 @@ function HelpConceptSystem() { определениями понятий.

    -
  • Теория и модель предметной области
  • -
  • Базовые и неопределяемые
  • -
  • Неопределяемые и производные
  • -
  • Утверждения и определения
  • -
  • Ядро
  • -
  • Разворачивание термов
  • +

    + Система определений является инструментов исследования некоторого объекта с некоторой точки зрения, выделяемой + решаемой задачей. К такому инструменту предъявляются требования по выразительной способности – + возможности различить совокупность предметных сущностей – и по отсутствию возможности толкования. +

    + +

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

    + +

    + Система определений строится на основе неопределяемых понятий, которым дается неформальное определение, + называемое конвенцией, то есть единообразно понимаемая участниками договоренность о соотнесении + неопределяемых понятий с сущностями или объектами в предметной области. Помимо конвенции часто задают ряд + утверждений, связывающих неопределяемые понятия, называемых аксиомами. +

    + +

    + Остальным понятиям даются формальные определения с помощью некоторого одинаково понимаемого участниками способа + экспликации. Портал поддерживает . + Помимо аксиом также могут приводиться дополнительные утверждения, называемые теоремами. Понятия, которым + даются формальные определения называют производными. Следует отметить, что в родоструктурной экспликации + к аксиомам также относят соотношения , а к производным + понятиям, – термы, терм-функции и предикат-функции. +

    + +

    + Ядром концептуальной схемы называют совокупность базовых понятий, аксиом и промежуточных производных + понятий, необходимых для формирования выражений аксиом. Остальные понятия относят к Телу концептуальной + схемы. +

    + +

    + Для достижения необходимой выразительной способности в концептуальной схеме выделяют "ключевые" понятия, которые + дедуктивно выводят из базовых понятий последовательным выводом промежуточных понятий. Такая деятельность + называется разворачиванием термов (тела теории). Используемый формальный аппарат позволяет помимо + ключевых сформировать полное разнообразие понятий по основаниям, выделенным в ходе построения ключевых термов. + Такие построенные разнообразия могут использоваться для формулирования решений, в частности при нормативном + регулировании. +

    Более подробно различные отношения между понятиями и способы построения систем определений раскрываются в - разделе + разделе .

    ); diff --git a/rsconcept/frontend/src/pages/ManualsPage/items/HelpRSFormCard.tsx b/rsconcept/frontend/src/pages/ManualsPage/items/HelpRSFormCard.tsx index 956004de..9ec07153 100644 --- a/rsconcept/frontend/src/pages/ManualsPage/items/HelpRSFormCard.tsx +++ b/rsconcept/frontend/src/pages/ManualsPage/items/HelpRSFormCard.tsx @@ -21,8 +21,8 @@ function HelpRSFormCard() {

    Карточка схемы

    -

    Карточка схемы содержит общую информацию и статистику схемы

    -

    Карточка схемы позволяет управлять атрибутами схемы и ее

    +

    Карточка содержит общую информацию и статистику

    +

    Карточка позволяет управлять атрибутами схемы и

    Управление

  • сохранить изменения: Ctrl + S
  • diff --git a/rsconcept/frontend/src/pages/ManualsPage/items/HelpRSLang.tsx b/rsconcept/frontend/src/pages/ManualsPage/items/HelpRSLang.tsx index a6d49dd2..54d0e474 100644 --- a/rsconcept/frontend/src/pages/ManualsPage/items/HelpRSLang.tsx +++ b/rsconcept/frontend/src/pages/ManualsPage/items/HelpRSLang.tsx @@ -23,7 +23,6 @@ function HelpRSLang() {

    Родоструктурная экспликация концептуальных схем

    Формальная запись (экспликация) концептуальных схем осуществляется с помощью языка родов структур.

    -

    Для ознакомления с основами родов структур можно использовать следующие материалы:

    1. Видео: Краткое введение в мат. аппарат

    2. Текст: Учебник И. Н. Пономарева

    diff --git a/rsconcept/frontend/src/pages/ManualsPage/items/HelpTerminologyControl.tsx b/rsconcept/frontend/src/pages/ManualsPage/items/HelpTerminologyControl.tsx index 61e88509..ff2e113c 100644 --- a/rsconcept/frontend/src/pages/ManualsPage/items/HelpTerminologyControl.tsx +++ b/rsconcept/frontend/src/pages/ManualsPage/items/HelpTerminologyControl.tsx @@ -1,6 +1,6 @@ function HelpTerminologyControl() { return ( -
    +

    Терминологизация

    Портал позволяет контролировать употребление терминов, привязанных к сущностям в концептуальных схемах.

    diff --git a/rsconcept/frontend/src/pages/RSFormPage/EditorRSForm/RSFormToolbar.tsx b/rsconcept/frontend/src/pages/RSFormPage/EditorRSForm/RSFormToolbar.tsx index ee593a93..ae86452f 100644 --- a/rsconcept/frontend/src/pages/RSFormPage/EditorRSForm/RSFormToolbar.tsx +++ b/rsconcept/frontend/src/pages/RSFormPage/EditorRSForm/RSFormToolbar.tsx @@ -81,7 +81,7 @@ function RSFormToolbar({ modified, anonymous, subscribed, claimable, onSubmit, o onClick={onDestroy} /> ) : null} - + ); }