Exercises for subjdomains

ims/ostis_tech/justification/section_type_function_and_composition_of_technology_OSTIS/section_type_function_and_composition_of_technology_OSTIS.scs

@@ -9,10 +9,3 @@ section_composition_of_OSTIS_technology
 
 	section_composition_of_OSTIS_technology = [*^"file://section_type_function_and_composition_of_technology_OSTIS.scsi"*];;
 
-rrel_key_sc_element -> (section_composition_of_OSTIS_technology -> technology_OSTIS)
-(*
-
-	=> nrel_key_sc_element_order: (complex_technology_development_of_intelligent_systems -> technology_OSTIS)
-	(* <- rrel_key_sc_element;; *);;	
-
-*);;

ims/ostis_tech/lib_ostis/section_library_of_typical_subsystems_of_computer_systems/section_library_subsystems_information_support_design_automation_ostis.scsi

@@ -4,4 +4,12 @@ library_subsystems_information_support_design_automation_ostis
 	[Библиотека подсистем информационной поддержки и автоматизации проектирования различных компонентов ostis-систем ]
 	(* <- lang_ru;; *);
 	[Library subsystems of the information support and design automation of various ostis-systems components]
-	(* <- lang_en;; *);;
+	(* <- lang_en;; *);
+<- section_subsystem_dev_kb_editing_initial_texts;
+<- section_subsystem_dev_kb_initial_text_one_administrator;
+<- section_subsystem_dev_kb_developer_administrator;
+<- section_subsystem_dev_kb_developer_hierarchy;
+<- section_subsystem_dev_kb_developer_automation_tools;
+<- section_subsystem_dev_base_program_language;
+<- section_subsystem_dev_kpm;
+<- section_subsystem_dev_interface;;

ims/ostis_tech/lib_ostis/set_of_platforms/nl_files/library_interpreters_unified_logical_semantic_models_of_intelligent_systems.html

@@ -5,4 +5,4 @@
 <li>базовые средства интерфейса для взаимодействия системы с внешним миром (пользователем или другими системами). Указанные средства включают в себя, как минимум, редактор, транслятор (в sc-память и из нее) и визуализатор для одного из базовых универсальных вариантов представления <i><sc_element sys_idtf = "set">SC-кода</sc_element></i> (<i><sc_element sys_idtf = "scg_code">SCg-код</sc_element></i>, <i><sc_element sys_idtf = "scs_code">SCs-код</sc_element></i>, <i><sc_element sys_idtf = "scn_code">SCn-код</sc_element></i>), средства, позволяющие задавать системе вопросы из некоторого универсального класса (например, запрос семантической окрестности некоторого объекта);</li>
 <li>реализацию <i><sc_element sys_idtf = "abstract_scp_machine">абстрактной scp-машины</sc_element></i>, то есть интерпретатор <i><sc_element sys_idtf = "scp_program">scp-программ</sc_element></i>.</li></ul></p>
 <p>При необходимости, в <b><i><sc_element sys_idtf = "sc_models_interpretation_platform">платформу реализации sc-моделей</sc_element></i></b> могут быть заранее на платформенно-зависимом уровне включены какие-либо компоненты машин обработки знаний или баз знаний, например, с целью упрощения создания первой версии дочерней системы на основе <i><sc_element sys_idtf = "technology_OSTIS">Технологии OSTIS</sc_element></i>.</p>
-<p>Реализация платформы может осуществляться на основе произвольного набора существующих технологий, включая аппаратную реализацию каких-либо ее частей. С точки зрения <i><sc_element sys_idtf = "technology_OSTIS">Технологии OSTIS</sc_element></i> любая <b><i><sc_element sys_idtf = "sc_models_interpretation_platform">платформой реализации sc-моделей</sc_element></i></b> является <b><i><sc_element sys_idtf = "library_of_platform_dependent_reusable_components">платформенно-зависимым многократно используемым компонентом</sc_element></i></b>.</p>
+<p>Реализация платформы может осуществляться на основе произвольного набора существующих технологий, включая аппаратную реализацию каких-либо ее частей. С точки зрения <i><sc_element sys_idtf = "technology_OSTIS">Технологии OSTIS</sc_element></i> любая <b><i><sc_element sys_idtf = "sc_models_interpretation_platform">платформа реализации sc-моделей</sc_element></i></b> является <b><i><sc_element sys_idtf = "library_of_platform_dependent_reusable_components">платформенно-зависимым многократно используемым компонентом</sc_element></i></b>.</p>

