Метод резолюцій

Нова педагогіка » Особливості контролю знань логіки предикатів » Метод резолюцій

Сторінка 2

Нехай деякий диз’юнкт D містить літерали для яких існує спільний уніфікатор. Тоді замість к літералів залишають один і така процедура називається склейкою.

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

Перед побудовою резольвент спочатку виконують склейку у кожному диз’юнкті (якщо це можливо). У логіці предикатів теж справедлива теорема про повноту методу резолюцій. Наприклад, для перевірки логічного слідування методом резолюцій потрібно:

Утворити формулу. При цьому у кожній посилці та висновку змінні перейменувати, позначивши усі різними буквами, оскільки вони можуть мати різний зміст.

Знайти сколемівську стандартну форму цієї формули і записати її матрицю у кон’юнктивній нормальній формі ;

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

Страницы: 1 2 

Рекомендуємо почитати:

Концепція підготовки управлінських кадрів у системі вищої освіти
Особливості соціально-економічного розвитку України, пов’язані з розвитком ринкових відносин, новими поглядами на якість і рівень життя, економічною та соціокультурною інтеграцією в європей ...

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

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

Викладання іноземної мови

Викладання іноземної мови

У ДНЗ навчання дітей англійської мови доцільно розпочинати з п'ятилітнього віку. Більшість дітей цього віку досягають інтелектуальної, вольової, мотиваційної та емоційної готовності вивчати другу мову у колективі. >>>

Copyright © 2019 - All Rights Reserved - www.edudirect.net