Главная
Проблема исчисления предикатов
Процедура унификации
Отношения на функциях принадлежности
Неразрешимые алгоритмические проблемы МТ
Полнота и непротиворечивость
NP-полные (универсальные) задачи
Стандартизация услуг
Стандартизация и экология
Организационные и методические принципы сертификации в России
Программа сертификации
Метрологический надзор
Структура кристаллов
Судьбы крестьянские
Еще одна фальшивая ценность
Такая судьба
Соприкосновение с рынком
Мой театр, мои коллеги
Гастроли
И жизнь и слезы и любовь
Возвращение из Томска
Сертификат соответствия |
|
Проблема исчисления предикатов
Каждая связанная переменная понижает размерность исходного предиката на единицу. Так P(x1,x2…,xn) – n-местный предикат. "x1$x2[P(x1,x2…,xn)] – n-2-местный предикат. Если удается рассматривать формулу как замкнутую, то в ней все предикатные символы – есть
Процедура унификации
Процедура, приведения двух атомов к общей области определения называется процедурой унификации. Эта процедура базируется на пяти возможных ситуациях взаимного расположения термов двух атомов. Фактически она уже описана выше, необходимо лишь формализовать
Отношения на функциях принадлежности
Если формулы A(x) и B(y) определены на разных множествах предметных констант x?X, y?Y, то любое отношение этих двух предикатов (любая формула составленная из них) дает декартово произведение множеств X и Y. Именно поэтому содержательное исчисление ф
Неразрешимые алгоритмические проблемы МТ
Композицией двух функций, f1(x) и f2(y) называется функция g(x)=f2(f1(x)), которая получается применением f2(y) к результату вычисления f1.
Теорема 5.1. Если f1(x) и f2(y) вычислимы по Тьюрингу, то их композиция g(x)=f2(f1(x)), так же вычислима по Ть
Полнота и непротиворечивость
Если нет ограничения с, имеем неограниченный оператор минимизации.
Оператор минимизации удобен для получения ПРФ обратных имеющимся. Так, определив предикат P(x,y)=1, если x=x(y), можно создать оператором минимизации функцию от х
y(x)=my(P,x). Ре
1 2 3 4 |
