mirror of
https://github.com/IRBorisov/ConceptPortal.git
synced 2025-06-26 13:00:39 +03:00
Update manuals
This commit is contained in:
IRBorisov
parent
9ff6a92c4f
commit
d6cbe0889f
|
|
@ -21,7 +21,9 @@ function HelpConceptSystem() {
|
|||
</p>
|
||||
<p>
|
||||
Концептуализация применяется в условиях поставленной задачи в рамках предметной области. Решаемая прикладная
|
||||
проблема позволяет определить границы концептуализации и разумно распределить ресурсы.
|
||||
проблема позволяет определить границы концептуализации и разумно распределить ресурсы. Результатом
|
||||
концептуализации является сформированный объект управления, в отношении которого возможна выработка решений,
|
||||
реализующих поставленную задачу.
|
||||
</p>
|
||||
<p>
|
||||
В ходе многократной концептуализации и решения с помощью построенных концептуальных схем прикладных задач
|
||||
|
|
|
|||
|
|
@ -1,13 +1,40 @@
|
|||
import LinkTopic from '@/components/ui/LinkTopic';
|
||||
import { HelpTopic } from '@/models/miscellaneous';
|
||||
|
||||
function HelpConceptRelations() {
|
||||
return (
|
||||
<div>
|
||||
<h1>Связи между конституентами</h1>
|
||||
<p>TBD</p>
|
||||
<li>Вывод: формальный и содержательный</li>
|
||||
<li>Структурные отношения</li>
|
||||
<li>Порожденные понятия</li>
|
||||
<li>Родо-видовое отношение</li>
|
||||
<li>Порождение многообразий</li>
|
||||
<p>
|
||||
Конституенты связаны между собой через использование одних конституент при определении других. Такую связь в
|
||||
общем случае называют <b>используется в определении</b>. Она является основой для построения <b>Графа термов</b>
|
||||
, отображающего последовательность вывода понятий в концептуальной схеме.
|
||||
</p>
|
||||
|
||||
<p>
|
||||
Если в формальном выражении используются только базовые структурные формулы, то такое определение называется
|
||||
"простым" или "строго формальным". То есть для построения подобных определений достаточно формально применить
|
||||
конструкции языка, новые договоренности об использовании содержания предметной области не требуются.
|
||||
</p>
|
||||
<p>
|
||||
Такой способ построения определений называется <b>формальным разворачиванием</b> и зачастую используется для
|
||||
описания сложно структурированных понятий и порождения{' '}
|
||||
<LinkTopic text='разнообразий' topic={HelpTopic.CC_SYSTEM} />.
|
||||
</p>
|
||||
<p>
|
||||
Если понятие определено с использованием только одного другого понятия простым определением, то оно называется{' '}
|
||||
<b>порожденным</b>, а исходное понятие, – <b>основой</b>.
|
||||
</p>
|
||||
<p>
|
||||
Другой способ определения называется содержательным (дедуктивным) разворачиванием. При этом используются более
|
||||
сложные конструкции, подразумевающие перебор объектов и проверку их свойств с помощью логических условий. В
|
||||
родоструктурной экспликации к таким конструкциям относятся кванторные выражения утверждений, декларативное,
|
||||
императивное и рекурсивное определения.
|
||||
</p>
|
||||
<p>
|
||||
<b>Родо-видовое отношение</b> между понятиями формализуется с помощью определения, где из элементов множества,
|
||||
соответствующего родовому понятию формируются элементы видового понятия путем отбора по условию.
|
||||
</p>
|
||||
</div>
|
||||
);
|
||||
}
|
||||
|
|
|
|||
|
|
@ -1,10 +1,50 @@
|
|||
import LinkTopic from '@/components/ui/LinkTopic';
|
||||
import { HelpTopic } from '@/models/miscellaneous';
|
||||
|
||||
function HelpConceptSynthesis() {
|
||||
// prettier-ignore
|
||||
return (
|
||||
<div>
|
||||
<h1>Синтез концептуальных схем</h1>
|
||||
<p>TBD.</p>
|
||||
</div>);
|
||||
<div>
|
||||
<h1>Синтез концептуальных схем</h1>
|
||||
<p>
|
||||
Работа с крупными предметными областями требуют рассмотрения различных точек зрения в рамках одной предметной
|
||||
области, то есть формирования ряда раздельных концептуальных схем. При этом ключевые понятия для выработки
|
||||
решений требуют комбинирования выразительных способностей этих схем.
|
||||
</p>
|
||||
|
||||
<p>
|
||||
Решением этой задачи является введение формальной операции <b>синтеза концептуальных схем</b>. Полученная в
|
||||
результате операции концептуальная схема синтезе должна объединять выразительные способности исходных схем, а
|
||||
также содержать понятия, не выразимые в исходных схемах по отдельности.
|
||||
</p>
|
||||
|
||||
<p>
|
||||
Расширение выразительной способности достигается несколькими способами в зависимости от соотношения
|
||||
синтезируемых точек зрения:
|
||||
<li>
|
||||
<b>аспектный синтез</b> характеризуется отождествлением общих понятий в случае, когда часть неопределяемых
|
||||
понятий является общей для двух точек зрения;
|
||||
</li>
|
||||
<li>
|
||||
<b>конкретизирующий синтез</b> заменяет неопределяемое слабо ограниченное понятия из одной схемы на более
|
||||
ограниченное, конкретное базовое или производное понятие из другой схемы;
|
||||
</li>
|
||||
<li>
|
||||
<b>синтез через новое новое отношение</b> помимо исходных схем использует абстрактную (не имеющую предметной
|
||||
интерпретации) схему для соединения понятий из двух операндов путем введения нового неопределяемого понятия,
|
||||
моделирующего отношения между синтезируемыми схемами.
|
||||
</li>
|
||||
</p>
|
||||
<p>
|
||||
Возможно использование комбинации описанных подходов в рамках одного синтеза. Более подробно про реализацию
|
||||
операций в родоструктурной форме можно прочитать в{' '}
|
||||
<LinkTopic text='разделе Операции' topic={HelpTopic.RSL_OPERATIONS} />
|
||||
</p>
|
||||
<p>
|
||||
Для управления совокупностью синтезов используются <b>операционные схемы синтеза</b>. В данный момент этот
|
||||
функционал еще не реализован в Портале.
|
||||
</p>
|
||||
</div>
|
||||
);
|
||||
}
|
||||
|
||||
export default HelpConceptSynthesis;
|
||||
|
|
|
|||
|
|
@ -11,16 +11,52 @@ function HelpConceptSystem() {
|
|||
определениями понятий.
|
||||
</p>
|
||||
|
||||
<li>Теория и модель предметной области</li>
|
||||
<li>Базовые и неопределяемые</li>
|
||||
<li>Неопределяемые и производные</li>
|
||||
<li>Утверждения и определения</li>
|
||||
<li>Ядро</li>
|
||||
<li>Разворачивание термов</li>
|
||||
<p>
|
||||
Система определений является инструментов исследования некоторого объекта с некоторой точки зрения, выделяемой
|
||||
решаемой задачей. К такому инструменту предъявляются требования по <b>выразительной способности</b> –
|
||||
возможности различить совокупность предметных сущностей – и по отсутствию возможности толкования.
|
||||
</p>
|
||||
|
||||
<p>
|
||||
Концептуальную схему часто называют <b>теорией предметной области</b>, поскольку она позволяет зафиксировать
|
||||
систему определений как аксиоматическую теорию в некотором формальном аппарате. Концептуальной моделью называют
|
||||
совокупность концептуальной схемы и функций интерпретации ее понятий в предметной области.
|
||||
</p>
|
||||
|
||||
<p>
|
||||
Система определений строится на основе <b>неопределяемых понятий</b>, которым дается неформальное определение,
|
||||
называемое <b>конвенцией</b>, то есть единообразно понимаемая участниками договоренность о соотнесении
|
||||
неопределяемых понятий с сущностями или объектами в предметной области. Помимо конвенции часто задают ряд
|
||||
утверждений, связывающих неопределяемые понятия, называемых <b>аксиомами</b>.
|
||||
</p>
|
||||
|
||||
<p>
|
||||
Остальным понятиям даются формальные определения с помощью некоторого одинаково понимаемого участниками способа
|
||||
экспликации. Портал поддерживает <LinkTopic text='экспликацию в родах структур' topic={HelpTopic.RSLANG} />.
|
||||
Помимо аксиом также могут приводиться дополнительные утверждения, называемые <b>теоремами</b>. Понятия, которым
|
||||
даются формальные определения называют <b>производными</b>. Следует отметить, что в родоструктурной экспликации
|
||||
к аксиомам также относят соотношения <LinkTopic text='типизации' topic={HelpTopic.RSL_TYPES} />, а к производным
|
||||
понятиям, – термы, терм-функции и предикат-функции.
|
||||
</p>
|
||||
|
||||
<p>
|
||||
<b>Ядром</b> концептуальной схемы называют совокупность базовых понятий, аксиом и промежуточных производных
|
||||
понятий, необходимых для формирования выражений аксиом. Остальные понятия относят к <b>Телу</b> концептуальной
|
||||
схемы.
|
||||
</p>
|
||||
|
||||
<p>
|
||||
Для достижения необходимой выразительной способности в концептуальной схеме выделяют "ключевые" понятия, которые
|
||||
дедуктивно выводят из базовых понятий последовательным выводом промежуточных понятий. Такая деятельность
|
||||
называется <b>разворачиванием</b> термов (тела теории). Используемый формальный аппарат позволяет помимо
|
||||
ключевых сформировать полное разнообразие понятий по основаниям, выделенным в ходе построения ключевых термов.
|
||||
Такие построенные разнообразия могут использоваться для формулирования решений, в частности при нормативном
|
||||
регулировании.
|
||||
</p>
|
||||
|
||||
<p>
|
||||
Более подробно различные отношения между понятиями и способы построения систем определений раскрываются в
|
||||
разделе <LinkTopic text='Связи понятий' topic={HelpTopic.CC_RELATIONS} />
|
||||
разделе <LinkTopic text='Связи понятий' topic={HelpTopic.CC_RELATIONS} />.
|
||||
</p>
|
||||
</div>
|
||||
);
|
||||
|
|
|
|||
|
|
@ -21,8 +21,8 @@ function HelpRSFormCard() {
|
|||
<div className='dense'>
|
||||
<h1>Карточка схемы</h1>
|
||||
|
||||
<p>Карточка схемы содержит общую информацию и статистику схемы</p>
|
||||
<p>Карточка схемы позволяет управлять атрибутами схемы и ее <LinkTopic text='версиями' topic={HelpTopic.VERSIONS}/></p>
|
||||
<p>Карточка содержит общую информацию и статистику</p>
|
||||
<p>Карточка позволяет управлять атрибутами схемы и <LinkTopic text='версиями' topic={HelpTopic.VERSIONS}/></p>
|
||||
|
||||
<h2>Управление</h2>
|
||||
<li><IconSave className='inline-icon'/> сохранить изменения: Ctrl + S</li>
|
||||
|
|
|
|||
|
|
@ -23,7 +23,6 @@ function HelpRSLang() {
|
|||
<div className='dense'>
|
||||
<h1>Родоструктурная экспликация концептуальных схем</h1>
|
||||
<p>Формальная запись (<i>экспликация</i>) концептуальных схем осуществляется с помощью языка родов структур.</p>
|
||||
<br />
|
||||
<p>Для ознакомления с основами родов структур можно использовать следующие материалы:</p>
|
||||
<p>1. <a className='underline' href={external_urls.intro_video}>Видео: Краткое введение в мат. аппарат</a></p>
|
||||
<p>2. <a className='underline' href={external_urls.ponomarev}>Текст: Учебник И. Н. Пономарева</a></p>
|
||||
|
|
|
|||
|
|
@ -1,6 +1,6 @@
|
|||
function HelpTerminologyControl() {
|
||||
return (
|
||||
<div className='flex flex-col gap-2'>
|
||||
<div>
|
||||
<h1>Терминологизация</h1>
|
||||
<p>Портал позволяет контролировать употребление терминов, привязанных к сущностям в концептуальных схемах.</p>
|
||||
<p>
|
||||
|
|
|
|||
|
|
@ -81,7 +81,7 @@ function RSFormToolbar({ modified, anonymous, subscribed, claimable, onSubmit, o
|
|||
onClick={onDestroy}
|
||||
/>
|
||||
) : null}
|
||||
<BadgeHelp topic={HelpTopic.UI_RS_CARD} offset={4} className='max-w-[32rem]' />
|
||||
<BadgeHelp topic={HelpTopic.UI_RS_CARD} offset={4} className='max-w-[30rem]' />
|
||||
</Overlay>
|
||||
);
|
||||
}
|
||||
|
|
|
|||
Loading…
Reference in New Issue
Block a user