Статья 2488

В электронных вычислительных машинах роль переключающих устройств выполняют транзисторы, но даже самый быстродействующий современный транзистор не может изменить свое состояние менее чем за одну наносекунду миллиардную долю секунды. Время переключения оптического устройства, аналогичного транзистору, составляет всего одну пикосекунду, тысячную миллиардной доли секунды.
Авторы статьи создали экспериментальный вариант оптического транзистора, переключающегося при небольшом изменении интенсивности падающего [...]

Читать дальше
Статья 2487

До сих пор программы создавались в расчете на статическую среду. В быстро развивающихся областях, где характер задач также быстро меняется, таких, как архитектура ЭВМ, конструирование электронных интегральных схем, биотехнология, это свойство статичности программного обеспечения уже проявляет себя как серьезный недостаток, программы, предназначенные для решения задач в этих областях, быстро становятся устаревшими. Способность приспосабливаться к [...]

Читать дальше
Статья 2486

Польза и применимость каждого из источников, описанных выше, зависит от определенных свойств области, в которой ставится задача, а экономичность их использования зависит от некоторых других ее свойств.
Эти два типа свойств являются как бы необходимым и достаточным условием применимости того или иного средства. Возьмем, к примеру, аналогию, она имеет смысл только в том случае, когда [...]

Читать дальше
Статья 2485

Тестирование лекарственных препаратов на отдаленные побочные эффекты - хороший пример задач подобного рода.
Когда люди сталкиваются со сложной задачей, они интуитивно выбирают подходящие средства для ее решения. В отличие от этого ранние программы искусственного интеллекта были слабы в том отношении, что полагались на какой-то один подход, обычно формальный метод той или иной разновидности. Теперь многие [...]

Читать дальше
Статья 2483

Там, где хорошие эвристики позволяют реализовать поиск по правилу сначала наилучший вариант, эффект параллельной обработки может оказаться не столь значительным.
Наконец, упомянем еще об одном источнике, которым пользуются люди при решении задач, хотя есть определенный риск, что читателю разговор об этом источнике может показаться шуткой. Речь идет о факторе неожиданной удачи или попросту везении. Хотя [...]

Читать дальше
Статья 2482

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

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

Читать дальше
Статья 2481

Доска для записей, по аналогии с классной доской - уже не способ представления отдельных элементов знаний, а способ их организации в рамках большой программы, доска представляет как бы пространство самой задачи.
В системе распознавания речи, где этот подход был впервые применен, горизонтальная ось доски представляет время, отсчитываемое от начала произнесенной фразы слева направо. Вертикальная [...]

Читать дальше
Статья 2480

В программах эту гибкость трудно промоделировать. В 1962 г. Г. Гелернтер создал программу, решающую школьные задачи по геометрии на плоскости, планиметрии. Каждая задача имела двойственное представление - аксиоматическое и в виде диаграммы. Логическое представление позволяло программе строить формальные доказательства. С другой стороны, диаграммы помогали в выборе методов доказательства и давали возможность программе проверять свои [...]

Читать дальше
Статья 2478

Когда машине сообщают, что между какими-то двумя объектами имеется аналогия, Фред похож на медведя, то пустые ячейки одного фрейма заполняются значениями, взятыми из соответствующих ячеек другого.
Труднее всего для малограмотной программы, конечно, решить, какие свойства-значения можно перенести, а какие нет. Какие именно атрибуты Фреда аналогичны атрибутам медведя. Принятие подобных решений может управляться в программе [...]

Читать дальше
Статья 2477

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

Читать дальше
Статья 2476

Двадцать лет назад Т. Эванс из Массачусетского технологического института написал программу, способную улавливать аналогии между геометрическими фигурами. Наличие способностей подобного рода проверяется тестами по оценке умственного развития людей. Научить программу находить концептуальные аналогии - задача более трудная, и ряд исследователей работает сейчас над этой проблемой. Дж. Карбонелл из Университета Карнеги-Меллона имеет программу, улавливающую сходство [...]

Читать дальше
Статья 2475

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

Читать дальше
Статья 2474

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

Читать дальше
Статья 2473

В процессе поисков, заключающихся в синтезе, анализе и оценивании новых концепций, управляется сотнями эвристик довольно общего характера.
Например, одна из них состоит в том, чтобы рассмотреть экстремальные случаи. Когда программа размышляла над функцией делители в теории множеств, эта эвристика привела программу к тому, чтобы рассматривать только те числа, у которых мало делителей. На этом пути [...]

Читать дальше
Статья 2472

Это делается с использованием формулы Байеса или какой-нибудь другой формальной процедуры из теории вероятностей.
Каждое правило, используемое экспертной системой, может быть простым само по себе. Иногда эти правила слабо организованы или у них вообще отсутствует какая бы то ни было организация. Однако эта система правил как единое целое оказывается способной решать технически сложные задачи, демонстрируя [...]

Читать дальше
Статья 2470

Группа исследователей из Университета Карнеги - Меллона создала четыре программы, каждая из которых управляется эвристиками они предназначены для переоткрытия хорошо известных физических и химических законов. Эти программы позволяют исследователям глубже понять и как бы механизировать различные аспекты формирования научных теорий. В конце концов исследователи хотят объединить все полученные решения в рамках единой модели.
В некотором, [...]

