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

rename all independent_actions to atomic_actions #80

Open
wants to merge 7 commits into
base: master
Choose a base branch
from
Open

rename all independent_actions to atomic_actions #80

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
7 commits
Select commit Hold shift + click to select a range
6fc1fcc
feat: replace independent_action to atomic_action in section_subjdoma…
katherinefedenko Apr 27, 2019
a34d807
feat: replace independent_action to atomic_action in section_subjdoma…
katherinefedenko Apr 27, 2019
bfd477b
feat: replace independent_action to atomic_action in section_subjdoma…
katherinefedenko Apr 27, 2019
3b990c3
feat: rename expl_independent_actions_class.html to expl_atomic_actio…
katherinefedenko Apr 27, 2019
ca615c7
fix: rename main_idtf
katherinefedenko May 1, 2019
e917edf
fix: change explanation
katherinefedenko May 6, 2019
1f3b01b
fix: change explanation
katherinefedenko May 6, 2019
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: 3 additions & 0 deletions ..._sc_code/section_subjdomain_actions_and_tasks/content_html/expl_atomic_actions_class.html
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,3 @@
<p>Каждое <i><sc_element sys_idtf="question">действие</sc_element></i>, принадлежащее <b><sc_element sys_idtf="independent_actions_class">классу атомарных действий</sc_element></b>, выполняется независимо от того, является ли указанное действие частью декомпозиции более общего действия. При выполнении данного действия также не должен учитываться тот факт, что данное действие предшествует каким-либо другим действиям или следует за ними (что явно указывается при помощи отношения <i><sc_element sys_idtf="nrel_goto">последовательность действий*</sc_element></i>).
При невыполнении любого из этих условий свойство атомарности действия нарушается.
Таким образом, атомарное действие представляет собой семантически целостный самодостаточный акт преобразования, выполняемый некоторым <i><sc_element sys_idtf="subject">субъектом</sc_element></i>, в том числе, например, в семантической памяти.</p>
2 changes: 1 addition & 1 deletion ...ion_sc_code/section_subjdomain_actions_and_tasks/section_subjdomain_actions_and_tasks.scs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -103,7 +103,7 @@ rrel_key_sc_element -> (section_subjdomain_actions_and_tasks -> subject_domain_o
=> nrel_key_sc_element_order: (section_subjdomain_actions_and_tasks -> actions_class)
(*
<- rrel_key_sc_element;;
=> nrel_key_sc_element_order: (section_subjdomain_actions_and_tasks -> independent_actions_class)
=> nrel_key_sc_element_order: (section_subjdomain_actions_and_tasks -> atomic_actions_class)
(*
<- rrel_key_sc_element;;
=> nrel_key_sc_element_order: (section_subjdomain_actions_and_tasks -> non_independent_actions_class)
Expand Down
10 changes: 5 additions & 5 deletions ...on_sc_code/section_subjdomain_actions_and_tasks/section_subjdomain_actions_and_tasks.scsi
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -35,7 +35,7 @@ subject_domain_of_actions_and_tasks
external_subject_ostis_system_interaction;
external_subject_ostis_system_without_interaction;
actions_class;
independent_actions_class;
atomic_actions_class;
non_independent_actions_class;
task;
procedural_formulation_of_task;
Expand Down Expand Up @@ -690,7 +690,7 @@ actions_class

<= nrel_subdividing:
{
independent_actions_class;
atomic_actions_class;
non_independent_actions_class
};

Expand All @@ -707,10 +707,10 @@ actions_class
*);;
*);;

independent_actions_class
atomic_actions_class
<- sc_node_not_relation;
=> nrel_main_idtf:
[класс автономных действий]
[класс атомарных действий]
(* <- lang_ru;; *);
[independent actions class]
(* <- lang_en;; *);
Expand All @@ -722,7 +722,7 @@ independent_actions_class
...
(*
-> rrel_example:
"file://content_html/expl_independent_actions_class.html"
"file://content_html/expl_atomic_actions_class.html"
(* <- lang_ru;; *);;
*);;
*);;
Expand Down
2 changes: 1 addition & 1 deletion ...models_kpm/section_subject_domain_of_sc_agents/content_html/explanation_for_sc_agent.html
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
<p>Под <b><sc_element sys_idtf = "sc_agent">sc-агентом</sc_element></b> понимается конкретный экземпляр (с теоретико-множественной точки зрения - элемент) некоторого <sc_element sys_idtf = "atomic_abstract_sc_agent">атомарного абстрактного sc-агента</sc_element>, работающий в какой-либо конкретной <b><sc_element sys_idtf = "intelligent_system">интеллектуальной системе</sc_element></b>.</p>
<p>Будем называть <b><sc_element sys_idtf = "sc_agent">sc-агентом</sc_element></b> некоторый <b><sc_element sys_idtf = "subject">субъект</sc_element></b>, способный выполнять действия, принадлежащие некоторому определенному классу автономных действий либо только над <b><sc_element sys_idtf = "sc_memory">sc-памятью</sc_element></b>, либо над <b><sc_element sys_idtf = "sc_memory">sc-памятью</sc_element></b> и внешней средой (для <b><sc_element sys_idtf = "effector_abstract_sc_agent">эффекторных sc-агентов</sc_element></b>). Каждое такое действие инициируется либо состоянием или ситуацией в <b><sc_element sys_idtf = "sc_memory">sc-памяти</sc_element></b>, либо состоянием или ситуацией во внешней среде (для <b><sc_element sys_idtf = "receptor_abstract_sc_agent">рецепторных sc-агентов-датчиков</sc_element></b>), соответствующей условию инициирования <b><sc_element sys_idtf = "atomic_abstract_sc_agent">атомарного абстрактного sc-агента</sc_element></b>, экземпляром которого является заданный <b><sc_element sys_idtf = "sc_agent">sc-агент</sc_element></b>. В данном случае можно провести аналогию между принципами объектно-ориентированного программирования, рассматривая <b><sc_element sys_idtf = "atomic_abstract_sc_agent">атомарный абстрактный sc-агент</sc_element></b> как <b><sc_element sys_idtf = "class">класс</sc_element></b>, а конкретный <b><sc_element sys_idtf = "sc_agent">sc-агент</sc_element></b> – как экземпляр, конкретную имплементацию этого <b><sc_element sys_idtf = "class">класса</sc_element></b>.</p>
<p>Будем называть <b><sc_element sys_idtf = "sc_agent">sc-агентом</sc_element></b> некоторый <b><sc_element sys_idtf = "subject">субъект</sc_element></b>, способный выполнять действия, принадлежащие некоторому определенному классу атомарных действий либо только над <b><sc_element sys_idtf = "sc_memory">sc-памятью</sc_element></b>, либо над <b><sc_element sys_idtf = "sc_memory">sc-памятью</sc_element></b> и внешней средой (для <b><sc_element sys_idtf = "effector_abstract_sc_agent">эффекторных sc-агентов</sc_element></b>). Каждое такое действие инициируется либо состоянием или ситуацией в <b><sc_element sys_idtf = "sc_memory">sc-памяти</sc_element></b>, либо состоянием или ситуацией во внешней среде (для <b><sc_element sys_idtf = "receptor_abstract_sc_agent">рецепторных sc-агентов-датчиков</sc_element></b>), соответствующей условию инициирования <b><sc_element sys_idtf = "atomic_abstract_sc_agent">атомарного абстрактного sc-агента</sc_element></b>, экземпляром которого является заданный <b><sc_element sys_idtf = "sc_agent">sc-агент</sc_element></b>. В данном случае можно провести аналогию между принципами объектно-ориентированного программирования, рассматривая <b><sc_element sys_idtf = "atomic_abstract_sc_agent">атомарный абстрактный sc-агент</sc_element></b> как <b><sc_element sys_idtf = "class">класс</sc_element></b>, а конкретный <b><sc_element sys_idtf = "sc_agent">sc-агент</sc_element></b> – как экземпляр, конкретную имплементацию этого <b><sc_element sys_idtf = "class">класса</sc_element></b>.</p>
<p>Взаимодействие <b><sc_element sys_idtf = "sc_agent">sc-агентов</sc_element></b> осуществляется только через <sc_element sys_idtf = "sc_memory">sc-память</sc_element>. Как следствие, результатом работы любого <b><sc_element sys_idtf = "sc_agent">sc-агента</sc_element></b> является некоторое изменение состояния <sc_element sys_idtf = "sc_memory">sc-памяти</sc_element>, т.е. удаление либо генерация каких-либо <sc_element sys_idtf = "sc_element">sc-элементов</sc_element>.</p>
<p>В общем случае один <b><sc_element sys_idtf = "sc_agent">sc-агент</sc_element></b> может явно передать управление другому <b><sc_element sys_idtf = "sc_agent">sc-агенту</sc_element></b>, если этот <b><sc_element sys_idtf = "sc_agent">sc-агент</sc_element></b> априори известен. Для этого каждый <b><sc_element sys_idtf = "sc_agent">sc-агент</sc_element></b> в <sc_element sys_idtf = "sc_memory">sc-памяти</sc_element> имеет обозначающий его <sc_element sys_idtf = "sc_node">sc-узел</sc_element>, с которым можно связать конкретную ситуацию в текущем состоянии базы знаний, которую инициируемый <b><sc_element sys_idtf = "sc_agent">sc-агент</sc_element></b> должен обработать.</p>
<p>Однако далеко не всегда легко определить того <b><sc_element sys_idtf = "sc_agent">sc-агента</sc_element></b>, который должен принять управление от заданного <b><sc_element sys_idtf = "sc_agent">sc-агента</sc_element></b>, в связи с чем описанная выше ситуация возникает крайне редко. Более того, иногда условие инициирования <b><sc_element sys_idtf = "sc_agent">sc-агента</sc_element></b> является результатом деятельности непредсказуемой группы <b><sc_element sys_idtf = "sc_agent">sc-агентов</sc_element></b>, равно как и одна и та же конструкция может являться условием инициирования целой группы <b><sc_element sys_idtf = "sc_agent">sc-агентов</sc_element></b>.</p>
Expand Down