feat: basic specification #432

PetrochukKsenija · 2024-11-18T05:14:07Z

В самом файле есть комментарии с вопросами, на которые хотелось бы услышать стороннее мнение.
Многие термины пока не соглаосваны с Владимиром Васильевичем, если есть какие-то предложения или комментарии по ним, буду рада услышать.

Там есть ещё просто комментарии для более удобной навигации по самому документу, их я потом уберу.
Ещё закомментированы некоторые части базовых спецификаций, где приводятся примеры хорошо описанных сущностей, их я исправлю, когда найду подходящие сущности в стандарте.

MakarenkoAI · 2024-11-20T06:45:04Z

Contents/part_kb.tex

@@ -113,6 +113,10 @@
 \label{sd_sem_neigh}
 \input{Contents/part_kb/src/sd_semantic_neighborhood.tex}

+\scsubsubsection{\S 23.1.1. Предметная область и онтология базовых спецификаций}


Suggested change

\scsubsubsection{\S 23.1.1. Предметная область и онтология базовых спецификаций}

\scsubsubsection{Пункт 23.1.1. Предметная область и онтология базовых спецификаций}

Наверно 23.1.

скорее всё же пункт 23.1.1, потому что обсуждалось, что ПрО базовых спецификаций является частной для ПрО семантических окрестностей (23.1)

Contents/part_kb/src/sd_basic_specification.tex

MakarenkoAI · 2024-11-20T07:34:19Z

Contents/part_kb/src/sd_basic_specification.tex

+		\scnitem{указание ФИО}
+		\scnitem{указание контактной информации}
+		\scnitem{указание роли}
+		\scnitem{указание проектов} % для указания проектов над которыми работает, но есть отношение автор у разных сущностей, что выполняем примерно такую же роль, стоит ли вводить проекты у персоны?


персона => автор* : проект -- для базовой спецификации персоны
проект <= автор*: персона -- для базовой спецификации проекта

Это логично. Но тогда есть вопрос: в спецификации проекта или персоны это всё описывать? Чтобы не происходило дублирование информации

NikitaZotov · 2024-11-24T22:11:39Z

Contents/part_kb.tex

@@ -113,6 +113,10 @@
 \label{sd_sem_neigh}
 \input{Contents/part_kb/src/sd_semantic_neighborhood.tex}

+\scsubsubsection{\S 23.1.1. Предметная область и онтология базовых спецификаций}


Наверно 23.1.

NikitaZotov · 2024-11-24T22:14:33Z

Contents/part_kb/src/sd_basic_specification.tex

+			\scnitem{обобщенная базовая спецификация*}
+        \end{scnhaselementrolelist}
+
+	\scnheader{класс сущностей, имеющих унифицированную базовую спецификацию}


Это наверно суперкласс, тогда должен быть циркумфлекс

Предлагаю следующий термин для этого понятия класс сущностей, имеющих базовую спецификацию

Обсужу это с Владимиром Васильевичем, хотя не совсем понимаю, почему слово "унифицированную" необходимо искючить. Ведь базовая спецификация есть буквально у любых объектов БЗ. А вот то, что она явно определена и описана для конкретного класса делает её унифицированной для данного класса объектов. А следовательно мы можем выделить такие классы объектов именно с унифицированной базовой спецификацией

Contents/part_kb/src/sd_basic_specification.tex

NikitaZotov · 2024-11-24T22:21:05Z

Contents/part_kb/src/sd_basic_specification.tex

+			\end{scnrelto}
+		\end{scnindent}
+
+	\scnheader{указание обобщенной базовой спецификации}


Давай сразу добавлять примеры. На потом откладывать не будем

Для этого необходимо найти наиболее правильно описанные понятия в БЗ. А у нас многие понятия описаны по-разному, с использованием разных отношений. Поэтому это придется исправлять, а чтобы знать как исправлять, надо определиться с терминологией и тем, что там вообще должно быть описано

NikitaZotov · 2024-11-24T22:26:31Z

Contents/part_kb/src/sd_basic_specification.tex

+		\end{scnindent}
+
+	% есть вопросы относительно правильности выделения второго элемента
+	\scnheader{указание обобщенной декомпозиции}


Надо добавить примеры

NikitaZotov · 2024-11-24T23:30:55Z

Contents/part_kb/src/sd_basic_specification.tex

+		\scnitem{агент}
+		\scnitem{данные}
+	\end{scnrelfromset}
+	\scntext{определение}{\textit{входные данные*} - бинарное неролевое отношение, связывающее агент и некоторые данные, показывающее, какие данные, необходимые для работы, агент получает на входе.}


На самом деле не хотелось вводить такое понятие. У агентов нет входных данных. Они реагируют на некоторые ситуации в базе знаний. В том числе, они могут реагировать на инициированные кем-то действия. А вот действия имеют входные данные и называются они аргументами

