|
Teskari xulosa. Rasmdagi teskari xulosani ko'rsatish uchun. 2.4 to'rtta qoida
bilan BP uchun chiqish sxemasini ko'rsatadi. Da
ma'lumotlar bazasi faktida F;
Guruch. 2.4. Teskari chiqish sxemasi
Guruch. 2.3. To'g'ridan-to'g'ri chiqish sxemasi
Machine Translated by Google
yuqori hisoblash quvvati vositalari;
afzalroq, katta BP uchun esa (500 dan ortiq qoidalar) teskari xulosa samaraliroq, chunki
tanlangan guruh
fakt F;
qoidalar, qoida tariqasida, katta emas (20 tagacha qoidalar), qolganlari esa
- ishlab chiqarish tizimlari har qanday algoritmlarni amalga oshirishi mumkin, ya'ni.
- o'ng tomonda Z bilan qoidani topib (birinchi qoida), tekshiring
To'g'ridan-to'g'ri va teskari xulosalarning qo'llanilishiga kelsak, kichik BP uchun (500
tagacha qoidalar) to'g'ridan-to'g'ri xulosa chiqarish mumkinligi haqida bahslashish mumkin.
uning qanoatlantirilishini inkor etadi: qoida qoniqtirmaydi, chunki noma'lum
mahsulotlarni almashtirish boshqa mahsulotlarni o'zgartirmaydi;
parallel kompyuterlar;
- tarmoq vakillari bilan birlashganda, biz olamiz
(ikkinchi qoida) va uning qanoatlantirilishini tekshiradi: qoida qanoatlanmaydi, chunki D
fakti noma'lum;
Umuman olganda, ishlab chiqarish modeli quyidagilarga ega
protsessual bilim;
qoidalar chiqishda ishtirok etmaydi.
– F ni yangi nishon sifatida ko‘rib , o‘ng tomonida F bilan qoida topadi
(uchinchi qoida) va uni amalga oshirish imkoniyatini tekshiradi: qoida qanoatlantiriladi,
chunki A fakti ma'lum;
- mahsulotlarni qo'llash sohasi ko'rsatkichlarining mavjudligi xotirani samarali tashkil
qilish imkonini beradi;
- inson bilimlarining katta qismini yozib olish mumkin
- ishlab chiqarish tizimidagi tabiiy parallellik va ularni bajarishning asinxronligi ularni
amalga oshirish uchun qulay qiladi
– D ni yangi nishon sifatida ko‘rib , o‘ng tomonida D bilan qoida topadi
ijobiy xususiyatlar:
Z o'ng tomonda:
qoidalar).
- mahsulot tizimlari modulli, shuning uchun olib tashlash va qo'shish
- maqsadli fakt Z haqiqatini isbotlash uchun tanlangan qoidalar guruhida
to'g'ridan-to'g'ri xulosa chiqarishni amalga oshiradi (birinchi, ikkinchi va uchinchi).
Qayta xulosa qilganda, M maqsadli fakt bilan qoidadan keladi
mahsulot shaklida;
59
Machine Translated by Google
4. Metamahsulotlar: aniqlovchi maxsus mahsulotlar
hozirgi vaziyat. Shunday qilib, agar buyurtma
- ishlab chiqarilgan mahsulotlarni tanlashning noaniqligi tufayli
ishlab chiqarishlarni bajarish muhim ahamiyatga ega, ishlab chiqarishlar ushbu buyurtma
bo'yicha talablar to'g'risidagi ma'lumotlarni o'z ichiga olishi kerak. Agar postshartda bo'lsa
2. Eng uzun shartlar: bajarishga tayyorlar guruhidan
- ko'p miqdordagi mahsulotlar bilan mustahkamlikni tekshirish qiyin
markazlashmagan - mahsulotni faollashtirish aniqlanadi
ularni qo'shishda nutqiylik;
eng ko'p ishlatiladigan mahsulotlardir.
eng tor mahsulotlar).
1000 dan ortiq ishlab chiqarish bilan ishlab chiqarish tizimi to'g'ri
ishlamasligi mumkin deb ishoniladi.
keyin ishlab chiqarish tizimi muntazam algoritmga aylanadi
ishlab chiqarish, eng haqiqatga ega bo'lgan
mahsulot nomi ko'rsatilgan, u birinchi bo'lib bajarilishi kerak. Lekin
faollashtirilganlar soni, ishlab chiqarish tizimining to'g'ri ishlashini
tekshirishda qiyinchiliklar paydo bo'ladi.
avval faollashtirilgan bo'lishi kerak - bu mahsulot tizimini boshqarish
muammosi. Buni hal qilishning ikki yo'li mavjud
uzoq yadro qoniqish sharti (bu muhimligini ta'minlaydi
Bir nechta mahsulotni boshqarish strategiyalari mavjud.
ronovyh mahsulotlarini ishga tushirish tartibi.
Ishlab chiqarishlar guruhi (konflikt to'plami) bilan ishlaganda, ishlab
chiqarishni tanlash muammosi paydo bo'ladi
shaxmat dasturi.
statistika:
markazlashtirilgan nazorat ostida mahsulotlarni faollashtirish qarori
maxsus nazorat tizimi tomonidan qabul qilinadi va qachon
o'zaro almashtiriladigan mahsulotlar shunday yuqori hasrat
muammolar - markazlashtirilgan va markazlashtirilmagan. Da
Shu bilan birga, ishlab chiqarish modeli quyidagi kamchiliklarga ega
1. "Kitoblar to'plami" tamoyili: ko'pincha qachon ajralib turadi
60
Machine Translated by Google
a'zolik funktsiyalari uchburchak, qo'ng'iroq shaklida va boshqalar bo'lishi mumkin.
Oldinga va orqaga qarab xulosalar faqat ishlab chiqarishning deterministik
tizimlari misollarida ko'rib chiqildi. Zarur bo'lsa
xulosa chiqarish jarayonida faktlar va qoidalarning noaniqliklarini hisobga olish
7. Ismlar bo'yicha boshqarish: rasmiy grammatika o'rnatiladi
va loyqa munosabatlar kompozitsiyalari.
bular. ularni asosiy narsalaridan mahrum qiladi.
mahsulotlar uchun osmon ustuvorliklari.
6. Ustuvorlikni tanlash: statik yoki dinamikni kiriting
loyqa to‘plamlar lingvistik o‘zgaruvchi, loyqa to‘plam, loyqa o‘zgaruvchi, loyqa
munosabat tushunchalarini kiritadi.
"past", "o'rta", "yuqori" va boshqalar.
ularning qiymatlari mumkin bo'lgan qiymatlarning ma'lum diapazonida. Shakl
Yuqoridagilardan xulosa qilish mumkinki, mahsulotlar
xulosani ancha murakkablashtiradi.
Loyqa son va noaniq o'zgaruvchi x funktsiya tomonidan berilgan
faktlar haqiqatini baholashni hisoblash operatsiyalari kiritilgan, qaysi
amalga oshirish uchun mahsulotlar tanlash.
ularning to'liqligi va izchilligiga ishonch. Boshqa tomondan, algoritmik sxemaga
o'tish, masalan, qo'llash holatida.
a'zolik ÿ (x), bu ishonchlilik darajasini belgilaydi
bunday ma'lumotlar bilan deterministik usullar olib kelishi mumkin
Lingvistik o'zgaruvchi - bu qiymatlari tabiiy til so'zlari yoki turdagi iboralar
bo'lgan noaniq o'zgaruvchidir.
qat'iy nazariyaning yo'qligi. Hozircha bular evristik va bitta bo'lishi mumkin emas
Do'stlaringiz bilan baham: | 
