Сунъий интеллект



Download 415,5 Kb.
bet14/36
Sana29.04.2022
Hajmi415,5 Kb.
#591236
1   ...   10   11   12   13   14   15   16   17   ...   36
Bog'liq
2 5188650308401631735

Mantiqiy modellar


Mantiqiy modellar predikatlarni hisoblash tilidan foydalanadilar. Birinchi predikatga munosabatlar nomi mos tushadi, dalillar terminiga esa ob’ektlar. Barcha predikatlarning mantiqida ishlatiluvchi mantiqiy fikrlar haqiqiy yoki yolg‘on mazmunga ega.
Misol: Djon axborot texnologiyalari bo‘yicha mutaxassis fikrini ko‘rib chiqamiz. Ushbu fikr quyidagicha tasvirlanishi mumkin: hisoblanadi (Djon, axborot texnologiyalari bo‘yicha mutaxassislik). Keling X-ob’ekt (Djon), axborot texnologiyalar bo‘yicha mutaxassis bo‘lib hisoblanayotgan bo‘lsin. Unda quyida forma ishlatiladi: hisoblanadi (X, axborot texnologiyalari bo‘yicha mutaxasis).
Smit IBM firmasida mutaxassis sifatida ishlaydi fikri uchta dalilli predikat ko‘rinishida berilishi mumkin: ishlaydi (Smit, IBM firmasi, mutaxassis).
Mantiqiy modellar bilan ishlashda quydagi qoidalarga amal qilish zarur:

  1. Dalillar tartibi xar doim berilgan predmet sohasiga qabul qilingan predikatlar izohi bilan mos holda berilishi kerak. Dasturchi dalillarning fiksirlangan tartibi haqidagi qarorni qabul qiladi va boshidan oxirigacha unga amal qiladi.

  2. Predikat dalillarning istalgan miqdoriga ega bo‘lishi mumkin.

  3. Predikatdan tashkil topgan va u bilan dalillar orqali bog‘langan alohida fikrlar, murakkab fikrlarga mantiqiy bog‘lamalar orqali bog‘lanishi mumkin: VA(END, ), YoKI (or, ), YO‘Q (not, ~), →- AGAR..., UNDA formasini yo‘naltirish uchun foydalaniladigan implikatsiyalar.

Bir necha misollarni ko‘rib chiqamiz:



  1. Predikat nomi – hisoblanadi

Hisoblanadi (Smit, AT bo‘yicha mutaxassis) ∩ o‘qiydi (Smit, adabiyot)
Smit AT bo‘yicha mutaxassis hisoblanadi va adabiyotni o‘qiydi.

  1. Predikat nomi – hisobot beradi

Hisobot beradi (Smit, Djon)→boshqaradi (Djon, Smit)
Agar Smit Djonni oldida hisobot beradigan bo‘lsa, unda Djon Smitni boshqaradi.

  1. Predikat nomi – yozdi

Yozdi (Smit, dastur) ∩ NOT ishlaydi (dastura) → to‘g‘irlash (Smit, dastur, oqshom) OR berib yuborish (dastur, dasturchi, keyingi kun)
AGAR Smit dasturni yozgan bo‘lsa VA u ishlamasa, UNDA Smit dasturni kechqurun to‘g‘irlashiga YoKI keyingi kuni dasturchiga berib yuborishiga to‘g‘ri keladi..
Fikrlarda dalil sifatida o‘zgaruvchilar ishlatilishi mumkin. Bunday holatda o‘zgaruvchilar bilan ishlash uchun kvantor tushunchasi kiritiladi.
Kvantorlar 2 turda bo‘ladi:

  1. Umumlik kvantori

  2. Mavjudlik kvantori

, barcha ayrim sohaga tegishli bo‘lgan qovusdagi o‘zgaruvchilar haqiqiy bo‘lishi kerakligini bildiradi.
oznachaet, x mazmunlardan faqat ayrimlarigina haqiqiy ekanini bildiradi.
va bir-birining xossasi bo‘lishi mumkin.
Misollar:
1. (AT bo‘yicha mutaxassis (X)→dasturchi(X))
AT bo‘yicha barcha mutaxassislar dasturchilardir.
2. ( AT bo‘yicha mutaxassis (X)→yaxshi dasturchilar (X))
AT bo‘yicha ayrim mutaxassislar – yaxshi dasturchilardir.
3. (xodim (X)→rahbar (Y,X))
Har bir xodimning rahbari bor.
4. (xodim (X)→rahbar (Y,X))
Bir shaxs borki, u hammaga rahbarlik qiladi.

Download 415,5 Kb.

Do'stlaringiz bilan baham:
1   ...   10   11   12   13   14   15   16   17   ...   36




Ma'lumotlar bazasi mualliflik huquqi bilan himoyalangan ©hozir.org 2024
ma'muriyatiga murojaat qiling

kiriting | ro'yxatdan o'tish
    Bosh sahifa
юртда тантана
Боғда битган
Бугун юртда
Эшитганлар жилманглар
Эшитмадим деманглар
битган бодомлар
Yangiariq tumani
qitish marakazi
Raqamli texnologiyalar
ilishida muhokamadan
tasdiqqa tavsiya
tavsiya etilgan
iqtisodiyot kafedrasi
steiermarkischen landesregierung
asarlaringizni yuboring
o'zingizning asarlaringizni
Iltimos faqat
faqat o'zingizning
steierm rkischen
landesregierung fachabteilung
rkischen landesregierung
hamshira loyihasi
loyihasi mavsum
faolyatining oqibatlari
asosiy adabiyotlar
fakulteti ahborot
ahborot havfsizligi
havfsizligi kafedrasi
fanidan bo’yicha
fakulteti iqtisodiyot
boshqaruv fakulteti
chiqarishda boshqaruv
ishlab chiqarishda
iqtisodiyot fakultet
multiservis tarmoqlari
fanidan asosiy
Uzbek fanidan
mavzulari potok
asosidagi multiservis
'aliyyil a'ziym
billahil 'aliyyil
illaa billahil
quvvata illaa
falah' deganida
Kompyuter savodxonligi
bo’yicha mustaqil
'alal falah'
Hayya 'alal
'alas soloh
Hayya 'alas
mavsum boyicha


yuklab olish