NikitaZotov · 2024-11-24T23:31:33Z

Contents/part_kb/src/sd_basic_specification.tex

+
+
+% \\\\\\\\\\\\\\ АГЕНТ
+    \scnheader{базовая спецификация агента}


Здесь должно быть всё то, что описывается в спецификациях scp-агентов и всё то, что есть в документации по C++ агентам

NikitaZotov · 2024-11-24T23:32:38Z

Contents/part_kb/src/sd_basic_specification.tex

+		\scnitem{документация*}
+	\end{scnrelfromset}
+
+	\scnheader{документация*}


Это и есть спецификация агента, это отношение не надо указывать дополнительно

В рамках OSTIS документация - это неосновной термин к термину спецификация

NikitaZotov · 2024-11-24T23:37:12Z

Contents/part_kb/src/sd_basic_specification.tex

+	\scnitem{базовая спецификация ostis-системы}
+	\scnitem{базовая спецификация персоны}
+	\scnitem{базовая спецификация агента}
+	\scnitem{базовая сепецификация отношения}


Suggested change

\scnitem{базовая сепецификация отношения}

\scnitem{базовая спецификация отношения}

NikitaZotov · 2024-11-24T23:37:23Z

Contents/part_kb/src/sd_basic_specification.tex

+			\scnitem{базовая спецификация ostis-системы}
+			\scnitem{базовая спецификация персоны}
+			\scnitem{базовая спецификация агента}
+			\scnitem{базовая сепецификация отношения}


Suggested change

\scnitem{базовая сепецификация отношения}

\scnitem{базовая спецификация отношения}

везде исправь

KovalM · 2024-11-26T19:42:15Z

Contents/part_kb/src/sd_basic_specification.tex

+	\scnitem{базовая спецификация ostis-системы}
+	\scnitem{базовая спецификация персоны}
+	\scnitem{базовая спецификация агента}
+	\scnitem{базовая сепецификация отношения}


Обсуждали ли добавление базоваой спецификации класса?

да, базовая спецификация отдельного класса будет

KovalM · 2024-11-26T19:51:25Z

Contents/part_kb/src/sd_basic_specification.tex

+		\scnitem{указание обобщенной декомпозиции}
+		\scnitem{указание примера}
+	\end{scnrelfromvector}
+	\scnrelfrom{пример}{базовая спецификация базовой спецификации предметной области}


Неудачный пример, который только путает

но по-другому привести пример для базовой спецификации базовой спецификации нельзя

KovalM · 2024-11-26T19:53:20Z

Contents/part_kb/src/sd_basic_specification.tex

+			\end{scnrelto}
+		\end{scnindent}
+
+	\scnheader{указание обобщенной базовой спецификации}


Что это такое? Нужно хотя бы пояснение/определение, до этого это понятие не встречалось, а тут сразу декомпозиция неизвестного понятия

Тогда возможно имеет смысл отдельно описать понятие указание (термин может меняться, но это структура с описанием конктретного свойства). Наверное не совсем хорошо будет писать пояснение к каждому указанию по типу "струтура для описания некоторого свойства", хотя могу ошибаться

KovalM · 2024-11-26T19:55:50Z

Contents/part_kb/src/sd_basic_specification.tex

+		\scnitem{класс сущностей, имеющих унифицированную базовую спецификацию}
+		\scnitem{базовая спецификация}
+	\end{scnrelfromset}
+	\scntext{определение}{\textit{обобщeнная базовая спецификация*} - бинарное неролевое отношение, связывающее базовую спецификацию и с конкретным классом, имеющим базовую спецификацию. Оно обозначает, что у этого класса есть определённый набор базовых свойств для спецификации сущностей данного класса.}


Обычно в определение связь указываем по очередности доменов. Получается: бинарное неролевое отношение, связывающее конкретный класс и его базовую спецификацию

KovalM · 2024-11-26T20:00:27Z

Contents/part_kb/src/sd_basic_specification.tex

+	\scnsubset{антитранзитивное отношение}
+	\scnsubset{антирефлексивное отношение}
+	\begin{scnrelfrom}{первый домен}
+		{класс сущностей, имеющих унифицированную базовую спецификацию}


класс сущностей, имеющих унифицированную базовую спецификацию не может быть первым доменом, так как его элементами являются не сущности, а классы, имеющие униф. базовую спецификацию. Тут либо менять его семантику, делать, к примеру, включение между этим классом и классом типа проект, предметная область и т.д., либо другой домен

Но ведь все подобные классы включены в класс сущностей, имеющих унифицированную базовую спецификацию, а следовательно можно говорить, что конкретные экземпляры этих классов принадлежат классу сущностей, имеющих унифицированную базовую спецификацию. Не понимаю, почему тогда неверно выделен домен

KovalM · 2024-11-26T20:28:57Z

Contents/part_kb/src/sd_basic_specification.tex

