Войти в систему

Home
    - Создать дневник
    - Написать в дневник
       - Подробный режим

LJ.Rossia.org
    - Новости сайта
    - Общие настройки
    - Sitemap
    - Оплата
    - ljr-fif

Редактировать...
    - Настройки
    - Список друзей
    - Дневник
    - Картинки
    - Пароль
    - Вид дневника

Сообщества

Настроить S2

Помощь
    - Забыли пароль?
    - FAQ
    - Тех. поддержка



Пишет ivanov_petrov ([info]ivanov_petrov)
@ 2009-03-31 07:38:00


Previous Entry  Add to memories!  Tell a Friend!  Next Entry
О частях и целом
Деннетт предлагает поговорить - я приведу диалог. чтобы был понятен контекст
http://ivanov-petrov.livejournal.com/1134308.html?thread=55255268#t55255268

[info]dennett@lj
было бы интересно определить для начала ключевые элементы современной картины мира. мне кажется это

1. принцип униформности вселенной (+начальная сингулярность?)
2. последовательный "атомизм" (+эмерджентизм)
3. принцип неопределенности (роль наблюдателя)
4. взаимосвязь пространства, времени и причинности
5. концепция информации

и уже отсюда можно попытаться вычленить ключевые точки. Скорее всего получатся не отдельные переключатели, а сочетания оных.

[info]ivanov_petrov@lj
да, пожалуй. Разница в точке зрения того, кто называет эти пункты. Вы стоит - как я это вижу - внутри научного мировоззрения и - сравнивая несколько его разных стадий - называете характерные черты последней - которая появилась после борьбы с позитивизмом, например, и еще с несколькими измами. В этом смысле такого мировоззрения не существует - это именно современная научная картина мира, а не мировоззрение. Я же попытался встать вовне - как иначе это увидеть? и сказать о тех пунктах, которые и были исходными к перечисленным Вами. Говоря грубо, униформизм вселенной - это теоретически рафинированное и формализованное выражение того. что сделал Коперник. 3 и 4 пункт выводится из "Ньютона" - в сетке пространства каждый квадрат - домен местного Ньютона, который определяет законы в этом квадранте, а всю сеть в целом видит "наблюдатель". При этом мне Ваш список кажется менее плодотворным - из него ничего не вытекает. то есть никаких точек из него вычленить не получится - там тупик, именно потому. что Ваш список - уже результат работы теоретическорй мысли с некоторыми обобщениями естественных наук. Нужно начинать много раньше, где эти принципы еще живые. а не пустые. Но там будет сочетание, конечно, недаром это на протяжении сотни лет так "нажалось", сразу несколько кнопок.

[info]dennett@lj
--о тех пунктах, которые и были исходными к перечисленным Вами
--правильно, я для того и попытался перечислить, чтобы можно было почетче говорить об исходниках.

я кстати объединил бы насос, эволюцию и свет - все три слились в атомизм. было бы еще интересно подумать о подоплеках атомизма.

ну и далее интересно думать о том, чего в вашем списке нет. самое любопытное - информация. это совершенно новое понятие, по-настоящему революционное, которое не выводится из атомизма - и которое занимает центральное место в современном мировоззрении. там какой-нибудь больцман, шеннон, тюринг, винер???

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

[info]ivanov_petrov@lj
_интересно подумать о подоплеках атомизма_
Я бы сказал - сильнейшее сужение способов мысли. Понимается всего одна вещь - "состоять из". даже понятие причинности отступило, теперь уже и оно не очень понятно. Все прочие виды связывания мыслей - их очень много - кажутся нереальными. призрачными. фантастическими. Признается (пока) реальным болько операция разбивания на куски.
Думаю, и она вскоре станет призрачной.
Насчет информации - согласен. очень интересное и новое понятие, целый пласт совершенно нового. И интересно представить, на месте чего появилось. Такая штука не может возникнуть из ничего - то есть может, но обязательно останется след хотя бы вытесненного. То есть такого ранга понятие - раз появилось - обязательно что-то очень крупное исчезло. Если бы не так, информацию придумали бы тысячи лет назад. Что-то очень фундаментальное произошло. чтобы отклалась такая дыра. где возникла бы эта новизна.

