Skip to content

Commit

Permalink
fix: math formulas
Browse files Browse the repository at this point in the history
  • Loading branch information
@MakarenkoAI
MakarenkoAI committed Jul 26, 2024
1 parent 0297f6a commit ea7d4fb
Show file tree
Hide file tree
Showing 20 changed files with 318 additions and 293 deletions.
3 changes: 1 addition & 2 deletions Contents/part_ecosystem/src/intro_ostis/intro_ostis_segment4.tex
View file
Original file line number Diff line number Diff line change
Expand Up @@ -178,8 +178,7 @@
\scnidtf{Система комплексной автоматизации (информационной и инструментальной поддержки) проектирования и реализации ostis-систем, которая сама реализована также в виде ostis-системы.}
\scnidtf{Портал знаний по Технологии OSTIS, интегрированный с САПРом ostis-систем и реализованный в виде ostis-системы.}
\scniselement{портал научно-технических знаний}
\bigskip
\bigskip

\begin{scnset}
\scnitem{Метасистема IMS.ostis}
\begin{scnindent}
Expand Down
3 changes: 1 addition & 2 deletions Contents/part_intro/src/intro_hs/intro_hs_segment8.tex
View file
Original file line number Diff line number Diff line change
Expand Up @@ -279,9 +279,8 @@
текущим состоянием информации, хранимой в памяти корпоративного агента.
\end{scnitemize}}
\end{scnindent}

\end{scnrelfromlist}
\bigskip

\begin{scnset}
\scnheader{ostis-система}
\begin{scnindent}
Expand Down
Binary file added Contents/part_kb/src/images/sd_lang/comparison_table.png
View file
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
1 change: 0 additions & 1 deletion Contents/part_kb/src/intro_lang/intro_idtf.tex
View file
Original file line number Diff line number Diff line change
Expand Up @@ -125,7 +125,6 @@
\scntext{пояснение}{\textit{cистемный sc-идентификатор} --- это \textit{sc-идентификатор}, являющийся уникальным в рамках всей базы знаний \textit{Экосистемы OSTIS} (\textit{Глобальной базы знаний}). Данный \textit{sc-идентификатор}, как правило, используется в исходных текстах базы знаний, при обмене сообщениями между \textit{ostis-системами}, а также для взаимодействия \textit{ostis-системы} с компонентами, реализованными с использованием средств, внешних с точки зрения \textit{Технологии OSTIS}, например, программ, написанных на традиционных языках программирования. Алфавит системных sc-идентификаторов максимально упрощен для того, чтобы обеспечить удобство автоматической обработки таких sc-идентификаторов с использованием современных технических средств, в частности, запрещены пробелы и различные специальные символы.}
\scntext{примечание}{В качестве указанного языка общения между ostis-системами может использоваться SCs-код.}

\bigskip
\begin{scnset}
\scnheader{основной sc-идентификатор}
\begin{scnindent}
Expand Down
38 changes: 20 additions & 18 deletions Contents/part_kb/src/intro_lang/intro_sc_code.tex
View file
Original file line number Diff line number Diff line change
Expand Up @@ -105,24 +105,26 @@
\scnheader{Типология \textit{sc-конструкций} с точки зрения \textit{Денотационной семантики и Синтаксиса SC-кода}}
\begin{scneqtoset}
\scnitem{sc-множество}
\scnidtf{\textit{sc-конструкция}}
\scnidtf{информационная конструкция, принадлежащая \textit{SC-коду}}
\scnsuperset{sc-структура}
\begin{scnindent}
\scnsuperset{sc-текст}
\begin{scnindent}
\scnidtftext{часто используемый sc-идентификатор}{\textit{SC-код}}
\begin{scnindent}
\scniselement{имя собственное}
\end{scnindent}
\scnidtf{синтаксически целостная и синтаксически корректная (правильно построенная) информационная конструкция SC-кода}
\scnidtf{Класс (Множество всевозможных) sc-текстов}
\scnsuperset{sc-знание}
\begin{scnindent}
\scnidtf{семантически целостный и семантически корректный \textit{sc-текст}, являющийся адекватным фрагментом соответствующей \textit{предметной области} или ее спецификации (онтологии)}
\end{scnindent}
\end{scnindent}
\end{scnindent}
\begin{scnindent}
\scnidtf{\textit{sc-конструкция}}
\scnidtf{информационная конструкция, принадлежащая \textit{SC-коду}}
\scnsuperset{sc-структура}
\begin{scnindent}
\scnsuperset{sc-текст}
\begin{scnindent}
\scnidtftext{часто используемый sc-идентификатор}{\textit{SC-код}}
\begin{scnindent}
\scniselement{имя собственное}
\end{scnindent}
\scnidtf{синтаксически целостная и синтаксически корректная (правильно построенная) информационная конструкция SC-кода}
\scnidtf{Класс (Множество всевозможных) sc-текстов}
\scnsuperset{sc-знание}
\begin{scnindent}
\scnidtf{семантически целостный и семантически корректный \textit{sc-текст}, являющийся адекватным фрагментом соответствующей \textit{предметной области} или ее спецификации (онтологии)}
\end{scnindent}
\end{scnindent}
\end{scnindent}
\end{scnindent}
\end{scneqtoset}
\end{scnsubstruct}
\scnendcurrentsectioncomment
Expand Down
2 changes: 1 addition & 1 deletion Contents/part_kb/src/intro_lang/intro_sc_code_segments/segment_1.tex
View file
Original file line number Diff line number Diff line change
Expand Up @@ -65,7 +65,7 @@
\\Форма (структура) внутреннего представления знания любого вида должна зависеть \uline{только}(!) от смысла этого знания. Более того, конструктивное (формальное) развитие теории интеллектуальных компьютерных систем невозможно без уточнения (унификации, стандартизации) и обеспечения семантической совместимости различных видов знаний, хранимых в базе знаний интеллектуальной компьютерной системы. Очевидно, что многообразие форм представления семантически эквивалентных знаний делает разработку общей теории интеллектуальных компьютерных систем практически невозможной.}
\scntext{примечание}{\textit{SC-код} является одним из возможных вариантов \textit{смыслового представления знаний}.}
\begin{scnindent}
\scnrelfrom{смотрите}{}
\scnrelfrom{смотрите}{X}
\end{scnindent}

