Exercises for subjdomains by alresharin · Pull Request #60 · ostis-dev/ims.ostis.kb

alresharin · 2017-12-17T21:28:24Z

2 упражнения к ПрО логических формул и онтологий.
2 упражнения к ПрО действий и задач.

…bjdomain of logical formulas and logical ontologies 2 exercises added

deniskoronchik · 2017-12-18T11:00:05Z

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


Why we need such long file names? It's already in a directory with the same name

deniskoronchik · 2017-12-18T11:00:23Z

@@ -0,0 +1 @@
+Дана формула ((A∧B)∨C). Формализуйте формулу, а также определите и изобразите с помощью SCg, какими из следующих свойств она обладает: атомарная формула, неатомарная формула, выполнимая формула, невыполнимая логическая формула, противоречивая формула, общезначимая формула, тавтология, нейтральная логическая формула.


Too long filename

ShunkevichDV

Reduce file names for files, stored in exercise_X/ folders

Besomhead · 2017-12-22T18:07:25Z

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


misspelling;
add <sc_element>-tag to all exercises

Besomhead · 2017-12-22T18:10:29Z

+=>nrel_exercise: 
+ section_subjdomain_actions_and_tasks_exercise_1;; 
+
+section_subjdomain_actions_and_tasks_exercise_1


I think exercise_n also should be at the first place

Besomhead · 2017-12-22T18:21:21Z

+  ...
+  (*
+  -> rrel_example:
+    "file://1.png"  


Why "Действие_2" and "Действие_3" belong to action twice?

Besomhead · 2017-12-22T18:27:41Z

@@ -0,0 +1,41 @@
+section_subjdomain_actions_and_tasks


you should define exercises in .scs-file of corresponding section

Besomhead · 2017-12-22T18:29:47Z

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


misspelling

Besomhead · 2017-12-22T18:48:06Z

+   (* <- lang_ru;; *);;
+  *);;
+ *);;
+


Where's the right answer?

Besomhead · 2017-12-22T18:51:36Z

+  ...
+  (*
+  -> rrel_example:
+    "file://2.png"  


Nodes "Конъюнкция_A_B" and "Нужная_формула" are unnecessary.
A, B, C are atomic logical formulas.
conjunction*, disjunction* are classes of sheaves. You should consider that.

I think, you should also name transient nodes.
conjunction*, disjunction* are classes of sheaves (see comment above).

Besomhead · 2017-12-22T18:55:11Z

+  ...
+  (*
+  -> rrel_example:
+    "file://1.png"  


Nodes "Конъюнкция_A_B", "Нужная_формула", "Конъюнкция_A_R", "Левая_часть_эквиваленции", and "Правая_часть_эквиваленции" are unnecessary.
A, B, C, D, R are atomic logical formulas.
conjunction*, disjunction*, equivalence* are classes of sheaves. You should consider that.

I think, you should also name transient nodes, so it will be easier to understand the right answer.
conjunction*, disjunction*, equivalence* are classes of sheaves. You should consider that (we have example of SCg representation in IMS (compare your representation with the following figure)).

Besomhead · 2017-12-22T19:13:31Z

-rrel_key_sc_element -> (section_composition_of_OSTIS_technology -> technology_OSTIS)
-(*
-
-	=> nrel_key_sc_element_order: (complex_technology_development_of_intelligent_systems -> technology_OSTIS)


Technology OSTIS should stay a key sc-element for section_composition_of_OSTIS_technology but not for complex_technology_development_of_intelligent_systems

Besomhead · 2017-12-22T19:42:10Z

 	[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;


These sections belong to Library not vice versa.

New problems found

Besomhead · 2018-02-28T21:27:36Z

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


Misspelling.

Besomhead · 2018-02-28T21:31:12Z

@@ -0,0 +1,9 @@
+<p>Дана <sc_element sys_idtf = "logical_formula">формула</sc_element> (A->(B->A)). Оперделить, к каким из следующих типов формул она относится: <sc_element sys_idtf = "atomic_logical_formula">атомарная формула</sc_element>, 


Misspelling.

Besomhead · 2018-02-28T21:57:26Z

+  ...
+  (*
+  -> rrel_example:
+    "file://1.png"  


I think, you should also name transient nodes, so it will be easier to understand the right answer.
conjunction*, disjunction*, equivalence* are classes of sheaves. You should consider that (we have example of SCg representation in IMS (compare your representation with the following figure)).

Besomhead · 2018-02-28T22:01:07Z

+  ...
+  (*
+  -> rrel_example:
+    "file://2.png"  


I think, you should also name transient nodes.
conjunction*, disjunction* are classes of sheaves (see comment above).

Besomhead · 2018-02-28T22:01:59Z

+  (*
+  -> rrel_example:
+    "file://3.png"  
+	(* <- lang_ru;; *);;


sc.g-text is not element of Russian texts set.

Besomhead · 2018-02-28T22:07:46Z

+  (*
+  -> rrel_example:
+    "file://3.png"  
+	(* <- lang_ru;; *);;


sc.g-text is not element of Russian texts set.

Besomhead · 2018-02-28T22:07:59Z

+  (*
+  -> rrel_example:
+    "file://2.png"  
+	(* <- lang_ru;; *);;


sc.g-text is not element of Russian texts set.

Besomhead · 2018-02-28T22:08:12Z

+  (*
+  -> rrel_example:
+    "file://1.png"  
+	(* <- lang_ru;; *);;


sc.g-text is not element of Russian texts set.

Besomhead · 2018-02-28T22:16:05Z

+  ...
+  (*
+  -> rrel_example:
+    "file://3.png"  


I think, you should also name the node that represents the considering logical formula.

Besomhead · 2018-02-28T22:18:48Z

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


Misspelling.

Section subjdomain of actions and tasks 2 exercises added, Section su…

dd9307a

…bjdomain of logical formulas and logical ontologies 2 exercises added

deniskoronchik reviewed Dec 18, 2017

View reviewed changes

alresharin added 4 commits December 18, 2017 22:55

Definition files names fixed

d819d45

IMS KB errors fix

5fa0ee6

IMS KB fix 2

944379a

2 exercises added

6c6edce

ShunkevichDV requested changes Dec 19, 2017

View reviewed changes

Files names in exercises directories reduced

5e2809c

ShunkevichDV previously approved these changes Dec 22, 2017

View reviewed changes

Besomhead suggested changes Dec 22, 2017

View reviewed changes

KB, exercices, right answers

e6b7ace

Besomhead suggested changes Feb 28, 2018

View reviewed changes

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

		@@ -0,0 +1 @@
		Дана формула ((A∧B)∨C). Формализуйте формулу, а также определите и изобразите с помощью SCg, какими из следующих свойств она обладает: атомарная формула, неатомарная формула, выполнимая формула, невыполнимая логическая формула, противоречивая формула, общезначимая формула, тавтология, нейтральная логическая формула.

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

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

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

		@@ -0,0 +1,9 @@
		<p>Дана <sc_element sys_idtf = "logical_formula">формула</sc_element> (A->(B->A)). Оперделить, к каким из следующих типов формул она относится: <sc_element sys_idtf = "atomic_logical_formula">атомарная формула</sc_element>,

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

Conversation

alresharin commented Dec 17, 2017

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

ShunkevichDV left a comment

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

4 participants