Izchillik (bilim asoslari) - Consistency (knowledge bases)

A bilimlar bazasi KB izchil iff uni inkor qilish a emas tavtologiya.

Ya'ni KB ma'lumot bazasi nomuvofiq (izchil emas) iff bu yerda yo'q sharhlash qaysi sabab bo'ladi KB.

Mos kelmaydigan bilimlar bazasiga misol:

KB: = {a, ¬a}

Bilimlar bazalari bo'yicha izchillik asosan tabiiy tushunishga o'xshashdir izchillik.

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.