Главная
Проблема исчисления предикатов
Процедура унификации
Отношения на функциях принадлежности
Неразрешимые алгоритмические проблемы МТ
Полнота и непротиворечивость
NP-полные (универсальные) задачи
Стандартизация услуг
Стандартизация и экология
Организационные и методические принципы сертификации в России
Программа сертификации
Метрологический надзор
Структура кристаллов
Судьбы крестьянские
Еще одна фальшивая ценность
Такая судьба
Соприкосновение с рынком
Мой театр, мои коллеги
Гастроли
И жизнь и слезы и любовь
Возвращение из Томска
Реклама:
|
|
Отношения на функциях принадлежности
То есть если x,y принимают значение a,b, то а®b.
Тогда интерпретируя:
значение A(a) – истинность появления интерпретации x=a,
значение P(a,b) – истинность появления интерпретации x,y=a,b,
значение B(b) – истинность появления интерпретации y=b.
Получим, что B должно удовлетворять соотношению P(a,b)=A(a)?B(b).
Заметим, что для соблюдения операции импликации должно быть Bj ? Ai-(1-Pij) для всех i.
Но Ai-(1-Pij)=Ai+Pij-1=Ai?Pij.
Выбрав максимальное Ai?Pij , обеспечим Bj ? Ai-(1-Pij) для всех i.
Таким образом,
Bj =max(Ai?Pij), (4.2)
удовлетворяет условию P=A?B. В этом случае B является импликацией и в силу композиционного правила вывода имеет место в теории.
Поясним правило ко
1
2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 |
