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