Maxsuliy koidalar Bilimlar bazasini amalga oshirishning eng k^p tar kalgan shakllaridan biri- bilimlarni maxsuliy koidalar tassavur kilishdir.
BB amalga oshirish (realizatsiyasi)ning eng keng tarkalgan shakli - bilimlarni maxsuliy koidalar yordamidatakdim etish. Maxsuliy model yordampda istagan bilimlar tizimini tavsiflash mumukin.
Maxsuliy modellar (tarmokdi modellar katorida) axborot tizimlarida bilimlarni takdim etishning keng takapgan vositalaridan biri xisoblanadi.
Maxsuliy koidalar implikatsiya kurinishida takdim etiladi: pi: si —► di
bunda pi - maxsulot koidasi si - koida kullash sharti di - koida kullash natijasi.
Maxsuliy (produksiya) koidalar asosidagi bilim modellari, freym modellari birgalikda, keng tarkalgan modellar deb xisoblanadi. Ular bilimlarni “AGAR — U XOLDA” shaklda tasvirlaydi. K,oidani “AGAR” kismi koidani kullanish kator shartlarni, “U XOLDA” kismi esa — shartlar bajirilgan xolda amalga oshiriladigan tegi shli xarakat, xulosani shaklllaydi.
Masalan:
AGAR teletasvir kontrasti(yorugligi) past bulsa V A vakti bilan pasaysa
VA u negativ(teskari) tasvirga ayna boshlasa,
U XOLDA kineskop ishdan chikdi, uni almashtirish kerak.
Misol:
AGAR patsient gripp bilan kasallangan bulsa VA kasallik darajasi = boshlangich,
U XOLDA 0,95 extimoli bilan uning xarorati baland VA 0,85 extimoli bilan bosh ogrigi
Maxsuliy Tizimlar 3 asosiy komponentdan tashkil topgan:
Mahsuliy tizimlarning kuchli taraflari
Boshka tizimlarga nisbatan xulosa chikarish mexanizmi samaradorligi pastrok, chunki koidaparning mosligini tekshirish uchun juda xam kup vakt talab kilinadi.
Mantikiy xulosa chikarshsda egiluvchanlikning mavjud emasligi.
•Bilimlarni maxsuliy modellar yordamida takdim etishni ba’zan
«yassipik» deyiladi, chunki maxsuliy tizimlarda koidalar koidala ieaxiyasini urnatish uchun vositalar mavjud emas.
•Maxsuliy tizimlarning bilimlar xajmi unga bipimlarning yangi fragmentami kiritilishi buyicha chizikli Usadi. Yechimlar daraxtini kullovchi ananaviy algoitmik tizimlarda bilimlar bazasi xajmi va bilimlar mikdori oasidagi tobe’ligi logarifmik xisoblanadi.