Главная
Проблема исчисления предикатов
Процедура унификации
Отношения на функциях принадлежности
Неразрешимые алгоритмические проблемы МТ
Полнота и непротиворечивость
NP-полные (универсальные) задачи
Стандартизация услуг
Стандартизация и экология
Организационные и методические принципы сертификации в России
Программа сертификации
Метрологический надзор
Структура кристаллов
Судьбы крестьянские
Еще одна фальшивая ценность
Такая судьба
Соприкосновение с рынком
Мой театр, мои коллеги
Гастроли
И жизнь и слезы и любовь
Возвращение из Томска
Реклама:
|
|
Отношения на функциях принадлежности
мпозиционного вывода на примере. Пусть A(x)=[0.5 0.8 0.9],
|1 1 0.9|
P(x,y)= |0.9 1 0.6|
|0.8 0.9 0.5|,
тогда, A(x),P(x,y) B(y) и B1 ? max(0.5?1, 0.8?0.9, 0.9?0.8)=0.7, B2 =0.8, B3 =0.4.
4.3. АЛЬТЕРНАТИВНЫЕ ЛОГИКИ
Модальное исчисление высказываний. В Модальном Исчислении Высказываний (МИВ) формализуются модальности – конструкции естественного языка “возможность” и “необходимость”. Отличие от ФИВ лишь в наличии двух логических связок, выражаемых в естественном языке как “возможно” и “необходимо”.
Такое исчисление позволяет отделять критичные посылки теоремы от некритичных. Если посылка возможна, значит она не препятствует истинности теоремы, если же посылка не
1
2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 |
