10 форм для КИСПа? ↑

bavi 03 декабря 2013, 06:07 в посте Metapractice (оригинал в ЖЖ)

Так вот, для применения в реальной коммуникации рабочим интерфейсом для выполнения мета-моделирования является линейный СПИСОК В ПОЛТОРА ДЕСЯТКА ПУНКТОВ ! Т.е. вполне обозримая одним взглядом вещь!

---

Сейчас, как промежуточный этап, БЕЗ погружения во всякие индексные записи и т.д

---

По стандартной схеме силлогизма

---

получается всего 12 правил как форм мета-модели.

---

Какие это формы КИСПа (если я правильно уловил связь)

---

1. M(1) - M(1)

---

2. M(1) - M(1)

---

3. M(1) - M(2)

---

4. M(1) - M'(2)

---

5. M(2) - M'(2)

---

6. M'(2) - M1

---

7. M(2) - M0

---

8. M'(1) - M'0

---

9. M'(1) - M0

---

10. M1 - M0

---

11. M0 - M'0

---

12. M(1) - M1

---

...

---

в которых выделен принцип сохраняющийся при синхронной смене знака.