ims/ostis_tech/semantic_network_represent/section_sc_code/section_subjdomain_actions_and_tasks/exercises/exercise_1/definition_exercise_1.html

@@ -0,0 +1 @@
+<p>Задано действие <i>“Действие 1”</i>, для выполнения которого нужно выполнить <i>“Дейсвтие 2”</i> и <i>“Действие 3”</i>.  Необходимо связать эти сущности, используя отношение <b>декомпозиция действия*</b>.</p>

ims/ostis_tech/semantic_network_represent/section_sc_code/section_subjdomain_actions_and_tasks/exercises/exercise_1/exercise_1.scs

@@ -0,0 +1,41 @@
+section_subjdomain_actions_and_tasks
+=>nrel_exercise: 
+ section_subjdomain_actions_and_tasks_exercise_1;; 
+
+section_subjdomain_actions_and_tasks_exercise_1
+<- exercise;
+
+=> nrel_main_idtf:
+ [Упражнение 1. Раздел. Предметная область  действий и задач]
+ (* <- lang_ru;; *);
+ [Exercise 1. Section. Subject domain of actions and tasks]
+ (* <- lang_en;; *);
+
+<- rrel_key_sc_element: ...
+ (*
+  <- explanation;;
+  <= nrel_sc_text_translation:
+  ...
+  (*
+  -> rrel_example:
+    "file://definition_exercise_1.html"
+   (* <- lang_ru;; *);;
+  *);;
+ *);;
+
+section_subjdomain_actions_and_tasks_exercise_1
+=> nrel_right_answer: ...
+(*
+<- rrel_key_sc_element: ...
+ (*
+  <- illustration;;
+  <= nrel_sc_text_translation:
+  ...
+  (*
+  -> rrel_example:
+    "file://1.png"  
+	(* <- lang_ru;; *);;
+  *);;
+ *);;
+
+*);;

ims/ostis_tech/semantic_network_represent/section_sc_code/section_subjdomain_actions_and_tasks/exercises/exercise_2/definition_exercise_2.html

@@ -0,0 +1 @@
+<p>Приведите  в формализованном виде примеры <i>внутренних субъектов ostis-системы</i> и <i>внешних субъектов ostis-системы, с которыми осуществляется взаимодействие</i>.</p>

ims/ostis_tech/semantic_network_represent/section_sc_code/section_subjdomain_actions_and_tasks/exercises/exercise_2/exercise_2.scs

@@ -0,0 +1,41 @@
+section_subjdomain_actions_and_tasks
+=>nrel_exercise: 
+ section_subjdomain_actions_and_tasks_exercise_2;; 
+
+section_subjdomain_actions_and_tasks_exercise_2
+<- exercise;
+
+=> nrel_main_idtf:
+ [Упражнение 2. Раздел. Предметная область  действий и задач]
+ (* <- lang_ru;; *);
+ [Exercise 2. Section. Subject domain of actions and tasks]
+ (* <- lang_en;; *);
+
+<- rrel_key_sc_element: ...
+ (*
+  <- explanation;;
+  <= nrel_sc_text_translation:
+  ...
+  (*
+  -> rrel_example:
+    "file://definition_exercise_2.html"
+   (* <- lang_ru;; *);;
+  *);;
+ *);;
+
+section_subjdomain_actions_and_tasks_exercise_2
+=> nrel_right_answer: ...
+(*
+<- rrel_key_sc_element: ...
+ (*
+  <- illustration;;
+  <= nrel_sc_text_translation:
+  ...
+  (*
+  -> rrel_example:
+    "file://2.png"  
+	(* <- lang_ru;; *);;
+  *);;
+ *);;
+
+*);;

