Previous Entry Share Next Entry
Магия появления моделиста (35) О единице метамоделирования
PUSH
metanymous wrote in metapractice
http://metapractice.livejournal.com/397309.html
Оригинал взят у meta_eugzol в Вкратце о единице мета-моделирования

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

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

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

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

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

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


  • 1

Ресурсы логической игры Кэрролла (1) давно ожидающая своей очереди тема начата
http://metapractice.livejournal.com/399918.html


Ты так и не объяснил тупым обывателем устройство гениального шаблона Кэрролла.

Ну, он просто и подробно у самого К. объяснён и проиллюстрирован. Можно картинки продублировать из книги. А на словах примерно так: рассмотрим некие две категории (в расширенной диаграмме три категории), связь между которыми собственно исследуем. Обозначим их как Х и Y. Эти категории делят мир (всё множество существующих объектов) на четыре части, которые с одной стороны не пересекаются, а с другой стороны любой предмет из "мира" будет относится к одной из четырёх частей.

Эти части это "Х и Y", "Х и не Y", "не X и Y", "не Х и не Y".

Каждой такой части соответствует клетка диаграммы Кэрролла.

Если из суждения получена информация, что в данной части есть (существуют, имеются) предметы, то туда кладётся красная фишка. Если получена информация, что в данной части нет предметов, то кладётся чёрная.

Например, рассмотрим множество автомобилей. Машины могут быть красного цвета (Х) или иного (не Х), и могут быть быстрыми (Y) либо медленными (не Y).

Если далее нам становится известно, что "все красные машины быстрые", мы это разбиваем на следующее утверждения:
- есть машины красные (Х) и одновременно быстрые (Y) - красная фишка в квадрат Х и Y
- нет машин красных (Х) и медленных (не Y) - чёрная фишка в квадрат Х и не Y

Таким образом это утверждение на диаграмме Кэрролла будет обозначено двумя фишками в двух соответствующих клетках.

  • 1
?

Log in

No account? Create an account