+		\scnitem{проект}
+		\scnitem{задача}
+	\end{scnrelfromset}
+	\scntext{определение}{\textit{задача*} - бинарное неролевое отношение, связывающее проект и задачу, указывающее на то, какие конктретные задачи решает данный проект.}


Мы уже использовали как-то отношение задача* для связи конкретно действия со структурой, которая является его спецификацией, т.е. задачей. Давайте обсудим, как будем использовать отношение задача

KovalM · 2024-11-26T20:32:23Z

Contents/part_kb/src/sd_basic_specification.tex

+	\end{scnrelfrom}
+	\begin{scnrelfromset}{область определения}
+		\scnitem{сущность}
+		\scnitem{назначение}


назначение это не синоним цели? Будет это простой sc-ссылкой или какой-то сущностью?
Или это просто описание того, что это такое? Тогда, возможно, это просто определение

KovalM · 2024-11-26T20:34:51Z

Contents/part_kb/src/sd_basic_specification.tex

+	\end{scnrelfromset}
+
+	% данное отношение используется в ostis-системе, как коректно обозначить первый домен? можно же туда множество добавлять, но не уверена, как это правильнее сделать
+	\scnheader{способ установки*}


Suggested change

\scnheader{способ установки*}

\scnheader{продукт*}

KovalM · 2024-11-26T20:35:31Z

Contents/part_kb/src/sd_basic_specification.tex

+		\scnitem{способ установки*}
+	\end{scnrelfromset}
+
+	% данное отношение используется в могократно используемом компоненте, можно ли считать, что множество кногократно используемых компонентов включается во множество проектов?


Нам явно не хватает определения понятия "проект"

KovalM · 2024-11-26T20:36:30Z

Contents/part_kb/src/sd_basic_specification.tex

+		\scnitem{часть*}
+	\end{scnrelfromset}
+
+	\scnheader{часть*}


включение*?

В Стандарте прям используется отношение часть*, но оно и правда как включение*

feat: sd_basic_specification

96812b2

PetrochukKsenija requested review from KovalM, MikhailSadovsky, MksmOrlov, NikitaZotov and ShunkevichDV November 18, 2024 05:14

NikitaZotov requested a review from MakarenkoAI November 19, 2024 08:11

MakarenkoAI requested changes Nov 20, 2024

View reviewed changes

NikitaZotov requested changes Nov 24, 2024

View reviewed changes

NikitaZotov assigned PetrochukKsenija Nov 24, 2024

KovalM requested changes Nov 26, 2024

View reviewed changes

PetrochukKsenija added 4 commits January 13, 2025 06:21

fix: correction of comments

5c7c167

fix: correction of comments

906a08d

feat: add templates

9c3cdb6

feat: add sub-items and new specifications

5a4d5c8

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

feat: basic specification #432

feat: basic specification #432

PetrochukKsenija commented Nov 18, 2024

MakarenkoAI Nov 20, 2024

NikitaZotov Nov 24, 2024

PetrochukKsenija Dec 2, 2024

MakarenkoAI Nov 20, 2024

PetrochukKsenija Dec 2, 2024

NikitaZotov Nov 24, 2024

NikitaZotov Nov 24, 2024

NikitaZotov Nov 24, 2024

PetrochukKsenija Dec 2, 2024

NikitaZotov Nov 24, 2024

PetrochukKsenija Dec 2, 2024

NikitaZotov Nov 24, 2024

NikitaZotov Nov 24, 2024

NikitaZotov Nov 24, 2024

NikitaZotov Nov 24, 2024

NikitaZotov Nov 24, 2024

NikitaZotov Nov 24, 2024

NikitaZotov Nov 24, 2024

KovalM Nov 26, 2024

PetrochukKsenija Dec 2, 2024

KovalM Nov 26, 2024

PetrochukKsenija Dec 2, 2024

KovalM Nov 26, 2024

PetrochukKsenija Dec 2, 2024

KovalM Nov 26, 2024

KovalM Nov 26, 2024

PetrochukKsenija Dec 2, 2024

KovalM Nov 26, 2024

KovalM Nov 26, 2024

KovalM Nov 26, 2024

KovalM Nov 26, 2024

KovalM Nov 26, 2024

PetrochukKsenija Dec 2, 2024

	\scsubsubsection{\S 23.1.1. Предметная область и онтология базовых спецификаций}
	\scsubsubsection{Пункт 23.1.1. Предметная область и онтология базовых спецификаций}



		% \\\\\\\\\\\\\\ АГЕНТ
		\scnheader{базовая спецификация агента}

	\scnitem{базовая сепецификация отношения}
	\scnitem{базовая спецификация отношения}

	\scnheader{способ установки*}
	\scnheader{продукт*}

feat: basic specification #432

Are you sure you want to change the base?

feat: basic specification #432

Conversation

PetrochukKsenija commented Nov 18, 2024

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment