Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
шпоры ИИ.docx
Скачиваний:
13
Добавлен:
05.09.2019
Размер:
417.77 Кб
Скачать

1. Назовите основные признаки и функциональные возможности в соответствии с которыми систему можно отнести к интеллектуальной

К основным признакам интеллектуальной системы относят наличие базы знаний и системы логического вывода. В свою очередь основными теоретическими проблемами искусственного интеллекта являются проблема представления знаний и проблема логического вывода.

Всякая задача, для которой априорно неизвестен алгоритм решения, относится к искусственному интеллекту.

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

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

  • в них предполагается наличие выбора – нужно сделать выбор между многими вариантами в условиях неопределённости, и это недетерминизм, который носит фундаментальный характер, эта свобода действия является существенной составляющей интеллекта.

2. Как применяются методы доказательства теорем к решению задач.

Билет №21

1. Опишите процедуру поиска метода генерация – проверка.

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

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

К методам поиска, реализованным по требованию пользователя полный состав решений в рамках большого пространства состояний, относят поиск в факторизованном пространстве. Факторизованным пространством называют пространство, которое можно разбить на непересекающиеся подпространства частичными неполными решениями. Здесь используется метод “иерархическая генерация-проверка”. Генератор определяет текущее частичное решение, затем проверяется, может ли привести это решение к успеху. Если текущее решение отвергается, то из рассмотрения без генерации и проверки устраняются все решения данного класса.