поиск

Вкратце о единце метамоделирования

Рассмотрим высказывания следующего толка:

x M y ( (r1 P1 r2) C1 (r3 P2 r4) C2 ...), где
M - ментальный предикат;
x, y - референты ментального предиката (может быть один);
r1, r1, ... - референты;
P1, P2, ... - предикаты;
C1, C2, ... - причинно-следственная связка;

Рассмотрим фразу:

«Я с утра встаю не выспавшийся»

Сходства с приведённой выше формой она не имеет никакого. Попробуем преобразовать:

«Я знаю, что я с утра встаю не выспавшийся» (добавили ментальный предикат)
«Я знаю, что когда я поздно ложусь спать, я с утра встаю не выспавшийся» (добавили причинную часть и связку)

«Я знаю, что:
- когда я ложусь в кровать (1)
- когда поздно (2)
- то я сплю (3)
- то я встаю (4)
- то утро (5)
- то я не выспавшийся» (6) (вынесли предикаты «поздно», «спать», «не выспавшийся» в отдельный блок, также как и предикаты времени)

Дальше удобно метамоделировать:
(1) Шесть вариантов реализации глагола "знать" (по одному на каждый из блоков в предыдущем варианте).
(2) Метамоделирование по четырём квадрантам каждой из пятнадцати двойных связок:
- когда я ложусь, то поздно
- когда я ложусь, то сплю
- ...
- когда я ложусь, то не выспавшийся
- ...
- когда я встаю, то утро
- когда я встаю, то не выспавшийся
- когда утро, то не я выспавшийся
(3) Альтернативно (в качестве бонуса) метамоделирование по девяти квадрантам шести тройных связок

carrol

(До гениальности удобный шаблон для такого дела предложен Л.Кэрролом в книге «Логическая игра»)

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

До тех пор, пока логика всё ещё не чёткая, исследователю следует (например, используя метамодель), пользуясь неким заранее выбранным алгоритмом (список, конечно, не мой, а известно кем придуманный):
— уничтожать обобщения
— разделять отдельные обобщения на несколько других
— сливать несколько одних обобщений в некоторое другое
— создавать обобщения

Известно кто не приложил к метамодели полную инструкцию по выполнению этих четырёх операций и точное описание того самого заранее выбранного алгоритма, поэтому продолжаем разбираться сами.