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

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

Сторінка 2

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

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

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

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

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

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

Страницы: 1 2 

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

Формування мовно-мовленнєвих компетентностей у майбутніх учителів початкових класів у процесі вивчення курсу «Українська мова за професійним спрямуванням»
У шкільній освіті сьогодні відбувається переорієнтування на гостру потребу комунікативно-діяльнісної спрямованості вивчення мови. „Головне завдання української мови . – підготовка мовно гра ...

Методичні рекомендації соціальним педагогам, вчителям, батькам щодо виховання та навчання обдарованих дітей
На основі одержаних результатів констатувального і формувального етапів експериментального дослідження, ми пропонуємо такі методичні рекомендації батькам щодо виховання та навчання творчо о ...

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

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

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

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

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