Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Fix/translator #412

Merged
merged 2 commits into from
Aug 1, 2024
Merged

Fix/translator #412

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
65b6f12
fix: math formulas
MakarenkoAI Jul 11, 2024
0f77fa3
update scn
MakarenkoAI Aug 1, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
3 changes: 1 addition & 2 deletions Contents/part_ecosystem/src/intro_ostis/intro_ostis_segment4.tex
View file
Open in desktop
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
Open in desktop
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
Open in desktop
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
Open in desktop
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
Open in desktop
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
Open in desktop
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
Open in desktop
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
Open in desktop
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