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

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

Все темы | Новая тема  Стр.1 (1)     Поиск:
Автор	Тема: Процесс размышления
NO. Сообщений: 10700	Процесс размышления Добавлено: 12 май 10 20:33 http://vimeo.com/730557 Это работает система "доказательства теорем", движок для прикладных рассуждений. На графе все в кучу - факты, цели, гипотезы, эвристики. Можно понимать и как активную часть нейросети, только в отличие от разных обратных распространений тут обучение, сброс и переобучение нейронов происходит многократно в процессе работы. [Ответ][Цитата]
Болотный троль Сообщений: 142	На: Процесс размышления Добавлено: 13 май 10 6:05 Цитата: ...Automated Theorem Prover... А ВТФ (сумма кубов не может быть кубом, для нат. чисел) тоже докажет? [Ответ][Цитата]
NO. Сообщений: 10700	На: Процесс размышления Добавлено: 13 май 10 14:54 В принципе докажет всё, на что хватит аксиом. Или данных если рассуждения прикладные. На деле зависит от удачи, для сложных выражений получается очень сильный комбинаторный взрыв в промежуточных утверждениях. Даже если идти и от аксиом к утверждению и от утверждения к аксиомам и внутри эвристик навтыкать и от них в обе стороны. Основная проблема у ATP с оценкой полезности вспомогательных утверждений, лемм и теоремок. А теоретически механика позволяет сделать всё что нужно. Что верно и доказуемо должна доказать, что верно и недоказуемо, как у Геделя - так же благополучно не доказать, а если есть аксиомы про мета-систему то доказать что не доказуемо. Что не верно - тоже доказать что это так. Если выводимо, но не известно верно или нет - доказать и определить истинность. [Ответ][Цитата]
Болотный троль Сообщений: 142	На: Процесс размышления Добавлено: 17 май 10 12:30 Вот именно, на что хватит аксиом.... Но а по сути, для доказательства теорем используют различные методы, в том числе и графические, а тупо вертеть логическими высказываниями перебором ничего толком не получится. Вот посмотрите, обычная теорема Пифагора о прямоугольном треугольнике, а сколько разных видов доказательств у нее. И в математике очень интересуются именно красивыми доказательствами теорем, которые как правило требуют нестандартного подхода. Пример: недавно доказанная "теорема о четырех красках", тупо перебором вариантов на выч. машине. И к ее доказательству многие относятся скептически... Очень сомневаюсь, что возможно построить автоматический доказатель теорем (по крайней мере сейчас), но попытка не пытка, от рассмотрения ничего хуже не станет, и вполне возможно может выйти что-то ценное. [Ответ][Цитата]
NO. Сообщений: 10700	На: Процесс размышления Добавлено: 17 май 10 18:19 Для ИИ тема интересна возможностью познакомиться с логикой высших порядков. В вузах обычно учат только исчислению предикатов 1 порядка. Без этого можно годами философствовать чем отличает интеллект от сапога и так и не понять. И работой с символьной информацией, что гораздо ближе к мышлению чем гонять электричество по проводам, что по сути вообще логикой не является, зато неплохо отражается в любимую и единственную логику 1 порядка. [Ответ][Цитата]
daner Сообщений: 4593	На: Процесс размышления Добавлено: 17 май 10 18:37 С какой логикой обсуждаемая система работает? [Ответ][Цитата]
NO. Сообщений: 10700	На: Процесс размышления Добавлено: 17 май 10 18:54 Не знаю какая это система, просто видео как мысль трепыхается. [Ответ][Цитата]
Стр.1 (1)