Принятие управленческих решений в маркетинге с помощью компьютерных средств, страница 71

Однако процесс автоматизации дедуктивных рассуждений оказывается крайне сложным, что объясняется рядом причин.

Первый этап дедуктивных рассуждений заключается в составлении словаря терминов. Здесь прослеживается очевидная аналогия с экспертными системами.

Следующий шаг дедуктивных рассуждений – нормализация утверждений. Знания об изучаемом предмете обычно имеются в виде словесных высказываний, которые требуется привести к одному из вариантов, отображенных в табл. 4. Эта проблема не сводится только к тому, что знания должны быть точными, и к тому, что далеко не все высказывания имеют одну из перечисленных форм. Естественный язык очень сложен для формальной интерпретации. Смысл предложения в тексте обычно зависит от контекста, то есть от смысла предыдущих и последующих предложений. Таким образом, лучше нормализовать высказывания вручную.

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

Проверка того, что новое утверждение совпадает с уже имеющимся – вещь тривиальная и сложности не составляет. Более сложно сохранить целостность (непротиворечивость) базы утверждений. Для этого надо проверить, не противоречит ли новое утверждение уже имеющимся. Проверка новых утверждений должна происходить согласно табл. 5 [38].

Подразумевается, что имеющееся и новое утверждения относятся к одним и тем же классам.

Минусы по диагонали означают, что новое утверждение следует проигнорировать, так как идентичное утверждение уже занесено в базу. Символ V означает, что вновь поступившее высказывание более сильное, чем имеющееся, и менее сильное можно удалить, заменив его на более сильное. Знак ? отражает обратную ситуацию: поступившее высказывание более слабое и его можно проигнорировать.

Таблица 5

Проверка нового утверждения при введении его в базу утверждений

Имеющееся утверждение

A

E

I

O

a есть Р

а не есть Р

Поступившее утверждение

A

-

X

V

X

V

X

E

X

-

X

V

X

V

I

?

X

-

V

V

O

X

?

-

V

V

а есть Р

-

Х

а не есть Р

Х

-