Жарқын білім - Vivid knowledge

Жарқын білім нақты түріне жатады білімді ұсыну.

Идеясы айқын білім қоры интерпретацияны негізінен тікелей түсіну керек - бұл түсіндіруді білдіреді. Осылайша, кез келген сұрау осындай а білім базасы дейін азайтуға болады дерекқор - сұрау сияқты.

Ұсыныстың білім қоры

A ұсыныстық білім базасы КБ болып табылады жарқын iff КБ - а толық және тұрақты жиынтығы литералдар (кейбір лексика бойынша).[1]

Мұндай білім қорының қасиеті бар, ол дәл бір интерпретация ретінде, яғни интерпретация ерекше. Сөйлемнің пайда болуын тексеруді оның әдебиетіне бөлуге болады және бұған қарапайым деректер базасына ұқсас КБ тексерісі жауап бере алады.

Бірінші ретті білім қоры

A бірінші ретті КБ білім базасы жарқын iff кейбір функционалды емес позитивті лебалдардың ақырғы жиынтығы үшін КБ+,

КБ = КБ+ ∪ Теріс жағдайлар ∪ Доменді жабу ∪ Бірегей аттар,

сол арқылы

Теріс жағдайлар ≔ {¬p | p - атомдық және KB ⊭ p},
DomainClosure ≔ {(шамаменмен ≠ cj) cмен, сj нақты тұрақтылар},
Бірегей атаулар ≔ {∀x: (x = c1) ∨ (x = c2∨ ..., мұнда смен барлығы КБ-дағы тұрақты болып табылады+ }.

[2]

Бірінші ретті білім қорының барлық түсіндірмелері изоморфты.[3]

Сондай-ақ қараңыз

Әдебиеттер тізімі

  1. ^ Білімді ұсыну және пайымдау / Рональд Дж.Брахман, Гектор Дж.Левеск / 337 бет
  2. ^ Білімді ұсыну және пайымдау / Рональд Дж.Брахман, Гектор Дж.Левеск / 337 бет
  3. ^ Білімді ұсыну және пайымдау / Рональд Дж.Брахман, Гектор Дж.Левеск / 339 бет