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

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

Сторінка 2

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

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

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

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

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

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

Страницы: 1 2 

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

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

Загальнотехнічні предмети в контексті підготовки спеціаліста у ВНЗ
Як свідчить досвід історії професійно-технічного утворення в Україні і за кордоном, склад і зміст предметів, що належать до загальнотехнічних, не залишаються незмінними. Історичний аналіз п ...

Методика застосування проекту «Проектування та виготовлення в’язаної шалі гачком» в навчальному процесі загальноосвітніх шкіл
З 5 класу діти вивчають різні види техніки в’язання гачком і пишуть проекти. Цей проект доцільно використовувати в 6 класі. Щоб спростити цей проект – треба спростити виріб. Для виготовленн ...

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

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

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

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