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 Aug 1, 2024
1 parent 0297f6a commit 65b6f12
Show file tree
Hide file tree
Showing 23 changed files with 314 additions and 374 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.
2 changes: 1 addition & 1 deletion Contents/part_kb/src/intro_lang.tex
View file
Original file line number Diff line number Diff line change
Expand Up @@ -504,7 +504,7 @@
\scnidtf{быть семантически эквивалентным надмножеством заданного языка*}
\scntext{определение}{Язык $\bm{Lj}$ будем считать \textit{синтаксическим расширением*} языка $\bm{Li}$ в том и только в том случае, если:
\begin{scnitemize}
\item $\bm{L_j} \supset \bm{Li}$ (то есть все тексты языка $\bm{Li}$ являются также и текстами языка $\bm{Lj}$. Обратное утверждение не является верным.);
\item $\bm{L\underscore{j}} \supset \bm{Li}$ (то есть все тексты языка $\bm{Li}$ являются также и текстами языка $\bm{Lj}$. Обратное утверждение не является верным.);
\item Язык $\bm{Lj}$ и язык $\bm{Li}$ являются \textit{семантически эквивалентными языками*}.
\end{scnitemize}}
\end{scnindent}
Expand Down
13 changes: 6 additions & 7 deletions 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 Expand Up @@ -716,9 +715,9 @@
\scnheader{sc-выражение, построенное на основе квазибинарного отношения}
\scnidtf{sc-выражение, построенное путем указания некоторого sc-идентификатора квазибинарного отношения (обычно функционального) и (в фигурных скобках или угловых скобках) неупорядоченного или упорядоченного перечня аргументов указанного отношения}
\begin{scnrelfromset}{примеры}
\scnitem{\textit{объединение}*($s_i$$s_j$$s_k$)}
\scnitem{\textit{пересечение}*($s_i$$s_j$$s_k$)}
\scnitem{\textit{разность множеств}*($s_i$$s_j$)}
\scnitem{\textit{объединение}*($s\underscore{i}$$s\underscore{j}$$s\underscore{k}$)}
\scnitem{\textit{пересечение}*($s\underscore{i}$$s\underscore{j}$$s\underscore{k}$)}
\scnitem{\textit{разность множеств}*($s\underscore{i}$$s\underscore{j}$)}
\scnitem{\textit{сумма}*($x$$z$)}
\scnitem{\textit{произведение}*($x$$y$$z$)}
\scnitem{\textit{sin*}($x$)}
Expand All @@ -736,9 +735,9 @@
\scnidtf{sc-выражение, ограниченное круглыми скобками и построенное путем указания sc-идентификаторов, разделенных знаком алгебраической операции}
\scntext{примечание}{Для каждого sc-выражения данного вида существует синонимическое ему sc-выражение, построенное на основе квазибинарного отношения}
\begin{scnrelfromset}{примеры}
\scnitem{($s_i \cup s_j \cup s_k$)}
\scnitem{($s_i \cap s_j \cap s_k$)}
\scnitem{($s_i \backslash s_j$)}
\scnitem{($s\underscore{i} \cup s\underscore{j} \cup s\underscore{k}$)}
\scnitem{($s\underscore{i} \cap s\underscore{j} \cap s\underscore{k}$)}
\scnitem{($s\underscore{i} \backslash s\underscore{j}$)}
\scnitem{($x+y+z$)}
\scnitem{($x \times y \times z$)}
\end{scnrelfromset}
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
Loading

0 comments on commit 65b6f12

Please sign in to comment.