Скачать 164.78 Кбайт
К онтологии сознания через рефлексию
При этом набор 2 исключается из рассмотрения, т.к. он содержит элемент 5/1 (см. тактику расщепления). Программа последовательно порождает следующие наборы:
#9 [2/2 5/2] (1/0) из наборов 3, 6
#10 [2/2 3/2] (1/0) из наборов 3, 5
#11 [3/2 4/1] (1/0 2/0) из наборов 1, 10
#12 [4/1 5/2] (1/0 2/0) из наборов 1, 9
#13 [3/1 4/1] (2/0) из наборов 1, 4
#14 [1/1 4/1] (2/0) из наборов 1, 3
#15 [4/1] (1/0 2/0 3/0) из наборов 13, 11
--- Набор 14 was skipped by 15
--- Набор 13 was skipped by 15
--- Набор 12 was skipped by 15
--- Набор 11 was skipped by 15
--- Набор 1 was skipped by 15
После построенного набора указывается, из каких наборов он был построен.
Получив набор 15, имеющий размер 1, мы можем, на основании леммы о поднаборности, исключить из базы наборов исходный набор 1 и полученные в результате работы алгоритма наборы 11, 12, 13, 14. Тем самым наша база принимает следующий вид:
#2 [2/1 5/1] ( )
#3 [1/1 2/2] ( )
#4 [2/2 3/1] ( )
#5 [1/2 3/2] ( )
#6 [1/2 5/2] ( )
#7 [3/2 4/2] ( )
#8 [4/2 5/2] ( )
#9 [2/2 5/2] (1/0)
#10 [2/2 3/2] (1/0)
#15 [4/1] (1/0 2/0 3/0)
«Прополов» базу наборов, продолжим работу алгоритма:
#17 [2/2] (1/0 3/0) из наборов 4, 10
--- Набор 10 was skipped by 17
--- Набор 9 was skipped by 17
--- Набор 4 was skipped by 17
--- Набор 3 was skipped by 17
Получив набор 17, мы можем снова, на основании леммы о поднаборности, провести «прополку» базы наборов и исключить из нее исходные наборы 3,4 и полученные в результате работы алгоритма наборы 9, 10.
#20 [5/2] (1/0 2/0 3/0 4/0) из наборов 15, 8
--- Набор 8 was skipped by 20
--- Набор 6 was skipped by 20
Получив набор 20 исключаем из базы наборов исходные наборы 6, 8.
Итак, получен искомый набор — набор 20. Он имеет тело, состоящее только из элемента 5/2. В этот момент в базе присутствуют наборы:
#2 [ 2/1 5/1 ] ( )
#5 [ 1/2 3/2 ] ( )
#7 [ 3/2 4/2 ] ( )
#15 [ 4/1 ] ( 1/0 2/0 3/0 )
#17 [ 2/2 ] ( 1/0 3/0 )
#20 [ 5/2 ] ( 1/0 2/0 3/0 4/0 ) из наборов 15, 8
Теперь приступим к поиску набора [5/1] (...), поскольку получив этот набор мы можем «склеивая» его с уже полученным набором 20, получить пустой набор. Отметим, что в рамках тактики расщепления, при построении набора [5/1] (...) мы исключаем из нашего рассмотрения набор 20, т.к. он содержит элемент 5/2. Набор [5/1] (...) может быть построен за один шаг из наборов 2, 17:
#22 [ 5/1 ] ( 1/0 2/0 3/0 ) из наборов 2, 17
--- Набор 2 was skipped by 22 (исключаем из базы исходный набор 2).
Итак, набор [5/1] построен. Это означает, что формула общезначима. Далее алгоритм печатает дерево наборов, приведшее к успеху, по которому может быть восстановлено секвенциальное дерево:
#22 [5/1] (1/0 2/0 3/0) из наборов 2, 17
#2 [2/1 5/1] ( )
#17 [2/2] (1/0 3/0) из наборов 4, 10
#4 [2/2 3/1] ( )
#10 [2/2 3/2] (1/0) из наборов 3, 5
#3 [1/1 2/2] ( )
#5 [1/2 3/2] ( )
#20 [5/2] (1/0 2/0 3/0 4/0) из наборов 15, 8
#15 [4/1] (1/0 2/0 3/0) из наборов 13, 11
#13 [3/1 4/1] (2/0) из наборов 1, 4
#1 [2/1 4/1] ( )
#4 [2/2 3/1] ( )
#11 [3/2 4/1] (1/0 2/0) из наборов 1, 10
#1 [2/1 4/1] ( )
#10 [2/2 3/2 ] (1/0) из наборов 3, 5
#3 [1/1 2/2] ( )
#5 [1/2 3/2] ( )
#8 [4/2 5/2] ( )
#17 [2/2] (1/0 3/0) из наборов 4, 10
#4 [2/2 3/1] ( )
#10 [2/2 3/2] (1/0) из наборов 3, 5
#3 [1/1 2/2] ( )
#5 [1/2 3/2] ( )
#15 [4/1] (1/0 2/0 3/0) из наборов 13, 11
#13 [3/1 4/1] (2/0) из наборов 1, 4
#1 [2/1 4/1] ( )
#4 [2/2 3/1] ( )
#11 [3/2 4/1] (1/0 2/0) из наборов 1, 10
#1 [2/1 4/1] ( )
#10 [2/2 3/2] (1/0) из наборов 3, 5
В заключении сформулируем еще одну тактику ограничения числа участвующих в выводе наборов. Она состоит в следующем. Пусть набор, помимо элементов и зависимости, характеризуется еще одним числом – поколением. Все замкнутые наборы являются наборами нулевого поколения, все наборы, построенные из них – наборы первого поколения, и т.д. Сначала мы строим наборы первого поколения – при этом нет никаких сложностей. Когда все такие наборы построены, переходим к наборам второго поколения. При этом надо придерживаться следующих ограничений:
· Хотя бы один из отобранных наборов должен быть из первого поколения;
· Ни один из наборов не может быть из второго поколения.
#9 [2/2 5/2] (1/0) из наборов 3, 6
#10 [2/2 3/2] (1/0) из наборов 3, 5
#11 [3/2 4/1] (1/0 2/0) из наборов 1, 10
#12 [4/1 5/2] (1/0 2/0) из наборов 1, 9
#13 [3/1 4/1] (2/0) из наборов 1, 4
#14 [1/1 4/1] (2/0) из наборов 1, 3
#15 [4/1] (1/0 2/0 3/0) из наборов 13, 11
--- Набор 14 was skipped by 15
--- Набор 13 was skipped by 15
--- Набор 12 was skipped by 15
--- Набор 11 was skipped by 15
--- Набор 1 was skipped by 15
После построенного набора указывается, из каких наборов он был построен.
Получив набор 15, имеющий размер 1, мы можем, на основании леммы о поднаборности, исключить из базы наборов исходный набор 1 и полученные в результате работы алгоритма наборы 11, 12, 13, 14. Тем самым наша база принимает следующий вид:
#2 [2/1 5/1] ( )
#3 [1/1 2/2] ( )
#4 [2/2 3/1] ( )
#5 [1/2 3/2] ( )
#6 [1/2 5/2] ( )
#7 [3/2 4/2] ( )
#8 [4/2 5/2] ( )
#9 [2/2 5/2] (1/0)
#10 [2/2 3/2] (1/0)
#15 [4/1] (1/0 2/0 3/0)
«Прополов» базу наборов, продолжим работу алгоритма:
#17 [2/2] (1/0 3/0) из наборов 4, 10
--- Набор 10 was skipped by 17
--- Набор 9 was skipped by 17
--- Набор 4 was skipped by 17
--- Набор 3 was skipped by 17
Получив набор 17, мы можем снова, на основании леммы о поднаборности, провести «прополку» базы наборов и исключить из нее исходные наборы 3,4 и полученные в результате работы алгоритма наборы 9, 10.
#20 [5/2] (1/0 2/0 3/0 4/0) из наборов 15, 8
--- Набор 8 was skipped by 20
--- Набор 6 was skipped by 20
Получив набор 20 исключаем из базы наборов исходные наборы 6, 8.
Итак, получен искомый набор — набор 20. Он имеет тело, состоящее только из элемента 5/2. В этот момент в базе присутствуют наборы:
#2 [ 2/1 5/1 ] ( )
#5 [ 1/2 3/2 ] ( )
#7 [ 3/2 4/2 ] ( )
#15 [ 4/1 ] ( 1/0 2/0 3/0 )
#17 [ 2/2 ] ( 1/0 3/0 )
#20 [ 5/2 ] ( 1/0 2/0 3/0 4/0 ) из наборов 15, 8
Теперь приступим к поиску набора [5/1] (...), поскольку получив этот набор мы можем «склеивая» его с уже полученным набором 20, получить пустой набор. Отметим, что в рамках тактики расщепления, при построении набора [5/1] (...) мы исключаем из нашего рассмотрения набор 20, т.к. он содержит элемент 5/2. Набор [5/1] (...) может быть построен за один шаг из наборов 2, 17:
#22 [ 5/1 ] ( 1/0 2/0 3/0 ) из наборов 2, 17
--- Набор 2 was skipped by 22 (исключаем из базы исходный набор 2).
Итак, набор [5/1] построен. Это означает, что формула общезначима. Далее алгоритм печатает дерево наборов, приведшее к успеху, по которому может быть восстановлено секвенциальное дерево:
#22 [5/1] (1/0 2/0 3/0) из наборов 2, 17
#2 [2/1 5/1] ( )
#17 [2/2] (1/0 3/0) из наборов 4, 10
#4 [2/2 3/1] ( )
#10 [2/2 3/2] (1/0) из наборов 3, 5
#3 [1/1 2/2] ( )
#5 [1/2 3/2] ( )
#20 [5/2] (1/0 2/0 3/0 4/0) из наборов 15, 8
#15 [4/1] (1/0 2/0 3/0) из наборов 13, 11
#13 [3/1 4/1] (2/0) из наборов 1, 4
#1 [2/1 4/1] ( )
#4 [2/2 3/1] ( )
#11 [3/2 4/1] (1/0 2/0) из наборов 1, 10
#1 [2/1 4/1] ( )
#10 [2/2 3/2 ] (1/0) из наборов 3, 5
#3 [1/1 2/2] ( )
#5 [1/2 3/2] ( )
#8 [4/2 5/2] ( )
#17 [2/2] (1/0 3/0) из наборов 4, 10
#4 [2/2 3/1] ( )
#10 [2/2 3/2] (1/0) из наборов 3, 5
#3 [1/1 2/2] ( )
#5 [1/2 3/2] ( )
#15 [4/1] (1/0 2/0 3/0) из наборов 13, 11
#13 [3/1 4/1] (2/0) из наборов 1, 4
#1 [2/1 4/1] ( )
#4 [2/2 3/1] ( )
#11 [3/2 4/1] (1/0 2/0) из наборов 1, 10
#1 [2/1 4/1] ( )
#10 [2/2 3/2] (1/0) из наборов 3, 5
В заключении сформулируем еще одну тактику ограничения числа участвующих в выводе наборов. Она состоит в следующем. Пусть набор, помимо элементов и зависимости, характеризуется еще одним числом – поколением. Все замкнутые наборы являются наборами нулевого поколения, все наборы, построенные из них – наборы первого поколения, и т.д. Сначала мы строим наборы первого поколения – при этом нет никаких сложностей. Когда все такие наборы построены, переходим к наборам второго поколения. При этом надо придерживаться следующих ограничений:
· Хотя бы один из отобранных наборов должен быть из первого поколения;
· Ни один из наборов не может быть из второго поколения.
Страницы:
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
|
|