Главная
Проблема исчисления предикатов
Процедура унификации
Отношения на функциях принадлежности
Неразрешимые алгоритмические проблемы МТ
Полнота и непротиворечивость
NP-полные (универсальные) задачи
Стандартизация услуг
Стандартизация и экология
Организационные и методические принципы сертификации в России
Программа сертификации
Метрологический надзор
Структура кристаллов
Судьбы крестьянские
Еще одна фальшивая ценность
Такая судьба
Соприкосновение с рынком
Мой театр, мои коллеги
Гастроли
И жизнь и слезы и любовь
Возвращение из Томска
Реклама:
|
|
Процедура унификации
о такое высказывание не является элементарным. То есть Y(P(x)) не элементарное высказывание. Аналогично ЛП атомом в нечеткой логике являются нечеткие предикаты.
ППФ нечеткой логики. Поступая по аналогии с ЛВ и ЛП, можно дать определение ППФ нечеткой логики:
Атом есть ППФ.
Если A и B ППФ, то A?B, A?B, A?B, A?B, ?A,?A, ^A есть ППФ.
Если A – ППФ, и x – предметная переменная, то "x(A), $x(A) есть ППФ.
Например, высказывание “Студент среднего возраста и студент очень маленкого роста” на языке нечеткой логики примет вид: P(x)?Q(x).
x – предметная переменная из множества X студентов.
L1 –ЛИНГ “возраст”, L2 –ЛИНГ “рост”.
m1 – модификатор “средний” для ЛИНГ L1, m2 – модификатор “маленький” для ЛИНГ L2.
1
2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 |
