WikiDer > Яркие знания

Vivid knowledge

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

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

База знаний высказывания

А пропозициональный база знаний КБ это яркий если только KB - это полный и последовательный набор из литералы (немного словарного запаса).[1]

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

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

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

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

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

Отрицания ≔ {¬p | p атомарен и KB ⊭ p},
DomainClosure ≔ {(cя ≠ cj) | cя, cj различные константы},
Уникальные имена ≔ {∀x: (x = c1) ∨ (x = c2) ∨ ..., где cя все константы в КБ+ }.

[2]

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

Смотрите также

Рекомендации

  1. ^ Представление знаний и рассуждение / Рональд Дж. Брахман, Гектор Дж. Левеск / стр. 337
  2. ^ Представление знаний и рассуждение / Рональд Дж. Брахман, Гектор Дж. Левеск / стр. 337
  3. ^ Представление знаний и рассуждение / Рональд Дж. Брахман, Гектор Дж. Левеск / стр. 339