Яркие знания

Яркие знания относятся к определенному виду представления знаний .

Идея яркой базы знаний состоит в том, чтобы получить из нее интерпретацию, по большей части прямолинейную – она подразумевает интерпретацию. Таким образом, любой запрос к такой базе знаний можно свести к запросу, подобному базе данных .

Пропозициональная база знаний

Пропозициональная тогда и только база знаний KB является яркой тогда, когда KB представляет собой полный и непротиворечивый набор литералов (по некоторому словарю).

Такая база знаний обладает тем свойством, что она представляет собой ровно одну интерпретацию, т. е. интерпретация уникальна. Проверка следования предложения может быть просто разбита на его литералы, и на них можно ответить простой проверкой КБ, подобной базе данных.

База знаний первого порядка

База знаний первого порядка KB является яркой тогда и только тогда, когда для некоторого конечного набора положительных литералов основания без функций KB ⁺ ,

КБ = КБ ⁺ ∪ Отрицания ∪ Закрытие домена ∪ Уникальные имена,

посредством чего

Отрицания ≔ { ¬p | p атомарный и KB ⊭ p },

DomainClosure ≔ { (c _я ≠ c _j ) | c _i , c _j — различные константы },

UniqueNames ≔ { ∀x: (x = c ₁ ) ∨ (x = c ₂ ) ∨ ..., где c _i — все константы в КБ ⁺ }.

Все интерпретации яркой базы знаний первого порядка изоморфны.

См. также

• Предположение о закрытом мире