GotAI.NET

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

 

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

 Все темы | Новая тема Стр.1 (1)   Поиск:  
 Автор Тема: нахождение неопределенных интегралов можно отнести к программам ИИ
razn
Сообщений: 6
нахождение неопределенных интегралов можно отнести к программам ИИ
Добавлено: 16 май 09 19:17
В книге "Эксперимент на дисплее", Москва "Наука", 1989. на стр. 37 читаем: "... подсистема для нахождения неопределенных интегралов , которую можно без натяжки отнести к программам искусственного интеллекта".
Осталось ли это утверждение справедливым за прошедшие 20 лет?
Всякие ли интегралы требуют интеллекта?
Можно привести пример интеграла, который точно требует?
[Ответ][Цитата]
razn
Сообщений: 6
На: нахождение неопределенных интегралов можно отнести к программам ИИ
Добавлено: 16 май 09 20:08
Далее там же читаем: "В отличие, скажем, от дифференцирования интегрирование требует

применения набора эвристик, т.е. нестрогих правил, выведенных людьми на основе обширной

практики".
Возможно я ошибаюсь, но вроде бы эвристики это прошедший этап ИИ. Или нет?
И все-таки, является ли интегрирование интеллектуальной задачей или нет?
[Ответ][Цитата]
e-Drew
Сообщений: 221
На: нахождение неопределенных интегралов можно отнести к программам ИИ
Добавлено: 16 май 09 20:46
Есть-Было в ИИ направление.. Типа Решатели задач см GPS.. Направление породило Reasoning Tools и простейшую форму Rules Engine (CLIPS/JESS...).

Теперь каждый Имея правила может построить Свой Решатель своих Проблем.. Попадается и Опн-С/Рыночный софт типа Символьного Интегрирования.. Направление слегка примыкает к Тризу..

PS: Т.е. Эвристика - читай - Правило
[Ответ][Цитата]
razn
Сообщений: 6
На: нахождение неопределенных интегралов можно отнести к программам ИИ
Добавлено: 16 май 09 21:18
Т.е., другими словами, эта задача решается ЭС с БЗ на правилах. А решение задачи
можно получить просто перебором с использованием правил для его сокращения.
А есть ли такие задачи в которых перебор в принципе не применим?
[Ответ][Цитата]
daner
Сообщений: 4593
На: нахождение неопределенных интегралов можно отнести к программам ИИ
Добавлено: 17 май 09 11:28
Цитата:
Автор: razn

Т.е., другими словами, эта задача решается ЭС с БЗ на правилах. А решение задачи
можно получить просто перебором с использованием правил для его сокращения.
А есть ли такие задачи в которых перебор в принципе не применим?


что значит применим / не применим. Если говорить о теории, то существуют задачи, вообще не решаемые. Если же переходить к практике, то смотрите что такое классы вычислительной сложности и в частности задачи сложнее NP-C. Это как раз тот вид задач, которые даже если у вас есть "трюк" по полному перебору всех вариантов за постоянное время (читай: реализуемое) все равно будут оставаться экспоненциально усложняющимися (читай: не реализуемыми).
[Ответ][Цитата]
razn
Сообщений: 6
На: нахождение неопределенных интегралов можно отнести к программам ИИ
Добавлено: 17 май 09 12:05
Цитата:
Автор: daner
что значит применим / не применим.

может быть для объяснения подойдет следующий пример.
Пусть мы хотим, чтобы компьютер создал на каком-либо естественном языке
некоторый текст. Перебор здесь применим, но сам компьютер не способен
определить какой из вариантов перебора подходит для решения.
[Ответ][Цитата]
razn
Сообщений: 6
На: нахождение неопределенных интегралов можно отнести к программам ИИ
Добавлено: 17 май 09 12:20
Цитата:
Пусть мы хотим, чтобы компьютер создал на каком-либо естественном языке
некоторый текст.

пропустил важное условие - создать осмысленный текст, возможно на некоторую тему
[Ответ][Цитата]
daner
Сообщений: 4593
На: нахождение неопределенных интегралов можно отнести к программам ИИ
Добавлено: 17 май 09 12:36
когда речь идет о переборе, то всегда говориться о существовании некоторого правила (алгоритма) валидации ответа. Причем, подразумевается (чаще всего), что этот самый алгоритм полиномиальный (если мы говорим о реализуемом алгоритме).
Более того, практически любой алгоритм можно рассматривать как алгоритм определения валидности ответа (так как с него очень легко построить полиномиальную редукцию для задачи поиска решения).

Проще говоря, реальная сложность как раз и заключается в том, как определить: подходит найденный ответ для решения задачи или нет. Это и есть алгоритм валидации.

П.С.
Не смотрите на то, что обычно принято синтезировать решение, это просто оптимизация перебора с валидацией. Дело в том, что в нормальных условиях, необходимо иметь формальное доказательство, что синтезируемое решение соответствует требуемой задачи (называется это "доказательством правильности алгоритма"), т.е. найденный ответ проходит валидацию на стадии написания самого алгоритма, исходя из особенностей синтезирующего алгоритма (что и является его правильностью).
[Ответ][Цитата]
razn
Сообщений: 6
На: нахождение неопределенных интегралов можно отнести к программам ИИ
Добавлено: 17 май 09 13:11
спасибо,daner, теперь более понятно.
Но если перенести акцент с алгоритмов на задачи, то можно ли так сказать,
что способ решения задачи определяется самой задачей? Если задача достаточно
формализована, то для ее решения можно использовать перебор, а если
нет, то ее может решить только человек.
П.С.
Хочется разобраться в границах применимости и возможностях
современных методов ИИ.
[Ответ][Цитата]
daner
Сообщений: 4593
На: нахождение неопределенных интегралов можно отнести к программам ИИ
Добавлено: 17 май 09 13:59
Цитата:
Автор: razn

спасибо,daner, теперь более понятно.
Но если перенести акцент с алгоритмов на задачи, то можно ли так сказать,
что способ решения задачи определяется самой задачей? Если задача достаточно
формализована, то для ее решения можно использовать перебор, а если
нет, то ее может решить только человек.
П.С.
Хочется разобраться в границах применимости и возможностях
современных методов ИИ.


я не совсем понимаю, что значит "способ решения задачи, определяется самой задачей". А чем еще он может определяться?

И что значит: "Если задача достаточно формализована"? Она либо формализована, либо нет.
Я так понимаю, вы имеете в виду, что если для задачи существует реализуемый алгоритм валидации? Это не тоже самое, что "задача формализована". Т.е. конечно без формализма, вы алгоритм валидации не построите (это понятно), но даже если задача формализована, она может оставаться открытой, не решаемой, решаемой за экспоненциальное время и т.д.

Что же касается решения задачи, без ее формализации...
Подумайте сами, если формализации задачи не существует, вы попросту не можете знать, решили вы ее или нет. Т.е. вообще не приходится говорить о какой либо задачи.
Другое дело, что агент/программа/робот/etc. может не иметь этой самой формализации. Это нормально. Дальше все зависит от алгоритма по которому действует этот агент/программа. Если алгоритм универсален для какого-то класса задач, то поставленная переде агентом цель (кем поставленная здесь не важно) должна быть им формализована как задача этого самого класса самостоятельно. Кстати, сама задача формализации -- тоже задача и сложность ее решения зависит от многих (очень многих) факторов.
[Ответ][Цитата]
 Стр.1 (1)