Главная
Проблема исчисления предикатов
Процедура унификации
Отношения на функциях принадлежности
Неразрешимые алгоритмические проблемы МТ
Полнота и непротиворечивость
NP-полные (универсальные) задачи
Стандартизация услуг
Стандартизация и экология
Организационные и методические принципы сертификации в России
Программа сертификации
Метрологический надзор
Структура кристаллов
Судьбы крестьянские
Еще одна фальшивая ценность
Такая судьба
Соприкосновение с рынком
Мой театр, мои коллеги
Гастроли
И жизнь и слезы и любовь
Возвращение из Томска
Реклама:
|
|
Проблема исчисления предикатов
трудников лаборатории не допускается к работе с экспертной системой e”.
Теорема содержит следующие посылки:
A1="x[M(x)?U(x,d)], где x – переменная из множества X “кто” , M – свойство объектов “знать пароль”. d – предметная константа из множества баз данных D. U – свойство возможности объекта из X работать c базой данных из D.
A2="x[?M(x)??V(x,e)], где e – предметная константа из множества экспертных систем E, причем D?E. V – свойство возможности работать объекту из X c экспертной системой из E.
A3="x"y[P(x)??U(x,y)], где P – свойство объекта из X, быть сотрудником лаборатории, y – переменная из множества баз данных D.
И заключение:
B="x[P(x)??V(x,e)]. Тогда, доказать теорему значит доказать противоречивость фо
1
2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 |