ims/ostis_tech/semantic_network_represent/section_sc_code/section_subjdomain_actions_and_tasks/exercises/exercise_3/definition_exercise_3.html

@@ -0,0 +1,5 @@
+<p>Даны следующие действия:<br>
+Действие 1 - это действие, которое выполняется в настоящий момент времени. Действие 2 - это действие, которое завершено успешно с точки зрения субъекта, который его выполнял.  Действие 3 - это действие, которое попало во множество инициированных действий, и существует субъект, условие инициирования которого соответствует спецификации действия 3. Действие 4 - это действие, которое входит во множество инициированных действий, но его выполнение невозможно в данный момент по каком-то причинам. Действие 5 не было выполнено успешно с точки зрения выполняющего его субъекта, поскольку спецификация этого действия противоречит другим знаниям системы. Дейсвтие 6 не было выполнено успешно, поскольку была нарушена целостность sc-памяти каким-то субъектом.
+
+Определите и представьте в формализованном виде, к каким классам действий они принадлежат из следующего списка: <i>действие, выполненное с ошибкой; безуспешно выполненное действие; успешно выполненное действие; отложенное действие; активное действие; выполняемое действие.</i>
+</p>

ims/ostis_tech/semantic_network_represent/section_sc_code/section_subjdomain_actions_and_tasks/exercises/exercise_3/exercise_3.scs

@@ -0,0 +1,24 @@
+section_subjdomain_actions_and_tasks
+=>nrel_exercise: 
+ section_subjdomain_actions_and_tasks_exercise_3;; 
+
+section_subjdomain_actions_and_tasks_exercise_3
+<- exercise;
+
+=> nrel_main_idtf:
+ [Упражнение 3. Раздел. Предметная область  действий и задач]
+ (* <- lang_ru;; *);
+ [Exercise 3. Section. Subject domain of actions and tasks]
+ (* <- lang_en;; *);
+
+<- rrel_key_sc_element: ...
+ (*
+  <- explanation;;
+  <= nrel_sc_text_translation:
+  ...
+  (*
+  -> rrel_example:
+    "file://definition_exercise_3.html"
+   (* <- lang_ru;; *);;
+  *);;
+ *);;

ims/ostis_tech/semantic_network_represent/section_sc_code/section_subjdomain_numbers_and_numeric_structures/subjdomain_numbers_and_numeric_structures.scsi

@@ -139,7 +139,7 @@ irrational_number
 => nrel_main_idtf:
 	[иррациональное число]
 	(* <- lang_ru;; *);
-	[rational number]
+	[irrational number]
 	(* <- lang_en;; *);
 => nrel_idtf:
 	[множество иррациональных чисел]
@@ -268,7 +268,7 @@ nrel_opposite_numbers
 => nrel_main_idtf:
 	[противоположные числа*]
 	(* <- lang_ru;; *);
-	[positive number*]
+	[opposite numbers*]
 	(* <- lang_en;; *);
 <- rrel_key_sc_element:
 	...
@@ -289,13 +289,13 @@ nrel_modulus
 => nrel_main_idtf:
 	[модуль*]
 	(* <- lang_ru;; *);
-	[positive number]
+	[absolute value*]
 	(* <- lang_en;; *);
 => nrel_idtf:
 	[модуль числа*]
 	(* <- lang_ru;; *);
 => nrel_idtf:
-	[absolute value*]
+	[absolute value of a number*]
 	(* <- lang_en;; *);
 <- rrel_key_sc_element:
 	...

ims/ostis_tech/unificated_models/section_unificated_models_kb/section_subjdomain_of_logical_formulas_and_logical_ontologies/content_html/explanation_for_atomic_logical_formula.html

@@ -7,7 +7,7 @@
 	<body>
 		<meta http-equiv="content-type" content="text/html; charset=utf-8" />
 		<p>
