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

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

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

 

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

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

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

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

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

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

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

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

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

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

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

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

 

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

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

 

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