Цитата |
---|
Техник пишет: Эволюционная кибернетика. Тезисы курса лекций.(д. ф.-м. н. В.Г. Редько) Лекция 9. NK-автоматы С. Кауффмана |
(оригинал статьи SCIENTIFIC AMERICAN, №8, 1991)
Помимо общих вопросов есть более конкретные:
- Почему признается только двоичная логика? Кауфман объясняет это упрощение свойствами работы генов - ген либо включен, либо нет. Но мне это кажется просто упрощением. В реальности всегда сложнее. Если представить большее число состояний, то и выводы могут быть другими.
- Почему-то говорят только о булевых функциях OR и AND. Хотя еще есть not и XOR.
А вообще, двухместных функций шестнадцать. Если же мы рассматриваем случай когда все элементы связаны со всеми, например 10 элементов, то надо рассматривать и 10-местные функции.
Может это и не важно. Потому что, в любом случае, число состояний автомата не больше 2^N. Но тогда и большая связность не так уж значима, всё равно это число связности не влияет на число состояний 2^N.
Тогда и появляется вопрос, а что там называется порядком?
Там есть фраза: "Поскольку случайная сеть K=N обладает максимально хаотическим повелением, состояние, следующее за данным, или состояние-последователь, является результатом совершенно случайного выбора. Поведение сети хаотично."
Во-первых, в самом начале сеть K=N названа случайной, а в конце это представляется, как вывод: "Поведение сети хаотично". Это вообще-то некорректно.
Уж не говоря о том, что основное положение: "состояние, следующее за данным, или состояние-последователь, является результатом совершенно случайного выбора." неверно.
В любом конкретном автомате каждое следующее состояние однозначно зависит от предыдущего. Т.е. если после состояния А последовало состояние В, то и всегда после состояния А последует В.
Я говорил, что надо практически заниматься вопросом, чтобы ясно понимать о чём, собственно, говорится. Мы только примерно в быту представляем, что такое порядок. В контексте клеточных автоматов это непонятно что.
Где больше порядка: в длинном аттракторе или коротком?
Вроде, нас всё время подталкивают к мнению, что короткий порядочнее - большая определённость в каком состоянии будет находится автомат в конце концов.
Тогда вопрос, что порядочнее: один длинный или два коротких?
Наконец, мы полагаем, почему-то, что все элементы не имеют памяти. И состояния элемента однозначно зависит только от входов. Но, если в реальности элементы обладают памятью, то все выводы никуда не годятся.