рефераты конспекты курсовые дипломные лекции шпоры

Реферат Курсовая Конспект

Попов Э.В., Фирдман Г.Р. (Алгоритмические основы интеллектуальных роботов и искусственный интеллект, 1992 г.)

Попов Э.В., Фирдман Г.Р. (Алгоритмические основы интеллектуальных роботов и искусственный интеллект, 1992 г.) - раздел Образование, Основные понятия и определения «Под Системой Ии Понимается Система, Обладающая Способностью К Накоплению И К...

«Под системой ИИ понимается система, обладающая способностью к накоплению и корректировке знания на основе активного восприятия информации о мире и к целенаправленному поведению на основе накопленного знания».

Макарова Н.В. («Информатика», 2001 г.)

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

1.2. История развития искусственного интеллекта за рубежом

После признания искусственного интеллекта как научного направления произошло его разделение на два основных направления: нейрокибернетику и кибернетику «черного ящика». Эти направления развиваются практически независимо, существенно различаясь как в методологии, так и в технологии. И только в настоящее время стали заметны тенденции к объединению этих двух направлений в единое целое.

Нейрокибернетикаориентирована на аппаратное моделирование структур, подобных структуре мозга в виде нейронных сетей. Основную идею нейрокибернетики можно сформулировать следующим образом: «Единственный объект, способный мыслить, это человеческий мозг. Поэтому любое «мыслящее» устройство должно каким-то образом воспроизводить его структуру».

Физиологами давно установлено, что основой человеческого мозга является большое количество связанных между собой и взаимодействующих нервных клеток – нейронов. Первые нейронные сети, или нейросети, были созданы в конце 50-х гг. американскими учеными Г. Розенблаттом и П. Мак-Каллоком. Это были попытки создания системы, моделирующей работу человеческого глаза и его взаимодействия с мозгом. Устройство, созданное ими, получило название персептрон.

В начале 80-х гг. были созданы транспьютеры – параллельные компьютеры с большим количеством процессоров.

В середине 80-х гг. в Японии в рамках проекта разработки компьютера V поколения, основанного на знаниях, был создан компьютер VI поколения, или нейрокомпьютер, моделирующий структуру мозга человека.

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

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

Можно выделить следующие этапы развития искусственного интеллекта.

1-й этап (1956 – 1963 гг.) – этап эвристического программирования,накотором велись интенсивные поиски моделей и алгоритмов человеческого мышления и разработка первых программ, основанных на эвристических методах.

Эвристика– правило, теоретически не обоснованное, но позволяющее сократить количество переборов в пространстве поиска.

Эвристическое программирование – разработка стратегий действий на основе известных, заранее заданных эвристик.

Первая программа искусственного интеллекта – программа «логик – теоретик», была разработана в 1956 г. и предназначена для доказательства теорем в исчислении высказываний (Ньюэлл, Шоу, Саймон). При работе над этой программой был создан язык программирования для манипуляции с символами, указателями и ссылками ИПЛ1 (1956 г.) – предшественник языка Лисп (Маккарти, 1960 г.). В 1957 г. была создана первая программа для игры в шахматы.

Структуры этих программ, представление о желаемых ситуациях и эвристиках (т.е. правилах, которые позволяют сделать выбор при отсутствии точных теоретических оснований) привели к концепции общего решателя GPS – General Problem Solver. Эта программа анализировала различия между ситуациями и конструировала цель, хорошо решала головоломки типа «Ханойская башня», «Задача об обезьяне и бананах», «Миссионеры и людоеды», вычисляла неопределенные интегралы.

Эти работы были описаны в первых учебниках по искусственному интеллекту (Хант, 1986 г., Эндрю, 1985 г.).

В 1960 г. Гелентер создает программу доказательства теорем из школьной геометрии, которая работает лучше, чем ее создатель. Создаются программы, работающие с запросами на естественном языке. Например, программа БЕЙСБОЛ (Грин 1961 г.) отвечала на вопрос о результатах бейсбольных матчей.

В 1964 г. Бобров создал программу решения алгоритмических задач, сформулированных на алгоритмическом языке.

В 1963 – 1970 гг. к решению задач стали подключать методы математической логики.

В 1965 году появился метод резолюций Робинсона, основанный на приведении рассуждений к противоречию. На основе этого подхода в 1973 году А. Колмрауер создал язык Пролог.

Исследования в области ИИ сопровождались разработкой новых языков программирования, позволяющих использовать методы рассуждений и словарный запас. Разработаны языки Лисп, Пролог, QA4, которые позволяют моделировать логический вывод в решении задач. Языки MACSYMA и REDUCE способны производить формальные манипуляции с математическими выражениями.

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

2-й этап развития искусственного интеллекта – создание интеллектуальных роботов (середина 70-х годов). На смену поискам универсального алгоритма мышления пришла идея моделировать конкретные знания специалистов-экспертов.

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

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

В США появились первые коммерческие системы, основанные на знаниях, или экспертные системы (ЭС): MYCIN и DENDRAL, работающие в области медицины и химии (Shotrliffe, 1976; Duchanan, Feigenbaum, 1978). Стал применяться новый подход к решению задач искусственного интеллекта – представление знаний.

3-й этап (80-90-е годы) – переход к созданию человеко-машинных систем, интегрирующих в одно целое интеллект человека и способности вычислительных машин для достижения общей цели – решения задачи (ЭС).

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

В САПР появилось направление «Автоматизация поискового конструирования», в котором развивались и применялись методы искусственного интеллекта для автоматизации проектных процедур. Это были программы оптимизации с применением эвристик, метод И-ИЛИ графов, формализация знаний о физических эффектах и создание программ синтеза принципов действия, формализация методов эвристических примеров, метода фокальных объектов и гирлянд ассоциаций и др. Осуществляются разработки ЭС для конструирования.

4-й этап (90 гг. - до наст. вр.) – внутренняя интеллектуализация ЭВМ. Представление знаний и разработка систем, основанных на знаниях, считается основным направлением искусственного интеллекта. Оно связано с разработкой моделей представления знаний, созданием баз знаний, образующих ядро экспертных систем. Также исследуются проблемы моделей и методов извлечения и структурирования знаний (инженерия знаний).

Осуществляются исследования в области создания естественноязыковых интерфейсов и машинных переводов.

Растет интерес к обучающимся и самообучающимся системам, а также системам по распознаванию образов, что тесно связано с нейрокибернетикой.

Разрабатывается специальное программное обеспечение для решения задач невычислительного плана, как в виде специальных языков программирования – LISP, PROLOG, SMALLTALK, РЕФАЛ и др., так и в виде пакетов прикладных программ, ориентированных на разработку интеллектуальных систем – KEE, ARTS и др.

Происходит коммерциализация искусственного интеллекта, создаются промышленные экспертные системы.

– Конец работы –

Эта тема принадлежит разделу:

Основные понятия и определения

В настоящее время искусственный интеллект одна из быстро развивающихся областей науки которая разрабатывает методы и средства поиска решений... Идея создания искусственного подобия человеческого разума для решения сложных... В XVIII в Г Лейбниц и Р Декарт независимо друг от друга развили эту идею предложив...

Если Вам нужно дополнительный материал на эту тему, или Вы не нашли то, что искали, рекомендуем воспользоваться поиском по нашей базе работ: Попов Э.В., Фирдман Г.Р. (Алгоритмические основы интеллектуальных роботов и искусственный интеллект, 1992 г.)

Что будем делать с полученным материалом:

Если этот материал оказался полезным ля Вас, Вы можете сохранить его на свою страничку в социальных сетях:

Все темы данного раздела:

Понятие искусственного интеллекта
Центральным понятием является понятие «искусственный интеллект». Термин искусственный интеллект (artificial intelligence) был предложен в 1956 г. на научном семинаре в Стэндфордско

Цели и задачи искусственного интеллекта
К основным целям искусственного интеллекта можно отнести: 1. Обработка зрительных сцен: - обработка изображения; - распознавание и понимание образов; - машинная

Основные направления исследований по ИИ
        А

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

Типы мышления
Левое полушарие – «Я» Тип мышления Сходство – различие Выделение признаков конкретных объектов Декомпозиция целого на части

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

Разрешимость формальной системы
Первым вопросом, который возникает при задании формальной системы, является вопрос об инверсии, т. е. о том, возможно ли, рассматривая какую-либо формулу формальной системы, определить, является ли

Интерпретация формальной системы
Формальные системы являются не просто игрой ума, а всегда представляют собой модель какой-то реальности (либо конкретной, либо математической). Интерпретация представл

Доказательство и истинность
Из приведённых выше определений существует уже по построению глубокое различие между концепциями доказательства и истинности. Эти понятия относятся к двум различным областям. Априорно ничто не гара

Основные принципы силлогистики
Аристотель (384-322 гг. до н. э.) – древнегреческий учёный-энциклопедист, основоположник формальной логики. Основные сочинения в области логики: «Категории», «Об истолковании», «Аналитики первая и

Базовые высказывания силлогистики
Высказывание Обозначение Интерпретация Любой S есть P "SÎ P Asp

Решение силлогизмов
Силлогизм – вывод ранга 2, т.е. вывод, который можно сделать на основании истинности двух посылок. В этих посылках фигурируют три класса сущностей: S ,P и M. Для формирования силлогизма используютс

Расширенная силлогистика
Расширение классической силлогистики Аристотеля возможно произвести двумя способами – переходом к негативным утверждениям и увеличением числа посылок.

Моделирование силлогистики
Основной элемент при выводах в силлогистике – переход от двух посылок к заключению. Этот процесс может быть автоматизирован, схема автоматизированной системы для получения силлогистических выводов

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

Понятие семантического дерева
Если Р={Р1…Рn} – множество высказываний, то семантическое дерево – это бинарное дерево, удовлетворяющее следующим условиям: 1) каждая дуга помечена негативной или поз

Алгоритм Куайна
Алгоритм Куайна, или алгоритм частичного перебора, позволяет доказать общезначимость формулы без просмотра полного семантического дерева. Основная идея алгоритма з

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

Нормальные формы и алгоритм нормализации
Каждая логическая формула может изучаться алгебраически путем приведения ее к нормальной форме. Возможно приведение к двум нормальным формам – конъюнктивной нормальной форме (КНФ)

Алгоритм Куайна для ДНФ
Алгоритм Куайна для ДНФпозволяет проверить выполнимость и общезначимость приведенной дизъюнктивной нормальной формы. Пусть р – элементарное высказывание, а S – приведенная

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

Алгоритм доказательства невыполнимости логической формулы
1. Если в формуле нет невыполнимых дизъюнктов, то выбираются l, S1 и S2, такие, что lÎ S1 и ù lÎ S2. 2. Строится резольвента

Хорновские дизъюнкты
Часто в исчислении высказываний возникает следующая задача: нужно проверить какую-то формулу (цель), логически выведенную из множества фактов и правил. Резолюция является методом доказательства от

База знаний на основе исчисления высказываний
Факты Формулы исчисления высказываний а1 – животное имеет шерсть а2 – животное кормит детенышей молоком а

Применение исчисления высказываний в конструировании релейно-контактных схем
Исчисление высказываний нашло широкое применение в теории и практике конструирования релейно-контактных схем благодаря основному свойству высказываний – высказывание может быть либо истинно, либо л

Исчисление предикатов
Уже упоминавшийся выше силлогизм «Люди смертны …» не может быть представлен с помощью исчисления высказываний. Для его формализации необходимо ввести квантифицированную переменную

