Закон исключения среднего

А не является Одновременно и А, и не А.

Некий объект может или обладает, или не обладает некоторым свойством. Суждение может быть или истинным или ложным.

Тема 2: Методы

Методы решения задач, основанные на сведении их к поиску, зависят от особенности предметной области, в которой решается задача, и от требований, предъявляемых пользователем к решению. Особенности предметной области:

• объём пространства, в котором предстоит искать решение;

• степень изменяемости области во времени и пространстве (статистические и динамические области)

• полнота модели, описывающей область, если модель не полна, то для описания области используют несколько моделей, дополняющих друг друга;

• определенность данных о решаемой задаче, степень точности (ошибочности) и полноты (неполноты) данных.

Требования пользователя к результату задачи, решаемой с помощью поиска, можно характеризовать:

• количеством решений: одно решение, несколько решений, все решения.

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

Существующие методы решения задач, используемые в экспертных системах, можно классифицировать следующим образом:

• методы поиска в одном пространстве – методы, предназначенные для использования в следующих условиях: области небольшой размерности, полнота модели, точные и полные данные;

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

• методы поиска при неточных и неполных данных;

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

Предполагается, что перечисленные методам при необходимости должны объединятся для того, чтобы позволить решать задачи, сложность которых возрастает одновременно по нескольким параметрам.