Реферат: Представление знаний предметной области ЭС

Законы дистрибутивности:

A (BÚC) º AB Ú AC,

A Ú BC º (AÚB) (AÚC).

Тождества для констант:

, .

, .

Тождества для констант с отрицанием:

Закон двойного отрицания:

Закон исключенного третьего:

Закон противоречия:

Когда мы рассматривали пример:

Если цена не высокая, то цена низкая, то мы обратили внимание на связку: Если ...., то...., которую обозначили значком É.

Эта операция называется импликацией, и определяется как:

А É В º ù А Ú В,

где А и В – произвольные формулы алгебры предикатов,

º – операция, обозначающая тождественное равенство правой и левой части.

Читается так: «А влечет В», где А – посылка, В – заключение.

Рассмотрим свойства импликации:

1. Рефлективность импликации: .

2. Транзитивность импликации: .

Докажем данное тождество:

3. Свойства логических констант для импликации

, .