[userpic]

Интерфейсы аптайм содержат готовые ответы 

metanymous в посте Metapractice (оригинал в ЖЖ)


--третий тип записей, который я называю "коммуникативным интерфейсом" для реализации навыков логики счисления предикатов в текущей коммуникации (типа КИЛС).
--Т.е на этом интерфейсе находятся не условия, а уже ОТВЕТ.

Так точно! Этот интерфейс пригоден для получения неких "подсказок" прямо по ходу коммуникации.
И сложность создавать, нанося на него условия, и по окончанию этого процесса ОТВЕТ получается "сам собой". Так?
А если на интерфейсе надо "прокручивать" как бы несколько кадров/последовательностей работы с "условиями", то он этим становится не интерфейсом аптайм, а интерфейсом даунтам - интерфейсом для погружения в мысли и некоего обдумывания.
Аптайм не запрещает обдумывания, но оно требует реализации обдумывания во "внешнем" контексте, а не в погружении во внутреннее обдумывание.

1 комментарий

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