Москва

+7 (495) 638-08-44

Санкт-Петербург

+7 (812) 649-27-11

Ремонт компьютеров и ноутбуков Владыкино

vladikino

Наши цены:

Выезд мастера0* руб.
Диагностика0* руб.
Удаление вирусов350 руб.
Установка Windows350 руб.
Настрока беспроводного интернета410 руб.
Установка антивируса390 руб.
Установка программ300 руб.
Сохранение данных400 руб.

Способность к логическим выводам

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

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

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

В качестве программ, где логические рассуждения: присутствуют в чистом виде, можно назвать программы, используемые для доказательства теорем. Начиная с 50-х годов стали создаваться программы дл> доказательства различных теорем элементарной геометрии и логики, причем были достигнуты определенные успехи. Одно из направлений в исследованиях методик доказательства математических теорем развилось в теорию решений уравнений на базе сведения логических зависимостей к численным алгоритмам. Появились программы преобразования и дифференцирования математических выражений, основанные на методах факторизации (разложении уравнений на множители). К настоящему времени эти программы стали хорошим подспорьем для математиков.

Само по себе доказательство теорем с помощью ЭВМ получило дальнейшее развитие именно благодаря тому, что примерно в середине 70-х годов была создана еще одна область математики, названная <теорией решений>, в которой применение ЭВМ для доказательства теорем оказалось очень успешным. Логические языки программирования, ставшие в последнее время предметом особого интереса, широко используют в качестве своей основы ту же теорию решений, которая применяется при доказательстве теорем.

Моделирование

Если составить перечень областей применения ЭВМ и первое место в этом списке отвести деловым расчетам, второе-научно-техническим расчетам, а третье и четвертое — оставить свободными, то пятое место будет, очевидно, принадлежать моделированию. Как уже говорилось выше, в настоящее время проводятся широкие исследования по математическому моделированию с помощью ЭВМ. Использование компьютеров в моделировании открывает новые аспекты применения ЭВМ, отличные от деловых и научно-технических расчетов.

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

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

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

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

Итак, необходимым условием эффективности компьютерного моделирования является то, что математическая модель должна достаточно верно отражать поведение реального объекта. Поэтому в тех случаях, когда объект — это продукт творческой, а не научном деятельности, методы моделирования не очень помогают. Хотя моделирующие программы можно создавать, используя универсальные языки программирования, однако для моделирования придумано несколько специализированных языков. Типичным является известный язык GPSS, название которого представляет собой аббревиатуру, составленную по первым буквам английских слов General Purpose System Simulation моделирование универсальных систем. Среди математических моделей широкое распространение получили так называемые модели массового обслуживания.

Оформление заявки
X
Перезвоните мне
X