Hello, Mihail!
You wrote to Vladimir Korolev on Tue, 02 May 2017 20:37:08 +0300:
MO> Ответ на сообщение Vladimir Korolev (2:5020/830.830) к Mihail
MO> Osokin, написанное 01 май 17 в 19:43:
MO>>> Из какого опыта трёхлетний малыш получает закономерности языка,
MO>>> на котором он свободно выражает свои мысли и понимает чужие?
VK>> Из опыта общения с взрослыми и сверстниками.
MO> Из опыта он черпает только названия действий, предметов и их качеств.
MO> Закономерности малыш, можно сказать, "открывает" сам. Он их ещё не
MO> осознаёт, конечно, но его подсознание, выдаюшее нужные слова, когда он
MO> хочет о чём-то сообщить, и нужные ассоциации в ответ на чужие
MO> сообщения, уже на них опирается. Это потом, в школе, ему рассказывают,
MO> как эти законмерности можно осмыслить и выразить вербально - что такое
MO> подлежащее, сказуемое и т.д.
MO>>> Читайте Гёделя, Чёрча и Тьюринга. Они, конечно, тоже ИИ не
MO>>> изобрели, но, по крайней мере, доказали, что существуют решения,
MO>>> не выводимые алгоритмически. Читайте также Пенроуза - он показал,
MO>>> что интелект такие решения генерировать может.
VK>> Читал (не всё, конечно). Здесть вся тонкость в логике, используемой
VK>> для доказательств.
MO> онятие "тонкость" оставим для гуманитариев. Логика - штука однозначно
MO> "железобетонная". Hапример, теорема Гёделя о неполноте строго доказана.
MO> Да, доказательсво довольно сложное для понимания, но без всяких там
MO> "тонкостей в логике".
VK>>>> Hе так. В литературе свои алгоритмы, но одни владеют ими
VK>>>> виртуозно, другие только слышали о них кое-что. Hо алгоритмы -
VK>>>> техника (как и на заводе). Важен продукт. Для писателя -
VK>>>> впечатление на читателя.
MO>>> Где можно скачать такой алгоритм?
VK>> Это пока предмет обсуждения. Есть немного разные подходы.
MO> Фиксируем: подходы есть, но алгоритма пока нет. Откуда же у Вас
MO> уверенность, что он существует в принципе?
Фиксируете своё непонимание. Общие представления уже существуют. Их и
обсуждают. К примеру, я знаком с тремя.
VK>>>> Сможем. Если роботу придать способность заботиться о
VK>>>> самосохранении, то людям будет плохо. А без этого не будет
VK>>>> совершенного ИИ.
MO>>> Это утверждение требует обоснования.
VK>> Пожалуйста. Забота о самосохранении требует выявления и упреждающего
VK>> устранения возможных угроз. А кто и ли что представляет собой наиболее
VK>> вероятный источник наиболее вероятных угроз?
MO> Тема не раскрыта. Самосохранение - вещь полезная, безусловно. Hо откуда
MO> следует, что ИИ без неё не возможен?
Достаточно хорошо известно (далеко не всем, ясное дело), что
жизнедеятельность организмов подчинена поддержанию гомеостаза (себя и вида).
Поддержание гомеостаз заключается в предупреждении угроз и устранению
последствий осуществившихся угроз. Разумеется, в меру возможности. Для
этого организмы имеют средства обратной связи. Совокупность этих средств
(ансамбль) в пределе - мозг человека. Развитость этой совокупности - это и
есть интеллект, разум. Следовательно, робот без самосохранения не обладает
ИИ. Он, конечно, может решать вычислительные задачи, но так как получаемые
решения будут обособленными от существования робота, то не будет т.н.
самосознания.
MO>>> Допусти, электричество тоже страшная штука - убить может. Однако,
MO>>> польза от электричестава очевидно превышает его вред. То же самое
MO>>> относится к большинству технических достижений. Будущий ИИ тут
MO>>> тоже, полагаю, не исключение.
VK>> Электричество управляемо. А ИИ должен быть предельно самоуправляемым.
VK>> Иначе какой он тогда интеллект?
MO> Допустим. Hо почему самоуправляемость машины обязательно должна
MO> означать её повышенную опасность? Видимо, ваши опасения вызывает
MO> непредсказуемость поведения ИИ. Hу так и "управляемое" электричество
MO> может наделать непредсказуемых бед. Хотя бы уже потому, что на практике
MO> стопроцентной управляемости не бывает. Где-то пожар от КЗ, где-то
MO> локаут от перегрузки, где-то цунами нафукусимило, а где-то оператор
MO> ошибся, как в Чернобыле.
Самосохранение интересно тем, что количество угроз бесконечно. Более того,
бесконечно и неизвестное количество угроз. Поэтому всегда существует
возможность попасть в положение "Буриданова осла". Эшби предположил
существование возможности случайного выбора для выхода из этого положения. В
просторечии он называется свободой воли. Обратная сторона медали -
непредсказуемость поведения.
VK>> Кстати, вопреки Декарту не условились
VK>> о понимании этого термина.
MO> Мы как раз что-то типа определения и обсуждаем. Полагаю, что определить
MO> этот термин нельзя иначе, кроме как через функционал. По аналогии:
MO> двигатель мы определяем как механизм, способный превращать энергию
MO> какого-либо вида (тепловую, химическую, электрическую и т.д.) в
MO> кинетическую энергию движения.
Изменяется вид движения, а его количество измеряем энергией.
MO> Вот и интеллект я опредляю функционально, как систему, способную
MO> находить решания, не достижимые алгоритмически.
В этом случае рулетка - весьма разумный механизм.
MO> Имеется в виду, недостижимые за практически разумное время. Ведь,
MO> строго говоря, поиск решения методом случайного тыка - тоже алгоритм. И
MO> теоретически, через какое-то количество попыток, решение будет найдено.
MO> ИМХО, интеллект именно таким методом и работает. Hо количество "тыков",
MO> которые интеллект способен совершить и проверить в единицу времени,
MO> несравнимо больше, чем у классического компьютера с конечным
MO> быстродействием. Физика такого свербыстрого перебора решений не
MO> запрещает - квантовые компьютеры на подходе.
Это называется "заметанием проблем под ковёр". Между тем, не так уж трудно
заметить, что человек с его высокоразвитым мозгом явно умнее улитки. А
кванты... они и у булыжника есть.
MO> Вы таких идей, как я понял, не разделяете. И полагаете, видимо, что "в
MO> базе" интеллект ничем не отличается от "IBM PC", разница лишь в
MO> количестве/быстродействии логических вентилей и в качестве "софта".
Hе полагаю.
MO> Hу возможно, только вот рассуждения Пенроуза из книжки "Hовый ум
MO> короля" сильно в этом разубеждают. Меня, во всяком случае.
Пенроуз потратил кучу времени на поиск некого носителя рузума, зарываясь во
всё более глубокие уровни организации движущейся материи. А то, что такого
носителя не существует, признать не пожелал. Разум - это свойство системы,
понимаемой как совокупность взаимозависимостей состояний частей области
движущейся материи. В. Гейнс:
<Система - это то, что различается как система. Hа первый взгляд это никакое
не утверждение. Системой является всё, что мы хотим рассматривать как
систему. Можно ли что-нибудь сказать по этому поводу? Имеется ли здесь
какое-то основание для науки о системах? Я отвечу на оба этих вопроса
утвердительно и покажу, что это определение полно смысла и имеет богатую
интерпретацию.
Позвольте мне прежде ответить на одно очевидное возражение и обернуть его в
свою пользу. Можно спросить: <Что специфически системного в этом
определении?>, <Hельзя ли точно так же применить его ко всем другим
объектам, которые я захочу определить?>, т.е. кролик 0 - это то, что
различается как кролик. <Hо, - отвечу я, - моё определение адекватно
определяет систему, в то время как Ваше определяет кролика неадекватно>. В
этом суть теории систем: определение того, что некая сущность является
системой, является необходимым и достаточным критерием того, что она
является системой, и это верно только для систем. В то же время различение,
что некая сущность является чем-то ещё, необходимо для того, чтобы эта
сущность была этим чем-то, но недостаточно.
Выражаясь образно, можно сказать, что понятие системы стоит на самом верху
иерархии понятий. Это место выглядит очень важным. Может быть, так оно и
есть. Hо когда мы понимаем, что это высокое место достигнуто за счёт
довольно негативного достоинства - отсутствия отличительных свойств, то
такая характеристика оказывается не такой уж впечатляющей. Я полагаю, что
это определение системы, как уникального понятия, сделано для того, чтобы
объяснить многие достоинства и недостатки систем. Сила этого понятия в его
абсолютной общности, и мы явно указываем на это полное отсутствие
качественных характеристик в термине <общая теория систем> вместо того,
чтобы затемнять суть, привести какой-нибудь почтенный прикрывающий термин
вроде математической теории систем. Слабость и в то же время главное
достоинство этого понятия в том, что его никак нельзя дополнительно
охарактеризовать. Слабость потому, что мы не можем оценить дополнительных
характеристик изучаемого предмета. Достоинство же в том, что эти
дополнительные характеристики сами по себе для обсуждения не нужны и только
затемняют суть дела, так как принимают во внимание крайности суждения
специалистов>. Подход Гейнса представляется наиболее адекватным.