НОУ= 
.
Пример 2. (Множество не унифицируемо).
Дано множество формул:
.
Определить, унифицируемо ли множество 
. Если да, найти НОУ.
Шаг 0: Полагаем 
.
Шаг 1: 
.
.
ПВ негативна.
Полагаем 
.
Шаг 2: 
.
.
ПВ позитивна, так как 
встречается в 
.
Вывод. Множество не унифицируемо.
2.2.2. Метод резолюций в исчислении предикатов
Метод резолюций для исчисления предикатов представляет собой комбинацию алгоритма унификации для исчисления предикатов и метода резолюций для исчисления высказываний.
Поскольку переменные во всех дизъюнктах считаются связанными кванторами всеобщности, то эти переменные можно переименовывать, чтобы избежать конфликтов во время процедуры унификации. Такое переименование переменных называется нормализацией переменных.
Рассмотрим применение метода резолюции на примерах.
Пример 1. Существуют студенты, которые любят всех
преподавателей. Ни один из студентов не любит невежд. Следовательно, ни один из преподавателей не является невеждой.
Введем следующие обозначения
- “ 
- студент”;
- “ - преподаватель”;
- “ - невежда”;
- “ любит 
”.
На языке логики предикатов эти утверждения будут иметь вид:
;
;
,
где - “ - есть студент”;
- “ - есть преподаватель”;
- “ - есть невежда”;
- “ любит ”.
Получаем ССФ последовательно для всех посылок и заключения.
Для первой посылки ССФ имеет вид: 
.
Для второй посылки ССФ имеет вид: 
.
Отрицание заключения имеет такую ССФ:
= 
= 
.
К полученному набору дизъюнктов применим метод резолюции.
1. 
;
2. 
;
3. 
;
4. 
;
5. 
;
6. 
(1,3) { 
};
7. 
(2,4) { 
};
8. 
(6,7) { };
9. Нулевая резольвента (ð) (5,8).
Пример 2.
Допустим, что посылки и заключения уже представлены в виде множества дизъюнктов
1. 
;
2. 
;
3. 
;
4. 
;
5. 
(1,2) { };
6. 
(4,5) { 
};
7. Нулевая резольвента (ð) (3,6).
Пример 3. Преподаватели принимали зачеты у всех студентов, не являющихся отличниками. Некоторые аспиранты и студенты сдавали зачеты только аспирантам. Ни один из аспирантов не был отличником. Следовательно, некоторые преподаватели были аспирантами.
Пусть
- - студент,
- - отличник,
- - преподаватель,
- -аспирант,
- сдает зачеты .
Тогда на языке исчисления предикатов имеем
;
;
;
.
Получаем ССФ последовательно для всех посылок и заключения.
Для первой посылки ССФ имеет вид:
;
Для второй посылки ССФ имеет вид:
;
Для третьей посылки ССФ имеет вид:
;
Отрицание заключения имеет такую ССФ
.
К полученному множеству дизъюнктов применим метод резолюции.
1. 
;
2. 
;
3. ;
4. 
;
5. 
;
6. 
;
7. 
;
8. 
(4,6) { 
;
9. 
(8,2) { };
10. 
(9,5) { 
};
11. 
(10,7) { 
};
12. 
(11,1) { };
13. 
(12,8);
14. Нулевая резольвента (ð) (3,13).
Получение пустого дизъюнкта свидетельствует о том, что сделанное предположение о ложности вывода является неверным, следовательно, заданное множество общезначимо.
3. КОНТРОЛЬНЫЕ ВОПРОСЫ И ЗАДАНИЯ
Проверить правильность следующих умозаключений тремя способами: методом семантических таблиц и методом резолюций.
1. Ни один человек не является четвероногим. Все дети – люди. Следовательно, ни один ребенок не является четвероногим.
2. Каждый, купивший билет, получает премию. Следовательно, если нет премии, то никто не покупал билетов; (В(х,у) - “x покупает y”; T(x) - “x есть билет”; P(x) - “х есть премия”; R(x,y) - “x получает у”).
3. Каждый член комитета богат и республиканец. Некоторые члены комитета – старики. Следовательно, существуют старики- республиканцы.
4. Некоторые республиканцы любят всех демократов. Ни один республиканец не любит ни одного социалиста. Следовательно, ни один демократ не является социалистом.
5. Всякое рациональное число есть действительное число. Существует рациональное число. Следовательно, существует действительное число.
6. Все рациональные числа являются действительными числами. Некоторые рациональные числа – целые числа.
Следовательно, некоторые действительные числа – целые числа.
7. Все первокурсники встречаются со всеми второкурсниками. Ни один первокурсник не встречается ни с одним студентом предпоследнего курса. Существуют второкурсники. Следовательно, ни один второкурсник не является студентом предпоследнего курса.
8. Некоторые первокурсники любят всех второкурсников. Ни один первокурсник не любит никого из студентов предпоследнего курса. Следовательно, ни один второкурсник не является студентом предпоследнего курса.
9. Борис – мальчик, у которого нет автомобиля. Анна любит только мальчиков, имеющих автомобили. Следовательно, Анна не любит Бориса.
10. Некоторым нравится Елена. Некоторые не любят никого, кому нравится Елена. Следовательно, некоторых любят не все.
11. Марк был римлянином. Цезарь был диктатором. Те римляне, которые ненавидели диктатора, пытались убить его. Римляне либо были преданы диктатору, либо ненавидели его. Марк не был предан Цезарю. Следовательно, Марк пытался убить Цезаря.
12. Никакой торговец игрушками сам себе их не покупает. Некоторые люди, покупающие игрушки, глупы. Следовательно, некоторые глупые люди не торгуют игрушками.
13. Иван и Петр – братья. Братья имеют одну фамилию. Петр имеет фамилию Сидоров. Следовательно, Иван тоже имеет фамилию Сидоров.
14. Всякое нечетное натуральное число является разностью двух квадратов. 5 является нечетным натуральным числом. Следовательно, 5 является разностью двух квадратов.
15. Когда я устал и голоден, я хочу вернуться домой. Сейчас я устал и голоден. Значит, я хочу вернуться домой.
16. Когда я устал, я хочу вернуться домой. Когда я голоден, я хочу вернуться домой или отправиться в ресторан. Сейчас я устал и голоден. Поэтому сейчас я хочу вернуться домой.
17. Перья есть только у птиц. Ни одно млекопитающее не является птицей. Значит, млекопитающие лишены перьев.
18. Имеется прилежные студенты. Ни один студент не
лишен способностей. Значит, некоторые студенты, лишенные способностей, не прилежны.
19. Все политики – лицедеи. Некоторые лицедеи – лицемеры. Значит, некоторые политики - лицемеры.
20. Ничто плодотворное не легко. Некоторые легкие вещи общедоступны. Значит, некоторые общедоступные вещи не плодотворны.
21. У неё только преданные друзья. Некоторые из ее друзей – лицемеры. Ни один лицемер не может быть преданным. Значит, все ее друзья – проходимцы.
22. Глупец был бы способен на это. Я на это не способен. Значит, я не глупец.
23. Если бы кто-нибудь мог решить эту задачу, то и какой-нибудь математик мог бы ее решить. Иванов – математик. А не может ее решить. Значит, задача неразрешима.
24. Всякий кто может решить эту задачу, - математик. Иванов не может ее решить. Значит, Иванов – не математик.
25. Всякий математик может решить эту задачу, если кто-нибудь ее может решить. Иванов – математик, а не может ее решить. Значит, задача неразрешима.
26. Всякий, кто может решить эту задачу, - математик. Ни один математик не может решить этой задачи. Значит, она не решаема.
27. Если какое-нибудь из чисел, лежащиx (строго)
между 1 и 101, делит 101, то простое число, меньше 11, делит 101. Ни одно простое число, меньше 11 не делит 101. Значит, ни одно число между 1 и 101 не делит 101.
28. Никто не поймет этого сообщения, если кто-нибудь не разгадает кода. Значит, имеется кто-то, кто может понять это сообщение только, если разгадает код.
29. Любой радикал является сторонником общественного прогресса. Иные консерваторы
недолюбливают всех сторонников общественного прогресса. Значит, иные консерваторы недолюбливают все радикалов.
30. Некоторые пациенты любят докторов. Ни один пациент не любит знахарей. Значит, ни один доктор не является знахарем.
31. Тот, кто распускает этот слух, должен быть и ловким и беспринципным. Иванов не ловок, Сидоров не беспринципен. Значит, ни Иванов, ни Сидоров не распускают этот слух.
32. Ни один первокурсник не любит второкурсников. Все, живущие на первом этаже, - второкурсники. Следовательно, ни один первокурсник не любит никого из живущих на первом этаже.
ЛАБОРАТОРНАЯ РАБОТА № 7
ТЕОРИЯ АЛГОРИТМОВ
1. ЦЕЛЬ РАБОТЫ
Целью работы является ознакомление с современными подходами точного определения алгоритмов
2. КРАТКИЕ ТЕОРЕТИЧЕКИЕ СВЕДЕНИЯ
Алгоритм – общий, единообразный, точно определенный способ решения любой задачи из данной массовой проблемы. Это определение алгоритма называют интуитивным. Интуитивное определение алгоритма достаточно, когда речь идет об уже найденном алгоритме решения задачи. Для доказательства существования алгоритма достаточно описать физический процесс, приводящий к решению. В этом случае можно обойтись интуитивным определением алгоритма.
Для доказательства отсутствия алгоритма требуется строгое определение алгоритма. Поиск строгого определения алгоритма ведется в трех направлениях.
Первое направление связано с уточнением понятия эффективно вычислимой функции.
Второе направление связано с машинной математикой (сущность понятия алгоритма раскрывается здесь путем рассмотрения процессов, осуществляемых в так называемой машине Тьюринга).
Третье направление связано с понятием нормальных алгоритмов, разработанных российским математиком А.А. Марковым.
2.1. Вычислимые функции, частично-рекурсивные и общерекурсивные функции. Тезис Черча
Пусть необходимо найти алгоритм для решения задачи, в условии которой входят значения некоторой системы целочисленных параметров: 
, а искомым результатом является целое число 
.
Функция 
- называется эффективно вычислимой, если существует алгоритм,
позволяющий вычислить ее значение (здесь используется интуитивное определение алгоритма). Совокупность вычислимых функций называется совокупностью рекурсивных функций.
Элементарные вычислимые функции
1. 
(оператор сдвига или функция следования)
2. 
(оператор аннулирования или нуль функция)
3. 
, (
) (оператор проектирования).
Эти три простейшие функции всюду определены и вычислимы.
Операции над функциями.
1. Суперпозиция функций:
Рассмотрим функции
, 
,…, 
, функцию 
и функцию 
, определяемую равенством =
= 
Принято считать, что функция 
получена из функции 
, и функций 
, 
,…, 
суперпозицией.
Если функции , , ,…, всюду определены и интуитивно вычислимы, то функция также будет определена и интуитивно вычислима.
В том случае, если не все функции , ,…, зависят не от всех 
аргументов, для получения суперпозиции используются фиктивные аргументы и функции проектирования.
Например, функция 
получена суперпозицией из функций 
, и
; 
; 
= 
; 
.
2. Схема примитивной рекурсии.
Рекурсия - это способ задания функции путем определения каждого из ее значений в терминах ранее определенных значений.
Пусть имеем две функции: 
и 
, где 
.
Рассмотрим новую функцию, которая удовлетворяет следующим двум равенствам
,
.
Функция зависит от 
аргументов, функция 
зависит от аргументов, а функция зависит от 
аргумента. Говорят, что функция получена из функций и по схеме примитивной рекурсии. Если функции и интуитивно вычислимы, то будет интуитивно вычислима и функция . Если и всюду определены, то будет всюду определена и функция .
Пусть функция 
задана равенствами
,
.
Нетрудно показать, что 
. Действительно, 
. Полагая в этом равенстве 
, получим 
или 
.
Вычислить при 
и 
.
В этой задаче 
, а 
.
,
,
,
,
,
.
Пример 1. Используя простейшие функции и оператор примитивной рекурсии, получить функцию, называемую усеченной разностью
Рассмотрим функцию 
, полученную из функции 
фиксированием второго аргумента. Функция удовлетворяет следующим соотношениям:
;
, то есть она получена из простейших функций и 
с помощью оператора примитивной рекурсии.
Из определения усеченной разности следует, что функция удовлетворяет также следующим равенствам
для любых и . Таким образом, функция получена с помощью оператора примитивной рекурсии из простейшей функции и функции 
