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

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

Сторінка 2

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

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

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

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

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

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

Страницы: 1 2 

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

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

Загальна характеристика досвіду використання ігрової діяльності молодших школярів
Розглянувши монографії, статті журналів «Початкова школа», «Начальная школа», «Рідна школа» та відвідуючи уроки вчителів початкової ланки освіти можна сказати, що використання дидактичних і ...

Рівнобедрений трикутник, його властивості та ознаки
Трикутник називається рівнобедреним, якщо в нього дві сторони рівні. Ці рівні сторони називаються бічними сторонами, а третя сторона називається основою трикутника. На рисунку 3.1 зображени ...

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

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

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

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