--третий тип записей, который я называю "коммуникативным интерфейсом" для реализации навыков логики счисления предикатов в текущей коммуникации (типа КИЛС). --Т.е на этом интерфейсе находятся не условия, а уже ОТВЕТ.
Так точно! Этот интерфейс пригоден для получения неких "подсказок" прямо по ходу коммуникации.
И сложность создавать, нанося на него условия, и по окончанию этого процесса ОТВЕТ получается "сам собой". Так?
А если на интерфейсе надо "прокручивать" как бы несколько кадров/последовательностей работы с "условиями", то он этим становится не интерфейсом аптайм, а интерфейсом даунтам - интерфейсом для погружения в мысли и некоего обдумывания.
Аптайм не запрещает обдумывания, но оно требует реализации обдумывания во "внешнем" контексте, а не в погружении во внутреннее обдумывание.
Аптайм не запрещает обдумывания, но оно требует реализации обдумывания во "внешнем" контексте, а не в погружении во внутреннее обдумывание.
На некоторое время забыл эту тему и вот после прочтения этой мысли, пришло на ум вот, что:
- задача что-то сделать с минусом/переворачиваем знака (что есть даунтайм), но мне кажется он присутствует уже и ничего переворачивать не надо, только прописать/найти новую закономерность.
О чем я говорю. Например, у нас есть условие: Все Х есть M Все M есть Y Ответ здесь уже записан XY
Далее: Все Х есть M' Все M есть Y Ответ здесь X'Y. Получается он уже присутствует в самой записи, когда мы убираем М, то остается в верхней строке X', а в нижней просто Y
(Здесь есть еще разборка с кванторами, но это потом)
Как-то так. Эта мысль пришла сразу как прочитал ответ. Записал. Не проверял на большом массиве условий. Вопрос заключается, точно ли я уловил условия создания интерфейса?
Вторая идея. Можно внешние рассуждения/переворачивания вести через вопросы по ходу коммуникации.