С наблюдателем (и неопределенностью) - сомневаюсь. Я вспомнию то немногое, что видел в индусской философии - кажется,это как раз старое и все было. весьма развитое. просто в некоторых дремучих медвежьих уголках вроде Европы забыли - ну, так это ладно.

[info]dennett@lj
про атомизм хорошо бы провести у вас отдельную дискуссию о победе частей над целым, т.е. механизма над организмом - как случилось, в каких исторических обстоятельствах. ведь еще в девятнадцатом веке было наоборот.

про неопределенность - мне кажется, в европейской традиции такого никогда не было - в европе, и у греков и у иудеев, всегда были боги, которые гарантировали знание того, как на самом деле - скрытые переменные - и предположения о том, что "на самом деле" - пустое понятие - этого никогда не было... мне кажется.

[info]ivanov_petrov@lj
_ведь еще в девятнадцатом веке было наоборот_
разве? Это история поражений. Посмотрите последовательность:
спор номиналистов и реалистов. Почти равное противостояние, победили номиналисты
Спор ятрохимиков и ятромехаников. Длился 200 лет, было время господства ятрохимиков, победили ятромеханики
Витализм Шталя в 18 в. и сопутствующие. Это маргиналы на фоне механицистов.
Витализм Дриша в 19. Совершенно непонятный казус на фоне подавляющего господства механистов.
Сейчас - просто нету органицизма, его нельзя думать.


(Читать комментарии) - (Добавить комментарий)


[info]kaktus77@lj
2009-04-05 05:51 (ссылка)
Буду благодарен, если Вы поясните, почему это не имеет отношения к ИИ или почему это не основное направление.

Вы же сами ответили - "суть проблемы, в том чтобы сымитировать интеллект в его результативной части". А вычисление теорем тут совершенно ни при чем. Т.е. есть, наверное, такие, что считают интеллект вычислением теорем :) Но это, скорее, экзотика.

А основные проблемы, которые решают в ИИ, - как описать и смоделировать в программах человеческое мышление и понимание (фреймы Минского там и все такое)

(Ответить) (Уровень выше) (Ветвь дискуссии)


[info]vagonsky@lj
2009-04-06 02:54 (ссылка)
Я полагал, что задача ИИ - это нахождение способов автоматически решать те задачи, что рещает человек. Мне кажется, что Ваша формулировка - смоделировать человеческое мышление - куда более узкая, чем моя, т.к. если мы смоделируем человеческое мышление, мы, конечно, автоматизируем все решаемые человеком задачи, но в моей формулировке мы можем автоматизировать их решение еще и любым другим способом, был бы результат такой же. Доказательство теорем - просто удобный пример решаемой задачи, удобный тем, что достаточно формален, чтобы строить доказательства невычислимости доказательства, например. :)

(Ответить) (Уровень выше) (Ветвь дискуссии)


[info]kaktus77@lj
2009-04-06 05:50 (ссылка)
Доказательство теорем вовсе не формальная задача, спросите у любого математика :). Формулировка доказательства - более-менее. Но это две большие разницы.

Я полагал, что задача ИИ - это нахождение способов автоматически решать те задачи, что рещает человек.

Это вообще-то называется "автоматизация". А в ИИ традиционно занимались моделированием, можно посмотреть любой классический учебник (Уинстона, например). Собственно результат их мало интересует :)

(Ответить) (Уровень выше) (Ветвь дискуссии)


[info]vagonsky@lj
2009-04-06 06:12 (ссылка)
Мне кажется нет нужды сводить беседу к обсуждению значений слов "формальный" и т.п. Пусть будет не формальная задача, а просто удобная для рассмотрения, в силу того, что легко понять, дает результат или нет.

