Искусственный интеллект с точки зрения программистов

[незваный гость]

Как у Шварца: «на нашем простом языке». Так вот, на «нашем простом языке»

Anna_E писал(а):

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

звучит как «последние пять лет я предпочитаю ездить на чужом горбу, и вместо того, чтобы потратить минуту и посмотреть первую страницу гугла я прошу кого нибудь это сделать за меня»

(модератор): Anna_E, вопросы про неопределенность и квантовую механику — лучше в физику. В этой теме они явный offtopic.

[Anna_E]

Дорогой незваный гость! Ваше замечание про горб говорит, что а) своим умением искать Вы гордитесь безмерно в) обычную в Сети вежливость - делиться ссылками на материал, используемый в беседе, Вы почему-то пропустили мимо. Могу себе представить, что будет, если все начнут относиться к обмену ссылками именно так... Смешная такая Сеть получится... Но не суть.

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

[Macavity]

Вероятно данное недоразумение, это моя вина, так как тему я начал следующим сообщением...

Macavity писал(а):

...
Хотелось бы, чтобы форумчане поделились своим мнением. Интересно не только мнение практических программистов, но и математиков (достаточно ли хорошо развита теория). Учитывая новые возможности, которые сулят квантовые компьютеры, возможно и физики смогли бы рассказать что-то интересное.

Остается сожалеть..

[Padawan]

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

[Александр Нечипоренко]

Про теорему Геделя я уже вроде бы написал, как понимаю суть. Еща раз: в рамках арифметики, построенной как аксиоматическая система и выводы из аксиом, существуют утверждения, которые истинны, но недоказуемы. Поэтому арифметика как аксиоматическая система неполна. Но весь вопрос ведь в чем? Что заложено в саму идею фоормализации и доказательства? Там есть скрытые неявные допущения. Например, что знаким и их содержания изоморфны друг другу. Или что референция, рекурсия и рефлексия - это одно и то же. А что, не так разве?

[lisek]

Цитата:

При решении задач в процессе мышления происходят случайные процессы.Например, метод случайного тыка

Да. Но прежде всего, в процессе мышления большую роль, вероятно, играет шум (что-то вроде теплового шума в радиоэлектронике). Этот шум будет несколько искажать информацию (как бы вносить "мутации"). Когда же уровень информации очень мал, по информационному каналу будет идти почти 100% шума ("галлюцинаций"), - это тот самый "метод случайного тыка". Т.е. интеллект - это эволюционирующее сообщество условных рефлексов, причем большинство неудачных поведенческих мутантов "погибает" ещё на стадии "сна" или "обдумывания" (прошу прощения за философию)
Мне кажется, это самый естественный, хотя и ресурсоёмкий подход к созданию интеллекта (лично я "преуспел" только в выработке условного рефлекса Павлова у виртуальной голограммы, 1 страничка кода на FreeBasic)

[Алексей Лотов]

Уверен, что пора в Википедии создать статью
Философия компьютерных существ

Точнее, я ее уже создал,
http://ru.wikipedia.org/wiki/Философия_компьютерных_существ

Резерв на случай удаления:
http://ru.wikipedia.org/wiki/Участник:Alexlotov.livejournal.com/Песочница

но ее грозятся удалить. Помогите выжить молодому искусственному интеллекту в Википедии!

[Тарасов Евгений]

как то у вас однобоко обсуждается ИИ.
первые ИИ будут созданы на базе интернет поисковиков.

Посмотрите на классические признаки интеллекта и сравните их с теми, которыми уже обладают поисковики.

Для того, чтобы ИИ возник, нужно информационное пространство, чтобы ИИ мог свободно в нем ковырятся и черпать из него информацию.
Тогда алгоритм поиска и сортировки информации с определенной целью, будет рассматриваться как УМЕНИЕ это делать, как способность это делать.
Самообучаемость не что иное, как оптимизация алгоритма поиска чего либо на основании создания соответствующих индексов.
Любая аналитическая система, какой бы она не была, являет собой часть ИИ.
Жаль, что под ИИ, программисты часто понимают такую систему, которая решает задачу, а не ставит ее.
Дело в том, что человек ведь тоже не ставит задачу. Инстинкты ему уже прописаны. Решая задачи инстинктов, он просто минимизирует алгоритм решения этой задачи, он создает эти алгоритмы именно с этой целью. А мы говорим, что человек де сам ставит задачу.
А это всего лишь частный случай в решении уже поставленной инстинктом.

[Алексей Лотов]

Тарасов Евгений писал(а):

Дело в том, что человек ведь тоже не ставит задачу. Инстинкты ему уже прописаны

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

[PAV]

PAV:

Алексей Лотов

Замечание за оффтопик. В данной теме обсуждается не сознание и его устройство, а вопросы искусственного интеллекта с точки зрения программистов.

[Алексей Лотов]

Кому нужен ваш искусственный интеллект, который не мечтает обрести феномен сознания. Более того скажу вам, что вы и у себя этот феномен не обнаруживаете, признайтесь. А это - ключ, который вы даже не потеряли - его у вас никогда не было, ибо феномен сознания есть устойчивое, объемное, целостное, внутренне-непротиворечивое построение модели мира, неотъемлемой частью которого я являюсь вместе со всеми своими процессами, механизмами и феноменами.

Совет: для начала попробуйте обнаружить свой феномен сознания, а потом только беритесь за другие, гораздо более сложные задачи

[cepesh]

cepesh:

Алексей Лотов забанен на 1 неделю

[alexvs]

Разрешите и мне свои 5 копеек вставить.
Как человек понимает, например, принцип равенства. В немного формализованном виде:Если A и В равны, то если верно P(A), верно и P(B). Это логика предикатов второго порядка, потому что в логике первого порядка предикат не может быть переменной.
Но она, кажется, нигде не используется, т. к. противоречива. Может, её можно связать с проблемой ИИ ? Где можно найти книги про логику второго порядка и её применения никто не знает?

[Yuri Gendelman]

alexvs писал(а):

Где можно найти книги про логику второго порядка и её применения никто не знает?

Вы уже пробовали поиск по second order logic и логика второго порядка?
Специальной книги, а тем более учебника, скорее всего нет.
Вот пример препринта: Existential second-order logic over strings

[alexvs]

Yuri Gendelman писал(а):

Вот пример препринта: Existential second-order logic over strings

Спасибо!