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

Part 3.3 #416

Open
wants to merge 11 commits into
base: main
Choose a base branch
from
Open

Part 3.3 #416

wants to merge 11 commits into from

Conversation

MakarenkoAI
Copy link
Contributor

No description provided.

@MakarenkoAI MakarenkoAI self-assigned this Aug 2, 2024
@MakarenkoAI MakarenkoAI marked this pull request as draft August 2, 2024 12:25
@MakarenkoAI MakarenkoAI marked this pull request as ready for review August 19, 2024 16:20
@MakarenkoAI MakarenkoAI changed the title 3.3 Part 3.3 Aug 19, 2024
Copy link
Contributor

@PetrochukKsenija PetrochukKsenija left a comment

Choose a reason for hiding this comment

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

В некоторых частях вставлено несколько абзацев из монограции в один блок текста в стандарте, в основном в старом материале, а не в том, который Аня добавляла. Не знаю, насколько это серьёзно и надо ли сейчас тратить время на исправление, то это выглядит не очень формализовано. @MksmOrlov

\end{scnrelfromset}
\end{scnindent}
\end{scnindent}
\scntext{примечание}{Существующее многообразие подходов к решению \textit{задач} в \textit{компьютерных системах} можно разделить на два класса:
Copy link
Contributor

Choose a reason for hiding this comment

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

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


\scnheader{гибридный решатель задач}
\begin{scnrelfromlist}{требование}
\scnfileitem{в каждый момент времени \textit{решатель задач} должен обеспечивать решение задач из оговоренного класса за оговоренное время, при этом результат решения задачи должен удовлетворять некоторым известным требованиям. Другими словами, как и в случае современных \textit{компьютерных систем}, корректность результатов решения задач на этапе разработки системы должна верифицироваться специальными методами, в том числе для этого могут быть использованы такие современные подходы, как \textit{unit-тестирование}, \textit{тестирование методом «черного ящика}» и другие.}
Copy link
Contributor

Choose a reason for hiding this comment

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

Suggested change
\scnfileitem{в каждый момент времени \textit{решатель задач} должен обеспечивать решение задач из оговоренного класса за оговоренное время, при этом результат решения задачи должен удовлетворять некоторым известным требованиям. Другими словами, как и в случае современных \textit{компьютерных систем}, корректность результатов решения задач на этапе разработки системы должна верифицироваться специальными методами, в том числе для этого могут быть использованы такие современные подходы, как \textit{unit-тестирование}, \textit{тестирование методом «черного ящика}» и другие.}
\scnfileitem{В каждый момент времени \textit{решатель задач} должен обеспечивать решение задач из оговоренного класса за оговоренное время, при этом результат решения задачи должен удовлетворять некоторым известным требованиям. Другими словами, как и в случае современных \textit{компьютерных систем}, корректность результатов решения задач на этапе разработки системы должна верифицироваться специальными методами, в том числе для этого могут быть использованы такие современные подходы, как \textit{unit-тестирование}, \textit{тестирование методом \scnqq{черного ящика}} и другие.}

Copy link
Contributor

Choose a reason for hiding this comment

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

И проверь, пожалуйста, во всём ПРе ковычки, потому что они разными способами поставлены

\end{scnindent}
\scnfileitem{\textit{\textbf{гибридный решатель}} должен обеспечивать возможность \textbf{согласованного использования различных моделей решения задач} при решении одной и той же \textit{комплексной задачи} в случае необходимости}
\scnfileitem{\textit{решатель задач} должен быть легко \textbf{модифицируемым}, то есть трудоемкость внесения изменений в уже разработанный \textit{решатель задач} должна быть минимальна. Путями повышения модифицируемости \textit{решателя задач} являются обеспечение локальности вносимых изменений, в том числе --- за счет стратификации \textit{решателя задач} на независимые уровни и обеспечение максимальной независимости компонентов \textit{решателя задач} друг от друга, а также наличие готовых компонентов, которые могут быть встроены в \textit{решатель задач} при необходимости. При этом внесение изменений должно осуществляться \textit{непосредственно в процессе эксплуатации системы}}
\scnfileitem{для того чтобы \textit{интеллектуальная система} имела возможность анализировать и оптимизировать имеющийся \textit{решатель задач}, интегрировать в его состав новые компоненты (в том числе самостоятельно), оценивать важность тех или иных компонентов и применимость их для решения той или иной задачи, спецификация \textit{решателя задач} должна быть описана языком, понятным системе, например, при помощи тех же средств, что и обрабатываемые \textit{знания}. Другими словами, \textit{интеллектуальная система} и, соответственно, \textit{решатель задач} должны обладать \textit{рефлексивностью}.}
Copy link
Contributor

Choose a reason for hiding this comment

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

Suggested change
\scnfileitem{для того чтобы \textit{интеллектуальная система} имела возможность анализировать и оптимизировать имеющийся \textit{решатель задач}, интегрировать в его состав новые компоненты (в том числе самостоятельно), оценивать важность тех или иных компонентов и применимость их для решения той или иной задачи, спецификация \textit{решателя задач} должна быть описана языком, понятным системе, например, при помощи тех же средств, что и обрабатываемые \textit{знания}. Другими словами, \textit{интеллектуальная система} и, соответственно, \textit{решатель задач} должны обладать \textit{рефлексивностью}.}
\scnfileitem{Для того чтобы \textit{интеллектуальная система} имела возможность анализировать и оптимизировать имеющийся \textit{решатель задач}, интегрировать в его состав новые компоненты (в том числе самостоятельно), оценивать важность тех или иных компонентов и применимость их для решения той или иной задачи, спецификация \textit{решателя задач} должна быть описана языком, понятным системе, например, при помощи тех же средств, что и обрабатываемые \textit{знания}. Другими словами, \textit{интеллектуальная система} и, соответственно, \textit{решатель задач} должны обладать \textit{рефлексивностью}.}

Copy link
Contributor

Choose a reason for hiding this comment

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

Пересмотри, пожалуйста, этот момент. Много где предложения начинаются с маленькой буквы или не хватает точки в конце предложения. Где-то и то, и другое

\scnitem{\scncite{Borisov2014}}
\end{scnrelfromset}
\end{scnindent}
\scnfileitem{Состояние работ англоязычных авторов, посвященных вопросам решения задач в \textit{системах, основанных на знаниях}, и актуальных на момент начала 1990-х годах, отражено в обзорных публикациях \textit{Dutta1993}, \textit{Pau1990}. Более поздние англоязычные работы в данной области в основном ориентированы на решение конкретных частных \textit{задач} в системах, построенных на основе стандартов \textit{W3C}, о которых более подробно было сказано выше.}
Copy link
Contributor

Choose a reason for hiding this comment

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

Наверное не очень корректно использовать тут фразу "сказано выше", лучше преформулировать
@MksmOrlov

Copy link
Member

Choose a reason for hiding this comment

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

Верно. В графах нету выше или ниже

\end{scnindent}
\end{scnindent}
\end{scnrelfromlist}
\scntext{примечание}{Ориентация на \textit{многоагентный подход} как основа для построения \textit{гибридных решателей задач} обусловлена следующими основными преимуществами такого подхода.}
Copy link
Contributor

Choose a reason for hiding this comment

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

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

\end{scnsubdividing}

\scnheader{блокировка*}
\scniselement{бинарное отношение}
\scntext{пояснение}{Для синхронизации выполнения \textit{процессов в sc-памяти} используется механизм блокировок. Отношение \textbf{\textit{блокировка*}} связывает знаки \textit{действий в sc-памяти} со знаками \textit{структур} (ситуативных), которые содержат элементы, заблокированные на время выполнения данного действия или на какую-то часть этого периода. Каждая такая \textit{структура} принадлежит какому-либо из \textit{типов блокировки}.\\
Первым компонентом связок отношения \textbf{\textit{блокировка*}} является знак \textit{действия в sc-памяти}, вторым знак заблокированной \textit{структуры}.}
\scnrelfrom{описание примера}{\scnfileimage[20em]{Contents/part_ps/src/images/sd_agents/lock.png}}
\scnrelfrom{описание примера}{\scnfileimage[40em]{Contents/part_ps/src/images/sd_agents/lock.png}}
Copy link
Contributor

Choose a reason for hiding this comment

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

нужно добавить название данному изображению
SCg-текст. Пример использования блокировок

Copy link
Contributor

Choose a reason for hiding this comment

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

Проверить наличие названия у всех изображений. Где нет названия, необходимо его добавить

\end{scnindent}
\scnrelfrom{описание примера}{\scnfileimage[30em]{Contents/part_ps/src/images/sd_agents/genElStr5_fafaa_2.png}}
\begin{scnindent}
\scnidtf{SCg-текст. Пример выполнения scp-оператора генерации пятиэлементной конструкции (вызов scp-оператора)}
Copy link
Contributor

Choose a reason for hiding this comment

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

Suggested change
\scnidtf{SCg-текст. Пример выполнения scp-оператора генерации пятиэлементной конструкции (вызов scp-оператора)}
\scnidtf{SCg-текст. Пример выполнения scp-оператора генерации пятиэлементной конструкции (результат выполнения scp-оператора)}

\begin{scnindent}
\scnrelfrom{описание примера}{\scnfileimage[30em]{Contents/part_ps/src/images/sd_agents/searchElStr3_faf.png}}
\begin{scnindent}
\scnidtf{SCg-текст. Пример выполнения scp-оператора генерации пятиэлементной конструкции (вызов scp-оператора)}
Copy link
Contributor

Choose a reason for hiding this comment

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

Suggested change
\scnidtf{SCg-текст. Пример выполнения scp-оператора генерации пятиэлементной конструкции (вызов scp-оператора)}
\scnidtf{SCg-текст. Пример выполнения scp-оператора поиска трехэлементной конструкции (вызов scp-оператора)}

\end{scnindent}
\scnrelfrom{описание примера}{\scnfileimage[30em]{Contents/part_ps/src/images/sd_agents/searchElStr3_faf_2.png}}
\begin{scnindent}
\scnidtf{SCg-текст. Пример выполнения scp-оператора генерации пятиэлементной конструкции (вызов scp-оператора)}
Copy link
Contributor

Choose a reason for hiding this comment

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

Suggested change
\scnidtf{SCg-текст. Пример выполнения scp-оператора генерации пятиэлементной конструкции (вызов scp-оператора)}
\scnidtf{SCg-текст. Пример выполнения scp-оператора поиска трехэлементной конструкции (результат выполнения scp-оператора)}

\end{scnsubstruct}
\end{SCn}

%Пример выполнения scp-оператора удаления одноэлементной конструкции (вызов scp-оператора)
Copy link
Contributor

@PetrochukKsenija PetrochukKsenija Aug 21, 2024

Choose a reason for hiding this comment

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

а почему комментарий? в монографии к этому пункту есть два изображения и текст к ним

Copy link
Member

Choose a reason for hiding this comment

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

Кажется это не относится к 3.3. Надо перенести в соответствующий ПР, а отсюда убрать

Comment on lines 142 to 147
\scntext{примечание}{Существующее многообразие подходов к решению \textit{задач} в \textit{компьютерных системах} можно разделить на два класса:
\begin{itemize}
\item \textbf{решение задач с использованием хранимых программ.}
\item \textbf{решение задач в условиях, когда программа решения не известна.}
\end{itemize}}
\scnsuperset{решение задач с использованием хранимых программ}
Copy link
Member

Choose a reason for hiding this comment

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

вместо этого примечания делай декомпозицию. Включения ниже тогда не нужны

Comment on lines 366 to 370
\scntext{примечание}{Построение модели \textit{многоагентной системы} требует уточнения модели каждого компонента, входящего в ее состав, а именно:
\begin{itemize}
\item \textbf{модель агента}, входящего в состав такой системы, включая классификацию таких \textit{агентов} и набор понятий, характеризующих каждый агент в рамках системы. В настоящее время наиболее популярной является модель \textit{BDI} (belief-desire-intention), в рамках которой предполагается описывать на соответствующих языках \scnqq{убеждения}, \scnqq{желания} и \scnqq{намерения} каждого агента системы;
\item \textbf{модель среды}. Обзор разновидностей сред для многоагентных систем приводится в работе \textit{Weyns2007};
\item \textbf{модель коммуникации агентов}.
Copy link
Member

Choose a reason for hiding this comment

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

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

Comment on lines 379 to 384
\scntext{примечание}{Для разработки модели коммуникации \textit{агентов} необходимо отдельно уточнить каждый из ее компонентов:
\begin{itemize}
\item Принципы обмена сообщениями между агентами;
\item Классификацию, семантику и прагматику таких сообщений;
\item Принципы координации деятельности агентов.
\end{itemize}}
Copy link
Member

Choose a reason for hiding this comment

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

это лишнее примечание, оно формализовано ниже по сути, если воду убрать

Comment on lines 459 to 460
\scnheader{принцип \scnqq{доски объявлений}}
\scniselement{многоагентный подход}
Copy link
Member

Choose a reason for hiding this comment

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

думаю, эта принадлежность некорректная здесь

Comment on lines 476 to 481
\scntext{предлагаемый подход}{Кроме \textit{многоагентного подхода}, в основу принципов решения задачи в рамках \textit{Технологии OSTIS} предлагается положить ряд идей, связанных с концепцией \textit{ситуационного управления}, рассмотренной в работе \textit{Д.А. Поспелова}. До настоящего времени попытки реализации указанной концепции, несмотря на ее актуальность и востребованность, сводились к частным решениям для конкретных \textit{классов задач} и, к сожалению, не получили широкого распространения. В значительной степени это обусловлено отсутствием универсальной унифицированной основы, которая бы позволила на ее базе создавать языки ситуационного управления в применении к конкретным предметным областям и, что еще более важно, повторно использовать фрагменты описаний на таких языках.}
\begin{scnindent}
\begin{scnrelfromset}{смотрите}
\scnitem{\scncite{Pospelov1986}}
\end{scnrelfromset}
\scntext{решение}{Данную проблему можно решить используя предлагаемый в рамках \textit{Технологии OSTIS} \textit{SC-код} и семейство \textit{онтологий верхнего уровня}, разработанных на его основе.}
Copy link
Member

Choose a reason for hiding this comment

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

странно, что решение появилось у предлагаемого подхода. Я бы разделил на решение и на проблему, а решение делать у проблемы

@MksmOrlov
Copy link
Member

В некоторых частях вставлено несколько абзацев из монограции в один блок текста в стандарте, в основном в старом материале, а не в том, который Аня добавляла. Не знаю, насколько это серьёзно и надо ли сейчас тратить время на исправление, то это выглядит не очень формализовано. @MksmOrlov

то, что раньше было написано, не трогаем особо. По крайней мере в этом случае

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants