Информационные системы. Бурцева Е.В - 76 стр.

UptoLike

ВУЗ: 

ТГТУ | Тамбов

Составители: 

Рубрика: 

Среди важнейших классов задач, которые ставились перед ИИ,
следует вы-
делить следующие: доказательство теорем, управление роботами, распознава-
ние образов, машинный перевод и понимание текстов на естественном языке,
игровые программы и др.
Доказательство теорем. Изучение приёмов доказательства теорем сыграло
важную роль в развитии ИИ. Многие неформальные задачи, например меди-
цинская диагностика, допускают формализацию как задачу на доказательство
теорем. Поиск доказательства математической теоремы требует не только про-
извести дедукцию, исходя из гипотез, но также создать интуитивные догадки и
гипотезы о том, какие промежуточные утверждения следует доказать для выво-
да доказательства основной теоремы.
В 1954 г. А. Ньюэлл задумал создать программу для игры в шахматы. Дж.
Шоу и Г. Саймон объединились в работе по проекту Ньюэлла и в 1956 г. они соз-
дали язык программирования
IPL-I
(предшественник
LISP
а) для работы с сим-
вольной информацией. Их первыми программами стала программа
LT
(
Logic
Theorist
) для доказательства теорем и исчисления высказываний (1956 г.), а
также программа
NSS
(
Newell
,
Shaw
,
Simon
) для игры в шахматы (1957 г.).
LT
и
NSS
привели к созданию А. Ньюэллом, Дж. Шоу и Г. Саймоном программы
GPS
(
General Problem Solver
) в 1957 – 1972 гг. Программа
GPS
моделировала
используемые человеком общие стратегии решения задач и могла применяться
для решения шахматных и логических задач, доказательства теорем, граммати-
ческого разбора предложений, математического интегрирования и т.д. Процесс
работы
GPS
воспроизводит методы решения задач, применяемые человеком:
выдвигаются подцели, приближающие к решению, применяется эвристический
метод (один, другой и т.д.), пока не будет получено решение. Попытки прекра-
щаются, если получить решение не удаётся. Программа
GPS
могла решать
только относительно простые задачи.
Распознавание образов. К распознаванию образов в ИИ относят широкий
круг проблем: распознавание изображений, символов, текстов, запахов, звуков
и т.д.
В распознавании образов имеется хорошо разработанный математический
аппарат, и для не очень сложных объектов разработаны системы классифика-
ции по признакам, по аналогии и т.д. В качестве признаков могут рассматри-
ваться любые характеристики распознаваемых объектов. Алфавит признаков
придумывается разработчиком системы. Качество распознавания во многом за-
висит от того, насколько удачно придуман алфавит признаков.
Экспертные системы (ЭС). Методы ИИ нашли применение при создании ав-
томатических консультирующих систем. До 1968 г. исследователи в области
ИИ
работали на основе общего подхода – упрощения комбинаторики, бази-
рующегося на уменьшении перебора альтернатив исходя из здравого смысла,
применения числовых функций оценивания и различных эвристик.

Страницы