Что касается моделирования естественного интеллекта - мне представляется, что это "только одно из направлений и совсем не основное". Какая, в сущности, разница, как человек распознает образы или переводит с языка на язык? Если это будет сделано это отличным от человеческого способом, никто не расстроится.

(Ответить) (Уровень выше) (Ветвь дискуссии)


[info]kaktus77@lj
2009-04-06 06:22 (ссылка)
Что касается моделирования естественного интеллекта - мне представляется, что это "только одно из направлений и совсем не основное".

1) Что такое "естественный" интеллект я не знаю, слышал, что "люди" с естественным интеллектом по деревьям прыгают в посках бананов (типа Маугли, да :) ).

2) Ну так берете учебник и смотрите, легко выяснить, что они о себе думают.

Какая, в сущности, разница, как человек распознает образы

Причем здесь человек :) Вопрос ведь в том, как устроено мышление, понимание, распознавание и т.п. без человека, вне человека, так сказать.

(Ответить) (Уровень выше) (Ветвь дискуссии)


[info]vagonsky@lj
2009-04-06 06:40 (ссылка)
1) А что такое искусственный интеллект - знаете?
2) Это, увы, совсем понял - к чему.

Вопрос ведь в том, как устроено мышление, понимание, распознавание и т.п. без человека, вне человека, так сказать
Тот еще вопрос, что такое понимание и мышление без человека. Ну не суть, я пока не очень понял - Вы задачу автоматизации не считаете задачей науки создания искусственного интеллекта? Скажем, автоматизации перевода?

(Ответить) (Уровень выше) (Ветвь дискуссии)


[info]kaktus77@lj
2009-04-06 07:26 (ссылка)
1) любой интеллект искуственен, если Вы работаете в сфере ИИ :)

Вы задачу автоматизации не считаете задачей науки создания искусственного интеллекта?

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

(Ответить) (Уровень выше) (Ветвь дискуссии)


[info]vagonsky@lj
2009-04-06 08:30 (ссылка)
Понятно, спасибо

(Ответить) (Уровень выше)


[info]muh2@lj
2009-04-06 05:19 (ссылка)
Неалгоритмически смоделировать? А иначе все-таки иногда да вступишь в Геделевы следы. Фреймы там или не фреймы. Другое дело, что можно у Д-Вэйв побрякушку купить или просто коробочку с костями приспособить. Может что и получится.

(Ответить) (Уровень выше) (Ветвь дискуссии)


[info]kaktus77@lj
2009-04-06 05:54 (ссылка)
Да причем тут Гедель вообще, это специфичная теорема в узкой области оснований математики, не имеет она отношения к возможности/невозможности решения задач и доказательства теорем даже.

Неалгоритмически смоделировать? - Кто-то алгоритмически, кто-то нет, там масса подходов.

(Ответить) (Уровень выше) (Ветвь дискуссии)


[info]muh2@lj
2009-04-06 08:00 (ссылка)
Обобщенный Гедель. Можно даже и не его а кто там придумал диагональный метод. Какая разница? Вне зависимости от виновного - все равно рано или поздно упрешься в утверждение о правдивости которого алгоритм ничего сказать не сможет, а человек - легко.

(Ответить) (Уровень выше) (Ветвь дискуссии)


[info]kaktus77@lj
2009-04-06 08:26 (ссылка)
Нет, никогда не упрётесь. Давайте уточним - имеется в виду, что в комп заложена некая система аксиом и механизм автоматического доказательства (в простейшем случае перебор конструируемых утверждений и сверка с предложенным). Так вот, можно гарантировать, что такого истинного утверждения, которое бы комп не смог "доказать", вы ему не сможете задать. По очень простой причине - если Вы построили такое утверждение, значит оно доказуемо!

(Ответить) (Уровень выше) (Ветвь дискуссии)


[info]muh2@lj
2009-04-06 08:53 (ссылка)
Да вроде уж все сошлись на том, что недоказуемое (но верное) утверждение неизвестно, но существует. Гедель, Кантор, Тьютинг - берите любого - они докажут.

(Ответить) (Уровень выше)


(Читать комментарии) -