[userpic]

... 

ailev в посте Openmeta (оригинал в ЖЖ)

Правильно ли я понимаю. Если мы начинаем использовать онтологический подход, то в итоге нам придется создать (описать) Онтологию "ментального мира" (процессов) человека. И какую-то часть значимого "внешнего мира". Ну, по-крайней мере социального окружения. По-крайней мере часть социального окружения, являющуюся коммуникацией.
Да. (и опускаю многочисленные философские комментарии ;)
Если так - хорошо - это будет основным условием неограниченности развития кода.
И тогда становиться крайне важно выбрать правильное начало, центр.

Условием неограниченности развития кода служит следование хорошей модели нашего "длинного моделирования". Я предложил бы брать в качестве такой модели The Accretion Model of Theory Formation (Douglas Lenat):
1. Given some new (not fully explored) definitions, objects, operations, rules, etc., immediately gather empirical data about them: find examples of them, try to apply them, etc.
2. As this progresses, try to notice regularities, patterns, and exceptions to patterns, in the data.
3. From these observations, form new hypotheses and modify old ones. In a world over which you have some control, design and carry out experiments to test these hypotheses.
4. As a body of conjectures develops, economize by making new definitions that shorten the statement of the most useful conjectures. The entire cyclic process now typically begins anew at step 1, given these new definitions as grist.
5. As the above loop (steps 1-4) proceeds, it will become necessary from time to time to abstract some new specific heuristics, by compiling the learner's hindsight.
6. On even more rare occasions, it will become necessary to augment or shift the representation in which the domain knowledge is encoded.
7. For all steps in this model, even steps 5, 6, and 7, it suffices to collect and use a body of heuristics, informal judgmental rules which guide the explorer toward the most plausible alternatives and away from the most implausible ones.
Сюда входит несколько уровней meta, которые и обеспечивают бесконечность развития ;)
Онтология тут не является догматом. Начальные (и любые) ее понятия могут переуточняться и изменяться, компактифицироваться и т.д. Примером работы по "перепаковке" онтологии (только без произнесения этого слова) является как раз Как сделать модель полезной пользователю
Как назовешь, то и получишь в сознании.
Да, этого нет у Лената, но для нас важно.
Индикаторы состояния обозначают процесс "с той стороны", изнутри.
Ключи доступа - активный процесс подключения к состоянию. Более коряво, но точнее.
Нам ведь надо управлять состоянием.

Я это понимал, когда писал. Сейчас еще более точно понимаю, что ключевой тут является метафора речи: звуки речи существуют сразу для Боба и Алисы. Они исходят от Алисы и влияют на Боба -- это команды Алисы по изменению состояния Боба. С другой стороны, это Индикаторы, по которым Боб понимает речь Алисы. То есть вполне можно придумать Имя, которое должно отражать этот двойственный характер индикатора-эффектора.
Еще я хотел бы при этом избавиться от подразумеваемой модальности.
Для языка это поток слов -- "речь". Для языкоида -- это поток предъявлений знаков этого языкоида. Речь слышат и произносят. Жесты (и речь "по губам") -- "читают" (видео!) и делают. А нам нужны нейтральные (дигитальные?) слова-аналоги "речи" и глаголы для указания направления: "чтение" этой "речи" или ее "произнесение".
Наиболее близко -- это "сигналы".
Алиса жестами сигнализирует Бобу о своем нетерпении, а Боб воспринимает эти сигналы, сигнализируя тяжелым вздохом Алисе свое состояние. Внимание Алисы сосредотачивается на дыхательных языкоидах, и она решает дополнительно сообщить Бобу, что она уж совсем потеряла терпение -- для этого она выдает серию сигналов дыхательного языкоида (а именно -- делает акцентированных быстрых два-три вдоха. Боб понимает, что Алиса имеет так много чего ему сказать, что одна мысль перебивает у нее другую. Еще один тяжелый вздох Боба становится сигналом Алисе (так его воспринимает Алиса, а не так его передает Боб ;), что выбор дыхательного языкоида для метакоммуникации (коммуникации по поводу коммуникации) был правильным...

7 комментариев

сначала старые сначала новые