4. Що таке непрямі методу доказу?

Непрямі (опосередковані) - це такі докази, в яких істинність висунутого тези обгрунтовується шляхом докази помилковості антитези, вони діляться на два види:

Докази від протилежного, здійснюється шляхом встановлення хибності судження суперечить тезі. Передбачається істинності антитези і з нього виводиться наслідок, якщо хоча б одна з отриманих слідств суперечить або посилці, або іншому слідству, істинність якого вже встановлена, то дане слідство, а за ним і антитеза передбачається хибним.

Розділові докази, метод виключення. Встановлюється помилковість всіх членів диз'юнкції, окрім одного, який є обгрунтованим тезою.

5. Поняття виводу методом резолюцій. Правило резолюції.

Вывод в формальной логической системе является процедурой, которая из заданной группы выражений выводит отличное от заданных семантически правильное выражение. Эта процедура, представленная в определенной форме, и является правилом вывода. Если группа выражений, образующая посылку, является истинной, то должно гарантироваться, что применение правила вывода обеспечит получение истинного выражения в качестве заключения.

Наиболее часто используются два метода. Первый – метод правил вывода или метод естественного (натурального) вывода, названный так потому, что используемый тип рассуждений в исчислении предикатов приближается к обычному человеческому рассуждению. Второй – метод резолюций.В его основе лежит исчисление резольвент.

Улогіці, зокрема логіці висловлень і логіці першого порядку, правило резолюцій є правилом виводу формул записаних укон'юнктивній нормальній формі і нормальній формулі Сколема. Широко застосовується при автоматичному доведенні теорем.

6. Пояснить призначення предикатів управління перебором ! та fail.

Предикат ! используется прежде всего для определения отрицания как явного неуспеха подцели.

fail – это тождественно-ложный предикат, искусственно создающий ситуацию неуспеха. После выполнения этого предиката управление передается в точку отката и поиск продолжается. Использование предиката fail позволяет найти все решения задачи.

fail - завжди помилкові. викликає повернення для перевірки бази в правилах

! - (Cat) - предикат відсікання, обмежує повернення

7. Пояснить механізм роботи Прологу – співставлення з ціллю, зв’язування та звільнення змінних, відкат.

Пролог включає механізм виведення, який заснований на зіставленні зразків. За допомогою підбору відповідей на запити він витягує зберігається (відому) інформацію. Пролог намагається перевірити істинність гіпотези (іншими словами, відповісти на питання), запитуючи для цього інформацію, про яку вже відомо, що вона істинна.

Пролог забезпечує тільки два види повторення

• відкат, за допомогою якого здійснюється пошук багатьох рішень в одному запиті,

• і рекурсію, в якій процедура викликає сама себе.

Єдиним способом звільнити змінну, одного разу пов'язану в реченні, є відкат при пошуку з поверненням.

Коли Пролог відступає до точки пошуку з поверненням, він звільняє всі змінні, пов'язані після цієї крапки, і буде шукати інше рішення для вихідного звернення.