Определение исчисления предикатов первого порядка
Пусть задано некоторое множество M = {m1, m2, …, mk, …}, в котором m1, m2, …, mk – какие-то определенные предметы из этого множеств

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

Исчисление предикатов как формальная система
Рассмотрим формальную аксиоматическую систему для исчисления предикатов. 1. Алфавит: а) счетное множество предметных переменных x1, x2, …, xn …;

Пренексные нормальные формы исчисления предикатов
В исчислении высказываний были рассмотрены две нормальные формы высказываний – КНФ и ДНФ. В исчислении предикатов также имеется нормальная форма, так называемая пренексная нормальная форма

Сколемовские стандартные формы исчисления предикатов
Очевидно, что если формулы F и Ф равносильны, то F логически невыполнима тогда и только тогда, когда логически невыполнима Ф. Благодаря этому утверждению и в силу того, что алгоритмы приведения в П

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

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

Индуктивные рассуждения
Термин «индукция» (от лат. inductio – наведение) в науку впервые был введен Аристотелем, который, в свою очередь, приписывал первое применение этого термина Сократу. Аристот

Принцип единственного различия
«Если после введения некоторого фактора появляется или после удаления этого фактора исчезает известное явление, причем не вводились и не удалялись никакие другие факторы и не производилось никакого

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

Алгоритм древ
Данный алгоритм является методом качественного обобщения по признакам и предложен как развитие алгоритма обобщения Э. Ханта – CLS. В основе метода используется дерево решений – один из спо

Индукция решающих деревьев (ID3)
Алгоритм ID3 (induction of decision tree) формирует решающие деревья на основе примеров. Каждый пример имеет одинаковый набор атрибутов (признаков), которые можно рассматрив

Метод фокусирования
Важный шаг при решении задачи обобщения понятий – получение решающих правил (продукций, деревьев), которые содержат не только логические функции на конкретных значениях признаков, но включают более

Рассуждения по аналогии
Согласно Большому энциклопедическому словарю «... аналогия (от греч. analogon – соответствие, равенство отношений) – сходство предметов (явлений, объектов) в каких-либо свой

Простая аналогия
Дадим формальные механизмы использования аналогии для решения задач. Пусть существуют два рассуждения: в первое входят два объекта S1 и S2, преобразование F и некоторый вывод

Модальные логики
Вводятся операторы над логическими формулами, которые могут модифицировать их интерпретацию. В зависимости от того, какие операторы вводятся, различают классы модальных логик: 1.

Применение нечеткой математики
Вводится понятие нечеткого множества – множества, относительно любого из элементов которого можно сделать следующие заключения: 1. Элемент принадлежит данному множе

Нечеткая силлогистика
Рассмотрим силлогизм, который содержит следующие посылки: 1. Среди тех, кто носит цилиндр, почти все ходят с тросточкой. 2. Среди тех, кто ходит с тросточкой, почти все пьют марти

Методы поиска в пространстве состояний
Методы поиска в пространстве состояний фактически являются методами поиска на графе, у которого начальная вершина – начальное состояние, и задан оператор, который строит все вершины, следующие непо

Искусственный нейрон
Стремясь воспроизвести функции человеческого мозга, исследователи создали простые аппаратные (а позже программные) модели биологического нейрона и системы его соединений. Когда нейрофизиологи дости

Персептроны
Рис. 13. Персептронный нейрон Первое систематическое изучение искусственных нейронных сетей было предпринято Маккалокком

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

Хотите получать на электронную почту самые свежие новости?
Education Insider Sample
Подпишитесь на Нашу рассылку
Наша политика приватности обеспечивает 100% безопасность и анонимность Ваших E-Mail
Реклама
Соответствующий теме материал
  • Похожее
  • Популярное
  • Облако тегов
  • Здесь
  • Временно
  • Пусто
Теги