\scnheader{SC-пространство}
Expand Down
22 changes: 11 additions & 11 deletions Contents/part_kb/src/intro_lang/intro_sc_code_segments/segment_2.tex
View file
Original file line number Diff line number Diff line change
Expand Up @@ -141,7 +141,6 @@

\scnheader{sc-коннектор}
\scneq{\textup{(} sc-дуга $\bigcup$ sc-ребро \textup{)}}

\begin{scnsubdividing}
\scnitem{sc-ребро общего вида}
\scnitem{sc-дуга общего вида}
Expand All @@ -168,10 +167,12 @@
\end{scnsubdividing}
\end{scnindent}
\scnitem{sc-узел}
\begin{scnindent}
\begin{scnsubdividing}
\scnitem{sc-узел, являющийся знаком файла}
\scnitem{sc-узел, не являющийся знаком файла}
\end{scnsubdividing}
\end{scnindent}
\end{scnsubdividing}
\scntext{примечание}{Все классы \textit{sc-элементов}, входящие в состав синтаксической классификации sc-элементов являются синтаксически выделяемыми классами \textit{sc-элементов}.}
\scntext{примечание}{Формирование, семейства \textit{синтаксически выделяемых sc-классов} (то есть семейства синтаксических меток, приписываемых sc-элементам) может осуществляться на основе \textit{синтаксической классификации} \textit{sc-элементов} по \textit{различным} признакам. Желательно при этом, чтобы такая синтаксическая классификация \textit{sc-элементов} была согласована с семантической классификацией sc-элементов.
Expand Down Expand Up @@ -210,15 +211,16 @@
\scnrelfrom{синтаксические правила}{\scnstructidtf{Синтаксические правила Ядра SC-кода}}
\begin{scnindent}
\begin{scnhassubset}
\scnitem{
\begin{scnset}
\scnitem{scnnonamednode}
\begin{scnindent}
\begin{scneqtoset}
\scnitem{инцидентность sc-коннекторов*}
\begin{scnindent}
\scnsuperset{инцидентность входящих sc-дуг*}
\scniselement{бинарное ориентированное отношение}
\end{scnindent}
\end{scnset}
}
\end{scneqtoset}
\end{scnindent}
\scnfileitem{Для каждого sc-коннектора существует две и только две пары \textit{инцидентности sc-коннекторов*}, указанный sc-коннектор является первым связующим компонентом. При этом для каждой sc-дуги из двух указанных пар инцидентности \uline{одна} должна принадлежать отношению инцидентности \textit{входящей sc-дуги*}.}
\scnfileitem{Пары инцидентности sc-коннекторов могут быть \uline{кратными}. То есть sc-коннектор может соединять (связывать) sc-элемент с самим собой. Такие sc-коннекторы будем называть петлевыми sc-коннекторами (петлевыми sc-ребрами и петлевыми sc-дугами).}
\scnfileitem{Само \textit{Отношение инцидентности sc-коннекторов*} и, следовательно, \textit{Отношение инцидентности входящих sc-дуг*} не имеет кратных пар инцидентности. То есть sc-коннектор не может быть инцидентен самому себе.}
Expand Down Expand Up @@ -284,14 +286,12 @@
\scnidtf{sc-элемент, являющийся знаком внешней сущности}
\scnidtf{знак внешней сущности}
\scnidtf{знак сущности, не являющейся sc-множеством (sc-конструкцией)}
\end{scnindent}
\begin{scnindent}
\begin{scnsubdividing}
\scnitem{файл}
\scnitem{информационная конструкция, не являющаяся ни sc-множеством, ни файлом}
\scnitem{внешняя сущность, не являющаяся информационной конструкцией}
\end{scnsubdividing}
\end{scnindent}
\end{scnindent}
\end{scneqtoset}
\end{scnindent}

Expand Down Expand Up @@ -558,12 +558,12 @@
\begin{scnsubdividing}
\scnitem{произвольное множество}
\begin{scnindent}
\scnidtf{sc-переменная, обозначающая произвольное множество из некоторого семейства множеств}
\scnidtf{sc-переменная, обозначающая произвольное множество из некоторого семейства множеств}
\scnidtf{переменное множество}
\end{scnindent}
\scnitem{множество}
\begin{scnindent}
\scnidtf{конкретное (константное, фиксированное) множество sc-элементов}
\scnidtf{конкретное (константное, фиксированное) множество sc-элементов}
\end{scnindent}
\end{scnsubdividing}

Expand All @@ -572,7 +572,7 @@
\begin{scnsubdividing}
\scnitem{множество sc-констант}
\begin{scnindent}
\scnidtf{множество, элементами которого являются только sc-константы}
\scnidtf{множество, элементами которого являются только sc-константы}
\end{scnindent}
\scnitem{множество sc-переменных}
\begin{scnindent}
Expand Down
12 changes: 6 additions & 6 deletions Contents/part_kb/src/intro_lang/intro_sc_code_segments/segment_3.tex
View file
Original file line number Diff line number Diff line change
Expand Up @@ -116,14 +116,14 @@
\scnheader{синтаксически выделяемый sc-класс}
\scnidtf{класс \textit{sc-элементов}, имеющих общий (одинаковый) синтаксический признак, который задается либо одной синтаксической меткой, каждая из которых семантически эквивалентна (синонимична) \textit{sc-элементу}, обозначающему соответствующий синтаксически выделяемый \textit{класс sc-элементов}, либо набором таких меток}
\begin{scnindent}
\begin{scnrelfromlist}{примечание}
\scnfileitem{Наличие у двух разных \textit{sc-элементов} одной и той же синтаксической метки означает то, что оба эти \textit{sc-элемента} принадлежат \textit{sc-классу}, знаком которого является \textit{sc-элемент}, семантически эквивалентный указанной метке}
\scnfileitem{Если \textit{sc-элементу} приписывается \textit{несколько} меток, то \textit{синтаксически выделяемым sc-классом} является \textit{пересечение} \textit{sc-классов}, синтаксически выделяемых по каждой из этих меток}
\end{scnrelfromlist}
\begin{scnrelfromlist}{примечание}
\scnfileitem{Наличие у двух разных \textit{sc-элементов} одной и той же синтаксической метки означает то, что оба эти \textit{sc-элемента} принадлежат \textit{sc-классу}, знаком которого является \textit{sc-элемент}, семантически эквивалентный указанной метке}
\scnfileitem{Если \textit{sc-элементу} приписывается \textit{несколько} меток, то \textit{синтаксически выделяемым sc-классом} является \textit{пересечение} \textit{sc-классов}, синтаксически выделяемых по каждой из этих меток}
\end{scnrelfromlist}
\end{scnindent}
\scnidtfexp{\textit{sc-элемент}, обозначающий \textit{sc-класс}, принадлежность которому может быть представлена либо с помощью \textit{sc-пары постоянной позитивной принадлежности}, либо с помощью соответствующей метки, приписываемой этому \textit{sc-элементу}, или набора таких меток}
\scnidtf{\textit{sc-элемент}, обозначающий \textit{sc-класс}, принадлежность которому может быть представлена либо с помощью \textit{sc-пары постоянной позитивной принадлежности}, либо с помощью соответствующей метки, приписываемой этому \textit{sc-элементу}, или набора таких меток}
\begin{scnindent}
\scnnote{Приписывание \textit{sc-элементам} меток ускоряет проверку принадлежности sc-элементов соответствующим классам}
\scntext{примечание}{Приписывание \textit{sc-элементам} меток ускоряет проверку принадлежности sc-элементов соответствующим классам}
\end{scnindent}
\scnidtf{sc-класс, каждому sc-элементу которого приписывается соответствующая этому sc-классу синтаксическая метка, которая является неявной (синтаксической) формой указания факта принадлежности указанного \textit{sc-элемента} указанному \textit{sc-классу}}
\begin{scnsubdividing}
Expand Down
Loading

0 comments on commit ea7d4fb

Please sign in to comment.