Нужен ли генетический алгоритм?

Тема в разделе "Машинное отделение", создана пользователем NO, 1 май 2006.

  1. dan77790
    Оффлайн

    dan77790 Учаcтник

    Репутация:
    0
    А сознание может быть у компьютера?
    Или сознание - тоже миф?
     
  2. Chemer
    Оффлайн

    Chemer Максим

    Репутация:
    0
    Содержательная тема! :lol:
     
  3. WildCat
    Оффлайн

    WildCat Коршунов Игорь Команда форума

    Репутация:
    0
    Миф получается из-за того, что каждый описывает эту реальность как ему вздумается. А за частую и вовсе оторвано от какой-либо реальности.
     
  4. WildCat
    Оффлайн

    WildCat Коршунов Игорь Команда форума

    Репутация:
    0
    Сознание - это побочный эффект. Не факт, что он будет у компьютера, но и отрицать заранее нельзя. :lol:

    Делу время, потехе час! :)
     
  5. dan77790
    Оффлайн

    dan77790 Учаcтник

    Репутация:
    0
    WildCat

    Эдак и интеллект - тоже побочный продукт.... калоизвержения например)
    Все зависит от точки зрения.....

    А вот интересно, если пустить всю энергию, содержащуюся, допустим, в 1 тонне чугуна на вычисления шахматные, можно шахматы до конца дощщитать?)
    Ведь по формуле Е-МС квадрат там дофига энергии получается....
    Кто нить интересовался этой темой?
    То есть тем, как вычисления связаны с энергией.
    Физикой вычислений. Не чисто математика и программный аспект, а физика)
     
  6. dan77790
    Оффлайн

    dan77790 Учаcтник

    Репутация:
    0
    Chemer

    Сарказм?)
     
  7. WildCat
    Оффлайн

    WildCat Коршунов Игорь Команда форума

    Репутация:
    0
    Можно считать что и Солнце вертится вокруг Земли.
     
  8. dan77790
    Оффлайн

    dan77790 Учаcтник

    Репутация:
    0
    уайлд кэт, вобщем тебя это интересует так, постольку-поскольку, в обеденный перерыв почитать)
    Жаль.....
    Ты бы мог мне кажецца быть вторым Дайсоном)
    Это чувак из Терминатора, который там начал всю деятельность по киборгам)
     
  9. WildCat
    Оффлайн

    WildCat Коршунов Игорь Команда форума

    Репутация:
    0
    :lol:
    Есть добрые люди, которые с этим и без меня прекрасно справляются.
     
  10. dan77790
    Оффлайн

    dan77790 Учаcтник

    Репутация:
    0
    Что то не заметно))
    i'll be back
     
  11. Хайдук
    Оффлайн

    Хайдук Учаcтник

    Репутация:
    0
    Можно принять, что понятие алгоритмической процедуры по Чёрчу-Тьюрингу выражает суть того, что называем механизмами, машинами. Если некие самоочевидные арифметические факты недостижимые для таких процедур, то это похоже на серьёзную, хоть и неожиданную проблему. Я думаю, что выход состоит в спонтанном, случайном и непередсказуемом возникновении высокоуровневой (коллективной) упорядоченности в системах со многими степенями свободы (элементарными составляющими). Скажем, в шахматах у нас 64 поля и 32 фигуры, которые ходят просто, но по-разному - отсюда весь хаос и разнообразие многофигурных (коллективных) стратегий-позиций, поскольку те вырисовываются из первозданного хаоса на доске.
     
  12. dan77790
    Оффлайн

    dan77790 Учаcтник

    Репутация:
    0
    а может быть что случайность - просто непонятая закономерность...
    а Хаос - непонятый порядок)
     
  13. WildCat
    Оффлайн

    WildCat Коршунов Игорь Команда форума

    Репутация:
    0
    Нужно пару примеров, а то не пойму о чем речь. Я знаю только мнимые проблемы алгоритмической неразрешимости некоторых задач.
     
  14. dan77790
    Оффлайн

    dan77790 Учаcтник

    Репутация:
    0
    WildCat

    Нужно пару примеров, а то не пойму о чем речь. Я знаю только мнимые проблемы алгоритмической неразрешимости некоторых задач.


    А десятая проблема Гильберта?)
     
  15. WildCat
    Оффлайн

    WildCat Коршунов Игорь Команда форума

    Репутация:
    0
    И что этот пример показывает?
     
  16. dan77790
    Оффлайн

    dan77790 Учаcтник

    Репутация:
    0
    Wild Cat

    что есть алгоритмическая неразрешимость некоторых задач)))
     
  17. WildCat
    Оффлайн

    WildCat Коршунов Игорь Команда форума

    Репутация:
    0
    То и есть, что они неразрешимы алгоритмически.
     
  18. dan77790
    Оффлайн

    dan77790 Учаcтник

    Репутация:
    0
    Я ваще то не вопрос задавал а на твой вопрос отвечал) Иначе вопросительный знак бы поставил
     
  19. Хайдук
    Оффлайн

    Хайдук Учаcтник

    Репутация:
    0
    Алгоритмическая неразрешимость массовых (с бесконечным числом частных случаев) проблем немножко другое дело. Гёдель указал на существование простых арифметических истин, которые не могут быть автоматически выведены из аксиом любым компьютером/программой, несмотря на полноту и силу закодированного множества арифметических аксиом. Другими словами, программа не может выйти за пределы себя, ее нужно изменить, чтобы недоказуемые арифметические факты стали ею достижимы. Мне кажется, что якобы "программа" саму себя меняющяя надёжным и целесообразным образом вслед за неограниченно меняющимся окружением уже по существу не есть программа, ибо выходит за пределы понятия алгоритма.
     
  20. WildCat
    Оффлайн

    WildCat Коршунов Игорь Команда форума

    Репутация:
    0
    Ну и где же тут ответ?
     
  21. WildCat
    Оффлайн

    WildCat Коршунов Игорь Команда форума

    Репутация:
    0
    Нет, Гедель, просто указал не неполноту аксиом.
    При чем тут компьютерные программы?
     
  22. Хайдук
    Оффлайн

    Хайдук Учаcтник

    Репутация:
    0
    С Наступившем, Дикий Кот, всего самого лучшего! :)
     
  23. Хайдук
    Оффлайн

    Хайдук Учаcтник

    Репутация:
    0
    ...и их нельзя пополнить :(

    Неполную аксиоматическую систему арифметики можно закодировать как компьютерную программу.
     
  24. WildCat
    Оффлайн

    WildCat Коршунов Игорь Команда форума

    Репутация:
    0
    Как это нельзя?
    Я прям в шоке!!!
    Теорема Геделя как раз о тот, что любую более менее сложную систему можно пополнить.
     
  25. dan77790
    Оффлайн

    dan77790 Учаcтник

    Репутация:
    0
    Как много нам открытий новых готовит.... че то там... новый век)
     
  26. krey
    Оффлайн

    krey Михаил Кройтор Команда форума Команда форума

    Репутация:
    1
    насколько я помню, как раз утверждалось, что любая система аксиом не является полной.
     
  27. WildCat
    Оффлайн

    WildCat Коршунов Игорь Команда форума

    Репутация:
    0
    На трезвую голову я кажется понял, что имеется в виду. :)
    Пополнять можно сколько угодно, т.е. нельзя пополнить так, чтобы она стала полной. :)

    Только я уже который раз не могу понять каким боком этот факт к нашему разговору. :(
     
  28. dan77790
    Оффлайн

    dan77790 Учаcтник

    Репутация:
    0
    Мне чудится, что все проги, которые как бы щщитаются элементами ИИ не фига не могут работать ВНЕ набора аксиом, который был заранее оговорен)
    То есть Не МОГУТ пополнять эти самые аксиомы. Или уже могут?
    То есть дан типа массив, даны стрингз, интеджер, и т д, дан цикл если-то, пока -не, и т. п., но это как бы и есть аксиомы. А теорему Геделя они не преодолеют)
    То есть так и будут спаммить своим математическим бредом бесконечно (если цикл бесконечен) или конечно (если он конечен).
    Но таким образом они упрутся в закон Мура и прочие ограничения)

    Вот вопщем что я вспомнил из учебника информатики за 11 класс)
    Peace)
     
  29. Хайдук
    Оффлайн

    Хайдук Учаcтник

    Репутация:
    0
    А тем боком, что компьютерная программа не знает чем пополнить себя, ибо это выходит за пределы ее способностей логического вывода. Значит ее способности адаптироваться ограничены в отличие от человеческого интеллекта. Программа не может сделать чего-то (скажем, принять новую аксиому), что не предусмотрено ее правилами автоматического вывода, потому что она "не понимает" смысла и целесообразности подобного действия, оно выглядело бы произвольным и немотивированным. Какого толку в компьютере, который вдруг перестал выполнять написанную нами программу и сделал произвольный ход? Вероятность сбоя почти 100%.

    На самом деле алгоритмически неразрешимые массовые проблемы далеко не "мнимые" и по существу того же порядка, что и Гёделева неполнота. Из неразрешимости 10-ой проблемы Гильберта в частности следует, что арифметический факт отсутствия целочисленных решений у некоторого диофантова уравнения нельзя доказать в (аксиоматической) арифметике! :mad: Если задуматься, то алгоритмическая неразрешимость состоит в том, что конечного числа существенно разных методов не хватает решить массовую задачу, а бОльшего числа путей решения компьютер реализовать не может. Выдумывать все новые, не сводящиеся к прежним, методы решения, скажем, диофантовых уравнений (о которых идет речь в 10-ой проблеме Гильберта) может лишь человек.
     
  30. dan77790
    Оффлайн

    dan77790 Учаcтник

    Репутация:
    0
    Хайдук

    Компы от зависти должны ликвидировать человечество)
    просто из-за диофантовых уравнений)))

    То есть никакая машина Тьюринга не справится с 10 проблемой Гильберта?
     
  31. WildCat
    Оффлайн

    WildCat Коршунов Игорь Команда форума

    Репутация:
    0
    Теорему Геделя никому не нужно преодолевать. Она наоборот как бы помогает пополнять набор аксиом. Т.е. эта теорема только в помощь компьютерам.
    Если обнаружилось утверждение (способ получения здесь значения не имеет, хотя бы случайным поиском по пространству утверждений в наше системе аксиом), которое нельзя ни доказать ни опровергнуть в данной системе аксиом, то система аксиом может быть пополнена. Причем как прямой, так и обратной аксиомой. Далее смотрим какая из получившихся систем является наиболее приближенной к реальности - ту и оставляем для использования. Обратную систему не сразу выбрасываем, а проверяем нет ли и от нее хоть какой-то пользы.

    Здесь я вижу лишь преимущество компов над людьми. Достаточно вспомнить как люди мучили пятую аксиому Евклида.

    Эта проблема вполне решаема. Уже сейчас есть методы логического вывода. Даже есть методы вывода и проверки гипотез на основе натурных экспериментов. В конце концов, имея огромные вычислительные мощности новое можно искать просто случайным поиском. Короче, я не вижу тут принципиальных проблем.

    Вот это уже ни откуда не следует. Так можно говорить лишь о современных прогах. Но в будущем, мы можем лишь говорить о ограниченности человечского интеллекта (если в мозг не вживлять ничего лишнего) перед компьютерным, у которого пока не видно ограничений.

    Если говорить о шахматах, то программа может принять новую аксиому по каким правилам ей лучше оценивать возникающие в процессе перебора позиции, по каким правилам перебирать ходы и т.д. Генерировать такие аксиомы для шахмат не будет проблемой для программы. А ничего другого для игры в шахматы и не нужно.
    Проверять сгенерированные аксиомы прога может следующим образом. Создается турнир с участием нескольких миллионов вариантов разных аксиом. Играется несколько миллиардов партий, которые показывают какие из аксиом верные, а какие совсем неадекватны.

    Имея достаточно вычислительной мощности можно создать прогу для любой области применения вплоть до роботов плодящихся и размножающихся в нашей реальности.
    И тут я не соглашусь. В конкурсе по решению диофантовых уравнений человек безусловно будет проигрывать. И тот факт, что нет общего алгоритма решения всех диофантовых уравнений, у человека вызовет на порядки больше проблем, чем у компов. Не надо забывать, что компы тоже могут использовать методы случайного поиска. А уж упорядоченный поиск у компов получается намного лучше.
    Тут опять же все упирается в вычислительные ресурсы. Будет достаточно ресурсов - комп будет решать наравне с человеком. Будет ресурсов поболе - будет легко его обставлять.

    Все проблемы алгоритмической неразрешимости просто о "дурной" бесконечности. Это как просить у золотой рыбки, реши мне сразу все задачи.
    Самый простой пример алгоритмической неразрешимости отражающий суть всех таких задач: не существует алгоритма перебора всех натуральных чисел, который бы мог завершить работу. Т.е. все такие алгоритмы "подвисают". Но разве это является реальной проблемой?
     
  32. dan77790
    Оффлайн

    dan77790 Учаcтник

    Репутация:
    0
    WildCat

    Опять же, для какого-то разумного пополнения аксиомами, принятия новых аксиом и нормального брутального компьютерного поиска надо нереально много ресурсов. Если какие-то большие задачи ставить. То есть без полного перевода материи в энергию по формуле Е=МС квадрат для выполнения вычислений ничего не получится....
    Но мозг как-то не переводит же вещество в энергию )
    Откуда современным компам ресурсов стока взять?
    Закон Мура приведет их в тупик... Если еще не привел.....
    Когда ж наконец я увижу что роботы плодят роботофф и начинают реально соображать?)
     
  33. WildCat
    Оффлайн

    WildCat Коршунов Игорь Команда форума

    Репутация:
    0
    Мозг самый энергопотребляющий орган.

    Еще какую-нибудь пару тысченок лет. Для эволюции они пролетят как одно мгновение.
     
  34. dan77790
    Оффлайн

    dan77790 Учаcтник

    Репутация:
    0
    WildCat

    Мозг самый энергопотребляющий орган.


    Он осуществляет химические преобразования энергии, а я про ПОЛНЫЙ перевод вещества в энергию.
    Это как минимум уровень ядерных реакций)
    Химическая энергия в мозге ничтожна)

    Видимо вас этот вопрос не интересовал особо)
     
  35. WildCat
    Оффлайн

    WildCat Коршунов Игорь Команда форума

    Репутация:
    0
    Я бы посоветовал тем, кто интересуется ИИ, прочитать книгу Станислава Лема "Маска", для того чтобы взглянуть на ИИ и человека несколько другими глазами.

    Вряд ли для вычислений будет нужно столько энергии.