Логика высказываний

Базы знаний

Таблиц истинности

Метода резолюций

Конкретных фактов

Противоречивость знаний

Недостаточность вычислительных возможностей современных компьютеров

Сложное формирование базы знаний когда ее нет в естественном виде

Организация хранения фактов

Все полезные вещи красивы

Все красивые вещи полезны

Некоторые красивые вещи полезны

А истина, В истина, тогда F истина

А истина, В ложь, тогда F ложь

А ложь, В ложь, тогда F истина

А ложь, В истина, тогда F истина

Конъюнкция скобок с элементарными дизъюнкциями

Элементарные конъюнкции, записанные через дизъюнцию

Формула, состоящая только из конъюнкций

A|B

(A->B) и (B->A)

АV¬A <--> В

(А|(B^¬A))V(AV¬(BVA))

С помощью экспертных систем

С помощью правила modus ponens

С помощью таблиц истинности

С помощью правила резолюций

Если гелий металл, он электропроводен. Гелий не электропроводен. Следовательно гелий не металл.

Аргентина является республикой; Бразилия – республика; Венесуэла – республика; Эквадор – республика. Аргентина, Бразилия, Венесуэла, Эквадор – латиноамериканские государства; других латиноамериканских государств нет. Следовательно все латиноамериканские государства являются республиками.

Многие птицы умеют летать. Это потому, что у них есть крылья.

Алюминий – твердое тело и металл; железо, медь, цинк – также твердые тела и металлы; платина - металл. Следовательно, платина - твердое тело.

A

(B^¬A)^(AVBVA)

AV(BVC)

A^(AVB)

Большое количество информации

Нет хорошо формализованных знаний

Нет экспертов в этой области