3. 3. Понятие модели для описания ситуаций моделирования у человека.

Теперь попытаюсь охарактеризовать более узкий класс ситуаций моделирования, который может претендовать на роль самого частотного класса ситуаций моделирования. Дело в том, что, когда мы имеем дело с биоинтеллектом или просто с интеллектом, то модели объектов реального мира, которые и сами ему принадлежат, сопоставляются с этими своими объектами не напрямую, а через соответствующие (био)интеллектуальные модели. Т. е. сначала мы строим БИПМ объекта, затем - БИПМ модели, затем устанавливаем соответствие между элементами БИПМ модели и объекта. После этого по свойствам М судим о свойствах О. Итак:

Пусть нам дан некоторый объект произвольной природы О и имеется (био)интеллектуальная параметрическая модель О - БИПМ (О), и пусть нам дан объект М и имеется (био)интеллектуальная параметрическая модель объекта М - БИПМ (М). Если теперь имеется система соответствий С между элементами БИПМ (О) и БИПМ (М) и/или между конструктами, образованными из этих элементов, С(БИПМ (О) <==> БИПМ (М)), такая, что на основании этой системы соответствий наблюдатель Н, решающий проблему Р, по наблюдениям над свойствами М судит о свойствах О, то М называется (био)интеллектуальной моделью О для наблюдателя Н, который изучает М с целью получения информации об О. Схематически ситуацию моделирования можно изобразить следующим образом:

Эта схема охватывает все известные автору типы человеческих моделей, начиная от математических, в которых объектом моделирования служит теория, а моделью - некоторое множество М, и кончая ситуацией моделирования кораблей, самолетов, ракет и т.п. Hаиболее важным этапом моделирования является установление теории соответствий между МПМ (О) и МПМ (М) (ср. теорию аналогий первого и второго рода в электротехнике).

Анализ конкретного примера 7. Попробуем построить биоинтеллектуальную параметрическую модель (так называемых парадигматических /знать что такое "парадигматический" пока не обязательно, нужно просто запомнить термин/) отношений между группой родственников, в которую входят сын, дочь, отец, мать, вуй - дядя по матери - и стрый - дядя по отцу. Имеется в виду моногамная система родства, т. е. такая, при которой в семье бывает только один отец и только одна мать. Опишем отношения КАЖДОГО члена этой группы ко ВСЕМ другим. Описать означаемое знаков можно двумя способами: либо исчерпывающим образом описать их сочетаемость, либо изобрести специальный метаязык описания и воспользоваться им. Выберем последний прием. Пусть наш семантический язык будет состоять из следующих простых слов:

'X связан отношением свойств´а с Y',

'X связан отношением родства с Y',

'X - родственник Y по восходящей линии',

'X - родственник Y по нисходящей линии',

'X - родственник Y в том же поколении ',

'X связан прямым отношением с Y',

'X связан непрямым отношением с Y',

'X - родственник Y',

'X - мужского пола',

'X - женского пола'.

Создать модель отношений в данном случае означает описать означаемые соответствующих терминов родства, составляя из построенной системы предикатов семантические формулы терминов. Составить семантическую формулу для данного слова пока для нас должно значить, что нужно подобрать набор предикатов, необходимых и достаточных для того, чтобы семантическая формула каждого термина родства отличалась от всех остальных. Сложные предикаты, состоящие из более чем одного слова нашего семантического метаязыка, соединяются в формуле союзом  'и', в логической терминологии - конъюнкцией. Это грамматика нашего семантического языка. Пример семантической формулы: 'X - родственник Y по нисходящей линии '  'X - мужского пола'. Как Вы уже, наверное, заметили, одного и того же члена этой семьи можно определить по-разному, в зависимости от того, родство его с каким из остальных членов данной семьи мы моделируем. То есть, одному и тому же объекту может быть поставлено в соответствие несколько разных номинаций (а, следовательно, и семантических формул) в зависимости от того, по отношению к кому строится модель.

Относительно детей 'X мать Y' = 'X связан прямым отношением с Y'  'X - родственник по восходящей линии для Y'  'X - женщина', т. е. 'X является прямым родственником женского пола по восходящей линии для Y' , относительно вуя тот же человек должен получить другую семантическую формулу, а следовательно, и другой термин родства: 'X сестра Y' = 'X связан прямым отношением с Y'  'X - родственник Y в том же поколении'  'X - женщина' - т. е. 'прямой родственник женского пола в том же поколении', по отношению к отцу тот же человек должен быть описан другим набором предикатов (слов семантического метаязыка): 'X жена Y' = 'X связан отношением свойства с Y'  'X связан прямым отношением с Y'  'X - женщина', т. е. 'Х является прямым свойственником женского пола для Y'. Далее по аналогии с описанным выше Вы без труда сможете построить семантические формулы остальных терминов родства, укажем лишь их неформальные определения. Со стрыем мать связана отношением непрямого свойства (родственник женского пола в том же поколении, связанный отношением непрямого свойства). Отец относительно детей - прямой родственник мужского пола по восходящей линии, отношение его к стрыю и вую с поправкой на пол аналогично отношению матери к вую и стрыю, отношения отца и матери симметричны (с поправкой на пол). Дети родителям - прямые родственники по нисходящей линии, вую и стрыю они непрямые родственники по нисходящей линии.