ФУНДАМЕНТАЛЬН

АЯ ПРОБЛЕМА
ЛОГИКИ
Данная работа интересна и актуальна в
современном мире . Так как помогает решить
большое количество практических задач :
1 ) Прогнозирование развитие ситуации
2 ) Реализация интеллектуальных систем на
современных высокопроизводительных параллельных
вычислительных платформах.
3 ) Проблема логического вывода напрямую связана с
искусственным интеллектом и робототехникой.
В данной работе мы рассмотрим :
1) Что такое прямой вывод
2) Принцип дедукции
3) Что такое метод резолюций
 Исходными символами исчисления
высказываний (ИВ) будут:
 пропозициональные буквы (элементарные

высказывания) H1, H2,…, Hn; (гипотезы)

 примитивные связки ;

 скобки (,).
 Логическое высказывание С состоит
из множества H{H1,H2,H3…Hn}.
 Выводом из множества гипотез
называют теоремой . Тогда наше С
является теоремой .
 Аксиома – формула, заведомо
являющаяся тавтологией и не
требующая вывода.
Первое решение проблемы вывода

 Называемая прямой вывод .

В прямом выводе используется знание
семантики тех операторов, через
которые строятся аксиомы.
Пример
 Иван ходит в кино если там идет комедия .
Когда Иван ходит в кино он всегда покупает
попкорн .
 Доказать что из условия ( Если в кино
показывали комедию или триллер ) → что
Иван ел попкорн и смотрел триллер
Обозначим условия
 А - Иван ходит в кино
 В – В кино показывают

комедию
 С - Если в кино показывали

триллер
 D - Когда Иван ходит в

кино он всегда покупает

попкорн .
 B→ A, A&D, BvC →D&C.
 Пронумеруем аксиомы:
 B→A (1),
 A&D (2),
 BvC (3),
 D&C(4)
Вывод. Используем свойства связок И, ИЛИ и СЛЕДУЕТ.

 1. Из A&D ⇒A (4),
 2. Из A&D ⇒D (5),
 (свойство связки И: A&D истинна, если
истинны A и D одновременно)
 3. Из D&C и B→A ⇒ B (6), (B→A, A: Если A= И,
то A = Л, значит B→Л, т.е. B не может быть
И, т.е. B=Л).
 Из B и (3) ⇒ С (7), (если B=Л и BvC=И, то C
должно быть равно И).
 из (5) и (7) следует D&C.
Доказательство «от
противного»
 Пример метода
дедукции
Требуется доказать или опровергнуть вывод
 {¬AvB, B →C, AvD} → CvD.

 Обозначим:

 ¬AvB (1),

 B →C (2),

 AvD (3).

 Введём ещё одно высказывание (противоположное

тому, что необходимо вывести): ¬(CvD) = ¬С&¬D (4)

(по правилу де Моргана).
 Тогда из (4) ⇒¬С (5),

 Из (4) ⇒¬D (6),

 из (6) и (3) ⇒A (7),
 из (7) и (1) ⇒B (8),
 из (8) и (2) ⇒ С(9),
 из (5) и (9)
 ⇒ ¬C&С, то есть противоречие. Значит,
верно, что CvD.
Метод резолюций
{A∨X, B∨¬X} → A∨В,
 которое можно записать в виде:

 {¬XvA, XvB} → A∨В.

 Это правило называется правилом

резолюций.
Примеры использования метода резолюций в логике высказываний

 Для доказательства того, что некое заключение C

является логическим следствием (выводимо из)
множества гипотез (аксиом) {H1, …Hn}, нужно
применить резолюцию к множеству{H1,… Hn, ¬C}.
Эти гипотезы и отрицание заключения должны
иметь вид дизъюнкций.
 Пример
 Выясним, является ли логически
правильным следующее простое
рассуждение: «Ученик пойдёт домой
(p) или останется в лицее (q). Он не
останется в лицее. Следовательно, он
пойдёт домой».
 p ∨q, ¬q, p. Истинность следствия будет
определяться истинностью имеющихся
высказываний, {p ∨q, ¬q} →p.
Применим принцип дедукции: {p ∨q, ¬q, ¬p} Л.
Невыполнимость множества докажем с помощью
резолюций:
 1. p ∨q,

 2. ¬q,

 3. ¬p,

 4. p (1,2).

 5. ЛОЖЬ (3,4)
Фразы Хорна
 Преобразуем функцию импликации
 (A1&A2& …&Am)→B v C

 Тогда этой функции импликации будет

соответствовать формула (с учётом правила
де Моргана) , записанная в виде
дизъюнкции:

 ⌐A1 v ⌐ A2 v …v ⌐ Am v B v C.
 Перенесём положительные литералы
вперед и получим
 B v C v ⌐ A1 v ⌐ A2 v …v ⌐ Am.

 Такую формулу называют фразой Хорна,

положительные литералы (B,C) называют
альтернативными следствиями,
негативные( A1, A2, …, Am ) – гипотезами
 Выводы :
1) Математическая логика широко используется в
робототехнике .
2) С помощью математической логики мы можем
быстро оценить ситуацию и дать на нее
логический вывод .