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

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

Сторінка 2

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

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

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

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

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

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

Страницы: 1 2 

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

Теоретичні основи визначення рівнів сформованості творчої самостійності
Теоретичною основою визначення рівнів сформованості творчої самостійності стали розробки сучасних учених, які запропонували такі градації рівнів: Шамова Т.І. – репродуктивний; частково-пошу ...

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

Сутність поняття «творча обдарованість», її психолого-педагогічні особливості та проблеми розвитку обдарованих
Феномен творчості завжди привертав увагу дослідників як найважливіший компонент соціальної культури. Творчість – це позитивно спрямована діяльність, каталізатор прогресивних змін у суспільс ...

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

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

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

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