Jonli bilim - Vivid knowledge

Jonli bilim ning aniq turiga ishora qiladi bilimlarni namoyish etish.

A g'oyasi jonli bilimlar bazasi undan to'g'ridan-to'g'ri tushuntirishni olishdir - bu talqinni nazarda tutadi. Shunday qilib, har qanday so'rov bilimlar bazasi ga kamaytirish mumkin ma'lumotlar bazasi - o'xshash so'rov.

Taklifiy bilimlar bazasi

A taklif bilimlar bazasi KB jonli iff KB a to'liq va izchil to'plami adabiyotshunoslar (ba'zi bir so'z boyliklari ustida).^[1]

Bunday bilimlar bazasi xuddi shunday talqin qilish xususiyatiga ega, ya'ni talqin noyobdir. Hukmning kelib chiqishini tekshirishni uning matniga ajratish mumkin va ularga oddiy ma'lumotlar bazasiga o'xshash KB tekshiruvi javob berishi mumkin.

Birinchi darajadagi bilimlar bazasi

A birinchi tartib KB ma'lumotlar bazasi jonli iff ba'zi bir cheklangan ijobiy funktsiyasiz er osti yozuvlari to'plami uchun KB⁺,

KB = KB⁺ ∪ Negations ∪ DomainClosure ∪ UniqueNames,

shu bilan

G {¬p | inkorlari p atomik va KB ⊭ p},

DomainClosure ≔ {(c_men ≠ c_j) | v_men, v_j aniq konstantalar},

Noyob ismlar ≔ {∀x: (x = c₁) ∨ (x = c₂∨ ..., qaerda v_men ularning hammasi KB da doimiydir⁺ }.

^[2]

Birinchi darajali jonli bilimlar bazasining barcha talqinlari izomorfdir.^[3]

Shuningdek qarang

• Yopiq dunyo taxminlari

Adabiyotlar

Bu mantiq bilan bog'liq maqola a naycha. Siz Vikipediyaga yordam berishingiz mumkin uni kengaytirish.

Bu ma'lumotlar bazasi bilan bog'liq maqola a naycha. Siz Vikipediyaga yordam berishingiz mumkin uni kengaytirish.