-		Под <b><i><sc_element sys_idtf = "atomic_logical_formula">атомарной логической формулой</sc_element></i></b> понимается <i><sc_element sys_idtf = "atomic_statement">атомарное высказывание</sc_element></i>, которое является <i><sc_element sys_idtf = "logical_formula">логической формулой</sc_element></i>.
+		Под <b><i><sc_element sys_idtf = "atomic_logical_formula">атомарной логической формулой</sc_element></i></b> понимается <i><sc_element sys_idtf = "atomic_observation">атомарное высказывание</sc_element></i>, которое является <i><sc_element sys_idtf = "logical_formula">логической формулой</sc_element></i>.
 		</p>
 		<p>
 		По умолчанию <b><i><sc_element sys_idtf = "atomic_logical_formula">атомарная логическая формула</sc_element></i></b> трактуется как <i><sc_element sys_idtf = "observation">высказывание</sc_element></i> о существовании, то есть наличия в памяти значений, соответствующих всем <i><sc_element sys_idtf = "sc_variable">sc-переменным</sc_element></i>, входящим в состав данной формулы и не попадающих под действие какого-либо другого <i><sc_element sys_idtf = "quantifier">квантора</sc_element></i> (указанного явно или по умолчанию). Таким образом, на все <i><sc_element sys_idtf = "sc_variable">sc-переменные</sc_element></i>, входящие в состав <b><i><sc_element sys_idtf = "atomic_logical_formula">атомарной логической формулы</sc_element></i></b>, и не попадающие под действие какого-либо другого <i><sc_element sys_idtf = "quantifier">квантора</sc_element></i>, неявно накладывается квантор <i><sc_element sys_idtf = "nrel_existence">существования*</sc_element></i>.

ims/ostis_tech/unificated_models/section_unificated_models_kb/section_subjdomain_of_logical_formulas_and_logical_ontologies/content_html/explanation_for_quantifier.html

@@ -7,7 +7,7 @@
 	<body>
 		<meta http-equiv="content-type" content="text/html; charset=utf-8" />
 		<p>
-		<b><i><sc_element sys_idtf = "quantifier">квантор</sc_element></i></b> – это <i><sc_element sys_idtf = "logical_operation">логическая операция</sc_element></i>, каждая связка которой задает истинность множества <i><sc_element sys_idtf = "logical_formula">логических формул</sc_element></i>, входящих в ее состав, при выполнении дополнительных условий, связанных с некоторыми из переменных, входящих в состав этих <i><sc_element sys_idtf = "logical_formula">логических формул</sc_element></i>. Будем говорить, что указанные переменные связаны <b><i><sc_element sys_idtf = "quantifier">квантором</sc_element></i></b> или попадают под область действия данного <b><i><sc_element sys_idtf = "quantifier">квантора</sc_element></i></b> (имея в виду конкретную связку конкретного <b><i><sc_element sys_idtf = "quantifier">квантора</sc_element></i></b>). Таким образом, в состав каждой связки каждого <b><i><sc_element sys_idtf = "quantifier">квантора</sc_element></i></b> входит <i><sc_element sys_idtf = "atomic_formula">атомарная формула</sc_element></i>, являющаяся <i><sc_element sys_idtf = "trivial_structure">тривиальной структурой</sc_element></i>, в которой перечислены переменные, связанные данным <b><i><sc_element sys_idtf = "quantifier">квантором</sc_element></i></b>.
+		<b><i><sc_element sys_idtf = "quantifier">квантор</sc_element></i></b> – это <i><sc_element sys_idtf = "logical_operation">логическая операция</sc_element></i>, каждая связка которой задает истинность множества <i><sc_element sys_idtf = "logical_formula">логических формул</sc_element></i>, входящих в ее состав, при выполнении дополнительных условий, связанных с некоторыми из переменных, входящих в состав этих <i><sc_element sys_idtf = "logical_formula">логических формул</sc_element></i>. Будем говорить, что указанные переменные связаны <b><i><sc_element sys_idtf = "quantifier">квантором</sc_element></i></b> или попадают под область действия данного <b><i><sc_element sys_idtf = "quantifier">квантора</sc_element></i></b> (имея в виду конкретную связку конкретного <b><i><sc_element sys_idtf = "quantifier">квантора</sc_element></i></b>). Таким образом, в состав каждой связки каждого <b><i><sc_element sys_idtf = "quantifier">квантора</sc_element></i></b> входит <i><sc_element sys_idtf = "atomic_logical_formula">атомарная формула</sc_element></i>, являющаяся <i><sc_element sys_idtf = "trivial_structure">тривиальной структурой</sc_element></i>, в которой перечислены переменные, связанные данным <b><i><sc_element sys_idtf = "quantifier">квантором</sc_element></i></b>.
 		</p>
 	</body>
 </html>

