omega писал(а):Source of the post Есть ли такой компьютер, который может ставить задачу? Ну, вот сам придумал и поставил
Да. (становлюсь занудой) Программа Eurisco Дугласа Лената) Самостоятельно придумала понятие максимально делимых чисел, трехмерную модель логического элемента - ее гоняли в нескольких разных областях знаний.
Самоизменяющаяся программа - это нисколько не новость в мире пролога и экспертных систем. Есть и другие подходы.
Я Ваш следующий аргумент помню - комп не может из задачи построить алгоритм ее решения. Я этот вопрос давно помню и обдумываю, но пока на него тоже не отвечу.
Не факт. Кое что уже под силу. Частенько доказательство теоремы является конструктвным, соответственно доказать - значит построить алгоритм. Современные программы по доказательству теорем очень даже ничего. Еще не гроссмейстеры, но студентов уже заткнут за пояс.. Одна беда - решение потом трудно человеку понять)
Это уже разработка АЛГОРИТМА. Вот второй очень важный аспект ИИ - это компоновка отдельных известных решений (найденных в результате анализа) и получение таким образом некоторого плана решения поставленной задачи.
Алгоритмы планирования сейчас есть, то есть в каком то виде эта задача решена. Не хватает формализации областей знаний чтобы вырваться из узкоспециальных тем.
В принципе, мыслима такая ситуация: компу ставят задачу, если он умеет ее решать, то он может по дороге выделять подзадачи, причем независимо от того, решил он исходную заадчу или нет. Обобщая их - получаем новые задачи. Т.е. способность к постановке задачи частично сводима к способности рещения задач.
Да такие системы есть, общие подходы неплохо работают в узких областях знаний.
Там даже двухуровневое планирование идет - верхний уровень - генерация планов состоящих из целей, низкий уровень - реализация целей. Есть куча статей на тему планирования.
Как кибернетическую систему можно рассматривать систему способную к гомеостазу, т.е. саморегуляции.
Гомеостаз - это скорее определение жизни а не интеллекта. Есть куча примеров жизни без интеллекта.