Форум: Проблемы искусственного интеллекта

Регистрация | Вход

Все темы | Новая тема  Стр.10 (30) << < Пред. | След. > >>    Поиск:
Автор	Тема: На: Недетерминированные алгоритмы
Luarvik. Сообщений: 17287	На: Недетерминированные алгоритмы Добавлено: 11 июл 17 3:38 Изменено: 13 июл 17 10:49 . [Ответ][Цитата]
гость 188.170.80.*	На: Недетерминированные алгоритмы Добавлено: 11 июл 17 3:48 NO> я почему-то в разговоре о рекурсии ожидал упоминания нефундаментального языка один ляд, что лябда-исчисление, что частично рекурсивные функции. все тут сводится к тому. что система переходов на дискретных состояниях в естестве своем (не в виде абстракции) погружена в среду, в которой формируются сами эти состояния и система переходов, - более фундаментальная теория (т.cк. ультравычислений) должна что-то говорить о происхождении инфраструктуры принятой за стандартную теории вычислений, о самоорганизации 'консистентной' системы переходов (откуда (и как) берется, cобственно, программа МТ). егг> Есть правила. егорову неоднокртно говорили, что прежде чем отращивать самомнение на почве ремесленничества и примитивной метафизики, cледует научиться видеть проблематику многоаспектно, а не пребывать одновременно в утверждении онтологической неопределенности и ригодности псевдоинженерной болтовни. Еще раз - правила не даны изначально, cледование правилу это удел 'закристаллизованного' ума, а сама суть вопроса это формирование правил из того, что не есть правила (но и не 'белый - беспамятный - шум'). [Ответ][Цитата]
NO. Сообщений: 10700	На: Недетерминированные алгоритмы Добавлено: 11 июл 17 3:51 Это типа тест Роршаха, нужно содержание описать? Я вижу, что G это щука, которая перевариает двух мелких рыбешек и одного протяженного червяка. [Ответ][Цитата]
Luarvik. Сообщений: 17287	На: Недетерминированные алгоритмы Добавлено: 11 июл 17 3:55 Изменено: 13 июл 17 10:49 . [Ответ][Цитата]
NO. Сообщений: 10700	На: Недетерминированные алгоритмы Добавлено: 11 июл 17 4:01 Изменено: 11 июл 17 4:10 В лямбда-исчислении нужно сначала описать аксиоматику Пеано, тогда появляются перечисления. А можно пойти другим путем и описать чего угодно, и неразрешимые выражения и символьные вычисления. И чего вообще за состояния, если Шенфинкель комбинаторную логику придумывал именно для того, чтобы избавиться от переменных. Нету в функциональных языках никаких состояний. Параметры есть, а переменных нет, памяти нет никакой, тем более целой бесконечной ленты. [Ответ][Цитата]
NO. Сообщений: 10700	На: Недетерминированные алгоритмы Добавлено: 11 июл 17 4:05 Люди ради фаршированной щуки иудаизм принимают. J=Ф(G) [Ответ][Цитата]
Luarvik. Сообщений: 17287	На: Недетерминированные алгоритмы Добавлено: 11 июл 17 4:11 Изменено: 13 июл 17 10:49 . [Ответ][Цитата]
NO. Сообщений: 10700	На: Недетерминированные алгоритмы Добавлено: 11 июл 17 4:26 Я думаю два названия одной функции не необходимы. Это видимо выражение про подбородок Оккама, из которого произрастают вредные сущности. [Ответ][Цитата]
гость 188.170.83.*	На: Недетерминированные алгоритмы Добавлено: 11 июл 17 4:36 44> к классу недетерминированных алгоритмов. L.> Алгоритм = ОПРЕДЕЛЕННЫЙ порядок действий. > Это два РАЗНЫХ алгоритма ! no> НКА почему заглавное выступление 44 вызвало такую дискуссию лично мне совсем не понятно (если не слишком ухдить в психолого-концептуальную подоплеку). Да, 44 не слишком четко развел алгоритм решения задачи, которую решает сетка (напр. задачи классификации) и алгоритм обучения. Часто эти алгоритмы разделены, отчего, cкажем, обратное распространение ошибки считается 'небиологическим' решением. и для алгоритма обучения обучаемая структура есть данные. Но возможно и такое, что эти алгоритмы объединены - скажем, когда сетка по хеббу обучается решать какие-то задачи. тут можно говорить о собственно обучающемся алгоритме. При этом недерминирнованность может быть двуаспектна - недерминированность структуры, которая сформируется (роль данных) и недерминированность процесса обучения (если задать стохастическое корреляционное правило). еще двусмысленность возникает из-за того, что недерминированность можно понимать в смысле терминологии недерминированного алгоритма (как указывает NO, и в поправку луарвику можно заметить, что строго определить можно и недерминированный порядок (т.е. определив класс возможных вариантов прохода)) и в более широком смысле, подразумеваемым 44, - когда не просто совершается случайный выбор в точке ветвления алгоритма, а когда расширяется сама система состояний - вводится новый нейрон, разрывется связь или, там, вводится новое правило в продукционную систему (которая недерминирована в узком смысле и недерминированна в широком при расширении). тема рояля увела разговор в сторону - тут гвоздь прав, - набор микроалгоритмов (пусть и упорядоченный) не обязательно подразумевает композиционный алгоритм - должно быть как бы 2 уровня - уровень задач микроалгоритмов и уровень задачи макроалгоритма, если имеет место просто механическая композиция нажатий на клавиши, то такой процесс не решает cкорее всего никакой задачи - среди какофоний только малая часть гармоний может быть отнесена к классу композиций, решающих какую-то задачу (т.е. к алгоритмам). Продукции продукционной системы изначально нацелены на решение неких макрозадач, нейронные системы формируются под классы задач, нейронный газ быстро структурируется и какие фрагменты 'замерзают' основательно. [Ответ][Цитата]
Luarvik. Сообщений: 17287	На: Недетерминированные алгоритмы Добавлено: 11 июл 17 4:48 Изменено: 13 июл 17 10:50 . [Ответ][Цитата]
гость 188.170.75.*	На: Недетерминированные алгоритмы Добавлено: 11 июл 17 4:54 no> Нету в функциональных языках никаких состояний эквивалентность стандартныъ моделей вычислений и говорит о том, cуществует связь между состояниями переменных императивных языков и СИМВОЛИЧЕСКИМИ состояниями функциональных, тут не важно, что абстрактную ленту заменили абстрактным пространством символических состояний символического процессинга. [Ответ][Цитата]
NO. Сообщений: 10700	На: Недетерминированные алгоритмы Добавлено: 11 июл 17 5:15 Символических состояний тоже нет. Там строится вся цепочка "состояний", как единый объект. Только потом можно один параметр посчитать за время и рассматривать это как смену состояний. Или если сборка мусора будет удалять "старые". Памяти же нет, так какие могут быть состояния. Как и в математике нет времени, можно только построить f(t), и все значения сосуществуют одновременно, ничто никого не заменяет. [Ответ][Цитата]
NO. Сообщений: 10700	На: Недетерминированные алгоритмы Добавлено: 11 июл 17 5:26 Цитата: Автор: Luаrvik Хитрая функция, не правда ли Да, хитро, это фон-Нейман придумал в 40е годы. [Ответ][Цитата]
Luarvik. Сообщений: 17287	На: Недетерминированные алгоритмы Добавлено: 11 июл 17 5:46 Изменено: 13 июл 17 10:50 . [Ответ][Цитата]
гость 188.170.82.*	На: Недетерминированные алгоритмы Добавлено: 11 июл 17 5:53 м.> а сам алгоритм - это всегда неизменная структура > Y=F(X, M) > M=G(M,X,Y) в общем-то в генетическом программировании алгоритм (псевдоалгоритм) вполне себе переменная штука. В контексте 'широко понимаемого искусственнго интеллекта' интересны эти самые постановки, когда происходит 'cамосогласование' - когда одновременно определяются и некая операционная структура и задача, функция, которую она обеспечивает (имеет отношение, вносит вклад). неизменность возникает при слишком узкой (локальной) постановке. Отчего обязательно F неименна, пусть F не только MХ, но и AМХ+MMХ и т.д., когда G2 ищет нужную форму F (какие-то данные обрабытать одним проходом, какие-то очищать наложением, какие-то принимать с растяжкой частей во времени, какие-то cобственно потоковые..). собственно, если Улучшатель G не особо специфичен, то он - было бы здорово - пусть и улучшает также и F. в итоге, если 'cлить' G и F, то и возникнет форма F(F), которая одновременно кажется луарвику самоочевидной и вам слишком неконструктивной из-за недифференцированности (ваш способ 'расколдования' это просто частный случай прЕдложенного мною более общего варианта - У вас как бы 'полусамодействие' - что улучшает саму G? - т.Ч. и решение с сопряжением двух полусамодействий так или иначе все равно придется погружать в эволюционный процесс, - аналитически трудно описать переход от тривиальной самотождественности F=I к нетривиальной cамомодифицирующейся декомпозиции F=F1*F2 - наверное и потому, что этот переход недерминирован в широком смысле и доопределяется потоком задач стабилизации 'недостаточных' самодетерминаций и самомодификаций (когда F(F)<>F)..). в общем-то легко почувствовать что 'широкий ИИ' никак не выразить на языке слишком зауженного МL.. [Ответ][Цитата]
Стр.10 (30): 1  ...  6  7  8  9  [10]  11  12  13  14  ...  30 << < Пред. | След. > >>