ims/ostis_tech/unificated_models/section_unificated_models_kb/section_subjdomain_of_logical_formulas_and_logical_ontologies/content_html/explanation_for_tautology.html

@@ -7,7 +7,7 @@
 	<body>
 		<meta http-equiv="content-type" content="text/html; charset=utf-8" />
 		<p>
-		<b><i><sc_element sys_idtf = "tautology">тавтология</sc_element></i></b> – это <i><sc_element sys_idtf = "non_atomic_logical_formula">неатомарная логическая формула</sc_element></i>, которая является либо <i><sc_element sys_idtf = "generally_valid_logical_formula">общезначимой логической формулой</sc_element></i>, либо <i><sc_element sys_idtf = "contradictory_logical_formula">противоречивой логической формулой</sc_element></i>. Другими словами, это такая <i><sc_element sys_idtf = "non_atomic_logical_formula">неатомарная логическая формула</sc_element></i>, которая является либо только истинной, либо только ложной в рамках всех <i><sc_element sys_idtf = "">формальных теорий</sc_element></i>, в которых можно установить ее истинность или ложность.
+		<b><i><sc_element sys_idtf = "tautology">тавтология</sc_element></i></b> – это <i><sc_element sys_idtf = "non_atomic_logical_formula">неатомарная логическая формула</sc_element></i>, которая является либо <i><sc_element sys_idtf = "generally_valid_logical_formula">общезначимой логической формулой</sc_element></i>, либо <i><sc_element sys_idtf = "contradictory_logical_formula">противоречивой логической формулой</sc_element></i>. Другими словами, это такая <i><sc_element sys_idtf = "non_atomic_logical_formula">неатомарная логическая формула</sc_element></i>, которая является либо только истинной, либо только ложной в рамках всех <i><sc_element sys_idtf = "formal_theory">формальных теорий</sc_element></i>, в которых можно установить ее истинность или ложность.
 		</p>
 	</body>
 </html>

ims/ostis_tech/unificated_models/section_unificated_models_kb/section_subjdomain_of_logical_formulas_and_logical_ontologies/content_html/rule_of_identification_for_statement.html

@@ -18,7 +18,7 @@
 		</p>
 		</br>
 		<p>
-		Могут быть исключения для <b><i><sc_element sys_idtf = "statement">утверждений</sc_element></i></b>, названия которых закрепились исторически, например, <i><sc_element sys_idtf = "stat_Pythagorean_theorem">Теорема Пифагора</sc_element></i>, <i><sc_element sys_idtf = "axiom_straight_line_geometric_point">Аксиома о прямой и точке</sc_element></i>.
+		Могут быть исключения для <b><i><sc_element sys_idtf = "statement">утверждений</sc_element></i></b>, названия которых закрепились исторически, например, <i>Теорема Пифагора</i>, <i>Аксиома о прямой и точке</i>.
 		</p>
 	</body>
 </html>

ims/ostis_tech/unificated_models/section_unificated_models_kb/section_subjdomain_of_logical_formulas_and_logical_ontologies/exercises/exercise_1/definition_exercise_1.html

@@ -0,0 +1 @@
+<p>Формализуйте следующие логические формулы: ((A∧B)～C); ((A∧B)∨C)～((A∧R)∨D).</p>