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.

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

Formalized 2.1 and 2.4 chapters by Kuzmickiy N.V. 221702 #364

Open
wants to merge 3 commits into
base: main
Choose a base branch
from
Open
Show file tree
Hide file tree
Changes from all commits
Commits
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
4 changes: 4 additions & 0 deletions Contents/part_kb.tex
Original file line number Diff line number Diff line change
Expand Up @@ -137,11 +137,15 @@
\protect\scnmonographychapter{Глава 2.4. Формальные онтологии базовых классов сущностей - множеств, связей, отношений, параметров, величин, чисел, структур, темпоральных сущностей}
]{Предметная область и онтология пространственных сущностей различных форм}
\label{sd_spatial_entities}
\input{Contents/part_kb/src/sd_spatial_entities.tex}


\scsubsection[
\protect\scnmonographychapter{Глава 2.4. Формальные онтологии базовых классов сущностей - множеств, связей, отношений, параметров, величин, чисел, структур, темпоральных сущностей}
]{Предметная область и онтология материальных сущностей}
\label{sd_material_entities}
\input{Contents/part_kb/src/sd_material_entities.tex}


\scsubsection[
\protect\scnmonographychapter{Глава 2.3. Структура баз знаний интеллектуальных компьютерных систем нового поколения: иерархическая система предметных областей и онтологий. Онтологии верхнего уровня. Формализация понятий семантической окрестности, предметной области и онтологии в интеллектуальных компьютерных системах нового поколения}
Expand Down
Binary file added Contents/part_kb/src/images/car.png
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Binary file added Contents/part_kb/src/images/orm.png
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
80 changes: 80 additions & 0 deletions Contents/part_kb/src/intro_lang.tex
Original file line number Diff line number Diff line change
Expand Up @@ -225,6 +225,11 @@
\end{scnsubdividing}
\scntext{примечание}{Отсутствие знака, обозначающего некоторую сущность, не означает отсутствие самой этой сущности. Это означает только то, что мы даже не догадываемся о её существовании и, следовательно, не приступили к её исследованию.}

\scnheader{денотат знака}
\scntext{пояснение}{сущность, описываемая знаком}



\newpage\scnheader{отношение, заданное на множестве знаков\scnsupergroupsign}
\scntext{примечание}{Поскольку все знаки являются дискретными информационными конструкциями, множество знаков является областью задания всех отношений, заданных на множестве дискретных информационных конструкций. Тем не менее есть как минимум одно отношение, специфичное для множества знаков.}
\scnhaselement{синонимия знаков*}
Expand Down Expand Up @@ -559,6 +564,8 @@
\scntext{примечание}{Все основные внешние формальные языки, используемые ostis-системами (\textit{SCg-код}, \textit{SCs-код}, \textit{SCn-код}) являются различными вариантами внешнего представления текстов внутреннего языка ostis-систем --- SC-кода. Указанные языки являются универсальными и, следовательно, \textit{семантически эквивалентными языками*}.}
\scntext{примечание}{Каждая ostis-система может приобрести способность использовать любой внешний язык (как универсальный, так и специализированный, как естественный, так и искусственный), если синтаксис и денотационная семантика этого языка будут описаны в памяти ostis-системы на ее внутреннем языке (SC-коде).}



\scnheader{следует отличать*}
\begin{scnhaselementset}
\scnitem{семантическое расширение языка*}
Expand Down Expand Up @@ -732,6 +739,10 @@
\scnsuperset{sc.n-ограничитель}
\scnsuperset{ограничитель, используемый в ея-файлах ostis-систем}





\scnheader{SCg-код}
\scnrelfrom{ограничители}{sc.g-ограничитель}
\scnidtf{Множество ограничителей, используемых в sc.g-текстах}
Expand Down Expand Up @@ -792,6 +803,75 @@
\scnrelfrom{второй домен}{идентификатор}
\scntext{примечание}{Понятие внешнего идентификатора является понятием относительным и важным для ostis-систем, поскольку внутреннее для ostis-систем представление информации (в виде текстов SC-кода) оперирует не идентификаторами описываемых сущностей, а знаками, структура которых никакого значения не имеет}



\scnheader{файл}
\scnidtf{информационная конструкция, представленная в "цифровой"форме, хранимой в какой-либо компьютерной памяти, но не являющийся sc-конструкцией, хранимой в памяти ostis-системы.}
\begin{scnrelfromset}{разбиение}
\scnitem{файл ostis-системы}
\scnidtf{файл, хранимый в памяти ostis-системы}
\begin{scnrelfromset}{разбиение}
\scnitem{сформированный файл ostis-системы}
\scnitem{несформированный файл ostis-системы}
\end{scnrelfromset}
\scnitem{файл компьютерной системы, не являющейся ostis-системой}
\end{scnrelfromset}
\scnsuperset{текстовый файл}
\begin{scnindent}
\scnsuperset{естественно-языковой файл}
\begin{scnrelfromset}{разбиение}
\scnitem{размеченный естественно-языковой файл}
\scnitem{неразмеченный естественно-языковой файл}
\end{scnrelfromset}
\begin{scnindent}
\scnsuperset{русскоязычный естественно-языковой файл}
\scnsuperset{англоязычный естественно-языковой файл}
\end{scnindent}
\end{scnindent}
\scnsuperset{файл изображения}
\scnsuperset{видео-файл}
\scnsuperset{аудио-файл}

\scnheader{файл ostis-системы}
\scnidtf{инородная для sc-кода информационная конструкция, которая может как храниться в памяти ostis-системы, так и вне ее.}
\begin{scnrelfromset}{разбиение}
\scnitem{хранимый файл ostis-систем}
\scnitem{пустой файл ostis-систем}
\end{scnrelfromset}
\begin{scnrelfromset}{разбиение}
\scnitem{файл-экземпляр}
\scnidtf{обозначение одного из вхождений (однорго из экземпляров) информационной конструкции}
\scnitem{файл-класс}
\scnidtf{обозначение всевозможнных информационных конструкций, каждая из которых эквивалентна той, что представлена содержимым данного sc-узла}
\end{scnrelfromset}


\scnsuperset{sc.g-файл}
\scnrelfrom{примечание}

\scnidtf{См. § 2.3.2. Язык внешнего графического представления конструкций SC-кода — SCg-код (Semantic Code graphical)}
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Ссылка через nameref{}




\scnsuperset{sc.s-файл}
\scnrelfrom{примечание}

\scnidtf{См. § 2.3.2. Язык внешнего линейного представления конструкций SC-кода — SCs-код (Semantic Code string).}


\scnsuperset{sc.n-файл}
\scnrelfrom{примечание}

\scnidtf{См. § 2.3.4. Язык внешнего форматированного представления конструкций SC-кода — SCn-код (Semantic Code natural).}


\scnsuperset{естественно-языковой файл ostis-системы}

\scnsubset{естественно-языковой файл}
\scnidtf{[естественно-языковой файл, в котором выделены фрагменты, являющиеся sc-идентификаторами и, соответственно, ссылками на соответствующие им sc-элементы}



\scnheader{следует отличать*}
\begin{scnhaselementset}
\scnitem{sc-элемент, обозначающий файл ostis-системы}
Expand Down
2 changes: 2 additions & 0 deletions Contents/part_kb/src/intro_lang/intro_sc_code.tex
Original file line number Diff line number Diff line change
Expand Up @@ -2,6 +2,8 @@
\scnsectionheader{Предметная область и онтология внутреннего языка ostis-систем}
\begin{scnsubstruct}
\begin{scnreltovector}{конкатенация сегментов}


\scnitem{Основные положения внутреннего языка ostis-систем}
\scnitem{Описание Ядра SC-кода}
\scnitem{SC-код как синтаксическое расширение Ядра SC-кода}
Expand Down
Loading