if
( отец болен )
then
if (
мальчишка свободен )
then нести еду (отец строг, отец горд).


10 8 . В
пределах инструкции (например , «переместить коляску»
) возможна опред е ленная эстетика
. Речь идет о параметрах, которые не являются ни стимулами, ни корре
к тор а ми.
Возьмем соответствие «экипаж»:

экипаж
коляска лошадь

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


Итак : «переместить черную резиновую коляску гнедой ло
шадью». Что это такое? Эстетический факт. Я считаю это фа
к тами для идиотов.


Математическая мод
ель инструктивного поведения .

1 21 . Особо
е значение отныне будет играть представление о двухэлементном мн
о жестве В и двоичных переменных, принимающих значения
из В. Его элементы часто об о значают 0 и 1. И н
терпритация двоичных переменных логическая: «да» -- «нет», «исти
нно» (И) Ц «ложно». В контексте, содержащем одновременно двоичные и арифм
етические в е личины и инструкции, эта интерпритация об
ычно фиксируется явно: например, в языках программирования вводится спе
циальный тип переменной Ц логическая переменная, зн а
чения которой об о значаются true
и false . Алгебр
а, образованная множеством В вместе со всеми возможными операциями на не
м, называется алгеброй логики . Функцией
алгебры логики от n еременных называе
тся n -арная операция на В. Логических ф
ункций одной п е ременной Ц ч е
тыре:

X f 0
f 1
f 2 f
3
0 0 0 1 1
1 0 1
0 1

Для примера «напечатать документ
на принтере» полная модель инструктивного поведения
выглядит следующим о б разом:

Принтер f
0 f 1
f 2 f
3
Занят не печатать
не печатать печатать печатать
Свободен не печатать печатать не печатать печатать

Инструктивное поведение f
0 таков о , что мы не печатаем докуме
нт, даже если н а личен стимул «при н тер
свободен».
Инструктивное поведение f 1
таков о , что печать осуществляется только в случае, если
принтер своб о ден.
Инструктивное поведение
f 2 таков о , что печать
не осуществляется, если принтер свободен и осуществляются попытки напе
чатать документ, когда принтер занят (напр и мер, режим о
жид а ния или переключения на «одно и то же»). Может показ
аться, что этот процесс абсолютно нерационален, однако это не так. Наприм
ер, речь может идти о тест и ровании инструкции печати пр
и занятом принтере или о попы т ке создать конфликтную с
итуацию с человеком, сейчас использующем принтер.
Инструктивное поведение f
3 таков о , что печать осуществляет
ся если принтер св о боден и предпринимаются попытки к п
ечати через режим повторных запросов или пер е кл
ю чения на «одно и то же» в случае, если принтер занят.


1 22 . Наиболее естес
твенный (простой) тип инструкции наличие двух
переменных. Речь идет об инструктивном поведении
с значащим субъектом.
Возьмем инструкцию «обесточить офисное помещение». Для этого м
не потребуе т ся сотрудник, который будет этим заниматьс
я. Соответствие сотрудник - офисное пом е щение, мотивиров
анное инструкцией «обесточить помещение» я назову «о т
ветственный за противопожа р ную безопасность».

Ответственный за противопожарную безопасность
помещение сотрудник


Укажем стимулы:

Помещение может быть пустым, или н
а работе еще остались сотрудники.
Сотрудник может знать или не знать где выключается свет.

Таким образом имеются логические условия Ц стимулы.

Задам инструктивные поведения :

сотрудник знает 0 1
1
сотрудник не знает 1 0
0
все ушли 0 0 1
не все ушли 0 1 0

Инструктивное поведение
(0100) таков о , что я поручаю обесточить помещение с
о труднику при условии, что он не знает, где выключается свет. Допу
стим, это процесс об у ч е ния.
Инструктивное поведение (1001) таков о , что
я поручаю «обесточить помещение» сотруднику при у с лов
иях, что он знает, где обесточивается свет и именно тогда, когда кто-то еще
находится в пом е щении. Этот процесс возможен например
при возгорании.
Инструктивное поведение
(1010) таков о , что я поручаю обесточить помещение с
о труднику, который знает, где обесточивается помещение и только
в случае, если все с о трудники закончили работу и разошл
ись.

1 23 . Существует абстрактная модель, которую я при
веду только теор е тически.
В этой абстрактной модели существует 16 инструктивных п
оведений 2 переме н ных:

X 1
X 2 f 0
f 1 f 2
f 3 f 4
f 5 f 6
f 7 f 8
f 9
0
0 0 0 0 0 0 0 0 0 1 1
0
1 0 0 0 0 1 1 1 1 0 0
1 0 0 0 1 1 0 0 1 1 0 0

1 1 0 1 0 1 0 1 0 1
0 1

X
1 X 2 f
10 f 11 f
12 f 13 f
14 f 15
0
0 1 1 1 1 1 1
0
1 0 0 1 1 1 1
1 0 1 1 0 0 1 1
1 1 0 1 0 1 0
1

Инструктивное поведение
f 1( x 1,
x 2) называется коньюнкцией
x 1 и x
2 . Он о выпо л няетс
я если х1 и х2 равны 1, это процесс И. Еще одно назва
ние Ц логическое умнож е ние.
Инструктивное поведение
f 7 (х1,х2) называется дизъюнкцией х1 и
х2. Он о выпо л няется, если х1 или
х2 ра в ны 1. Это процесс ИЛИ.
Инструктивное поведение f 6(х1,
х2) это сложение по модулю 2. Он о выполняется, есл
и значения а р гументов различны, и не в
ыполняется, когда они равны. Е го называют нера
внозначн о стью.
Инструктивное поведение f 9(х1,
х2) называется эквивалентностью или равнозна ч ностью.
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