36. Сравнительная характеристика систем представления знаний на основе продукций и логической модели.

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

37. Метод резолюций.

Метод резолюций – доказательства от обратного. Задача заключается виде логического условия или логической теоремы. Берется логическая формула и вычисляется др.логическая формула. Доказательство теоремы состоит в определении несовместимости и противоречия логической формулы и ее отрицание . Доказательство противоречивости свидетельствует о правильности логического вывода (Задача про робота с кубиками).

По принципу решения задачи необходимо построить отрицание с условием применимости, найти противоречие м\д условием применимости и его отрицании. Затем преминуть действие для преодоления противоречия.

Пошаговое выполнение задачи:

1).Строится цель перемещения, основная подцель, отрицание строим.

2).Выбираем любое из возможных действий. Если нет противоречия м\д отрицанием и условием применимости, то оператор сдвига применить нельзя. Чтобы было противоречие рассчитывается 3 шаг.

3).Сможем ли выполнить смещение оператора робота из точки d в точку а. Если есть противоречия, то можем применить оператор смещения.

4) Применение оператора смещения с использованием при этом список вычеркивания и добавления.d- это вычеркивание.

5) Возвращение к первому оператору- кандидату. Если существует противоречие, то для его устранения применяем оператор сдвига.

6) Применяем оператор сдвига…Дальше аналогично действия выполняются для второго объекта и .т.д.

38. Виды неопределенности в задачах принятия решений

Существует 3 уровня неопределенности.

1-ый уровень - терминами, характеризующими количество отсутствующей информации о задаче. 1-ый этап неизвестность – это этап изучения задачи, при кото-й инф-ция о задаче практически отсутствует.

2-ой этап – постепенное изучение задачи.

В процессе сбора информации данные могут быть недостоверными по следующим причинам:

• Неполнота, т.е. собрана еще не вся возможная информация;

• Недостаточность – собрана не вся необходимая информация;

• Недоопределенность, т.е. для некоторых элементов задачи определены не точные значения, а лишь множества, которым они принадлежат;

• Неадекватность, т.е. ряд элементов задачи описаны по аналогии с уже решавшимися задачами.

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

Дальнейшее изучение может привести либо к ситуации определенности, в которой все элементы описаны однозначно, либо к ситуации

Неоднозначность – вся возможная информация о задаче собрана, но определенное описание не может быть получено.

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

Физическая неопределенность (внешняя среда) – предполагает знание законов распределения вероятностей:

случайность – появление нескольких возможностей из внешней среды;

неточность – измерения определенной величины приборами;

Лингвистическая неопределенность (используемый ЕЯ или профессиональный язык). Неопределенность обусловливается необходимостью оперировать конечным числом слов и фраз для описания за конечное время бесконечного множества разнообразных ситуаций. Порождается:

множественность значений слов (понятий и отношений языка) (полисемия)

омонимия – одни слова для разных объектов (коса, попугай)

попугай говорит попугаю

я тебя попугай попугаю

нечеткость – объекты схожи (небольшой запас денег)

неоднозначность смысла фраз

синтаксическая. Уточнение синтаксиса позволяет понять смысл фразы (казнить нельзя помиловать).

семантическая

поверхностная – понятны определенные слова, но не понятен смысл

глубинная – непонятны отдельные слова

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