Читать дальше
Статья 2469

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

Читать дальше
Статья 2468

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

Читать дальше
Статья 2466

Если количество объектов и связанных с ними свойств велико, то дерево, генерируемое программой, становится настолько громоздким, что пользоваться им практически невозможно.
Для того чтобы создать эффективную программу, основанную только на каком-нибудь методе формального логического рассуждения, задача должна быть достаточно малой. Одним из перспективных приложений формальных методов может, по-видимому, стать моделирование качественного физического рассуждения. Дж. Браун [...]

Читать дальше
Статья 2465

Чтобы применить метод резолюции, нужно сначала представить доказываемое утверждение в рамках логического формализма, называемого исчислением предикатов. Затем утверждение отрицается и его отрицание разрешается совместно с набором аксиом - утверждений заведомо справедливых в данной конкретной области или рассматриваемой ситуации. Если комбинирование отрицания утверждения с аксиомами приводит к противоречию, то отрицание должно быть ложным и, следовательно, [...]

Читать дальше
Статья 2464

В отличие от этого при ранних попытках создания универсальных систем решения задач предполагалось, что главной составляющей интеллекта является способность к логическому рассуждению. Однако эти попытки оказались менее плодотворными и в большинстве случаев от них теперь отказались.
При решении сложных задач люди пользуются различными методами или, образно говоря, источниками питания, позволяющими сократить процесс поиска решения на [...]

Читать дальше
Статья 2463

В результате стали возможны исследования новых аспектов природных явлений и возникло новое понимание задач, стоящих перед естественными науками.

Искусственный интеллект.
Ключ к решению задач с помощью искусственного интеллекта лежит в сокращении перебора вариантов при поиске решения.
Для этого программы должны реализовать те же принципы, которыми в процессе мышления пользуется человек.
Дуглас Б.
Ленат
Предположим, однажды летним вечером по пути [...]

Читать дальше
Статья 2462

В этом смысле классический пример дает игра в шахматы, где число возможных позиций на доске оценивается в 10120. Однако хороший игрок уменьшает задачу выбора очередного хода до приемлемых размеров и рассматривает лишь около 100 позиций, соответствующих наиболее перспективному развитию игры. В этом, я думаю, и проявляется вся сущность интеллекта при решении задач - уметь [...]

Читать дальше
Статья 2460

Наиболее эффективно вычислительная машина проводит имитацию в том случае, когда она похожа на моделируемую систему.
Основное различие между большинством существующих вычислительных машин и физическими системами или их моделями состоит в том, что вычислительные машины обрабатывают информацию последовательно, в то время как физические системы обрабатывают информацию параллельно. В физических системах, моделируемых клеточными автоматами, значения всех клеток [...]

Читать дальше
Статья 2459

Степень сложности сильно зависит от природы объектов, которые моделируются. Например, если бы единственным способом прогноза погоды была имитация движений каждой молекулы в атмосфере, соответствующие вычисления были бы невозможны. Однако факторы, определяющие погодные условия можно, по-видимому, изучить, рассматривая взаимодействия больших объемов воздушных масс таким образом, моделирование становится возможным.
Эффективность имитации вычислительно неприводимой системы зависит от вычислительной [...]

Читать дальше
Статья 2458

Теорема утверждает, что во всех математических системах, кроме самых простых, могут найтись предложения, которые нельзя доказать или опровергнуть при помощи какого бы то ни было конечного математического или логического процесса. Доказательство данного предложения может потребовать бесконечного числа логических шагов. Даже предложение, которое можно сформулировать кратко, может потребовать произвольно длинного доказательства. На практике имеется много [...]

Читать дальше
Статья 2457

Турбулентное течение жидкости, вероятно, один из многих примеров вычислительной неприводимости.
Для биологических систем вычислительная неприводимость еще более распространена может оказаться, что форму биологического организма можно определить, исходя из его генетического кода, только если следовать шаг за шагом в его развитии. Когда имеет место вычислительная неприводимость, следует использовать методику, основанную на вычислении.
Одним из следствий вычислительной неприводимости [...]

Читать дальше
Статья 2456

Если бы существовал алгоритм, который мог бы выразить поведение таких клеточных автоматов более быстрым способом, чем сами эти автоматы эволюционируют, он позволил бы ускорить любой вычислительный процесс. Поскольку подобное заключение привело бы к логическому противоречию, отсюда следует, что в общем случае не существует кратчайшего пути, который помог бы предсказывать эволюцию произвольного клеточного автомата. Вычисление, [...]

Читать дальше
Статья 2455

Основой его операций может служить способность вычислительной машины выполнять более сложное вычисление, чем конечный автомат, и тем самым достигать тех же результатов за меньшее число шагов, как если бы клеточный автомат стал вычислять 7 раз по 18, непосредственно складывая семь раз число 18, в то время как вычислительная машина нашла бы то же произведение [...]

Читать дальше
Статья 2454

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

Читать дальше
Старые записи »