Шкалирование знаний

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

отношения объектов ПрО. Мера этого различия называется интенсивностью

свойства или отношения.

111

Шкалирование знаний

112

Шкалирование знаний

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

113

Шкалирование знаний

Например: быстрый—медленный, острый— тупой, сильный—слабый, добрый— злой и т. д. Применение оппозиционных шкал позволяет не только сопоставлять интенсивности свойств и отношений, но и прослеживать направления их потенциальных изменений, а также очерчивать границы этих изменений.

114

Многомерное семантическое пространство

Вместе с тем, поскольку многие свойства и отношения могут изменяться в нескольких аспектах (интенсивностях), существование подобных шкал объективно. Так, например, звук принято характеризовать амплитудой, частотой и фазой (трехмерное представление), а положение точки на плоскости — значениями пары координат по осям X и Y (два измерения).

116

Активность знаний

При поступлении в систему новых знаний должна осуществляться их верификация с целью согласования новых знаний и уже содержащейся в БЗ информации. Результатом этой верификации может быть модификация новых знаний и (или) сведений из БЗ, генерация запроса на уточнение «сомнительных » положений или же полная фальсификация поступившей информации.

117

ЛОГИЧЕСКАЯ МОДЕЛЬ ПРЕДСТАВЛЕНИЯ ЗНАНИЙ

В логических моделях знания представляются в виде совокупности

правильно построенных формул какой- либо формальной системы (ФС),

которая задается четверкой:

ФС= {T,P,A,R},

где Т— множество базовых (терминальных) элементов, из которых формируются все выражения ФС;

118

ЛОГИЧЕСКАЯ МОДЕЛЬ ПРЕДСТАВЛЕНИЯ ЗНАНИЙ

Р — множество синтаксических правил, определяющих синтаксически правильные выражения из терминальных элементов ФС;

А — множество аксиом ФС, соответствующих синтаксически правильным выражениям, которые в рамках данной ФС априорно считаются истинными;

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

119

ЛОГИЧЕСКАЯ МОДЕЛЬ ПРЕДСТАВЛЕНИЯ ЗНАНИЙ

Простейшей логической моделью является

исчисление высказываний.

Высказыванием называется предложение, смысл которого можно выразить значениями: истина (Т) или ложь (F). Например, предложения «лебедь белый» и «лебедь чёрный» будут вы сказываниями.

Из простых высказываний можно составить более сложные:

«лебедь белый или лебедь черный»,

«лебеду белый и лебедь черный»,

«если лебедь небелый, то лебедь черный».

120