September 29th, 2013

поиск

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

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

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) (вынесли предикаты «поздно», «спать», «не выспавшийся» в отдельный блок, также как и предикаты времени)

Collapse )