Ierarxik cheklovlardan qoniqish - Hierarchical constraint satisfaction

Yilda sun'iy intellekt va operatsiyalarni o'rganish, ierarxik cheklovdan qoniqish (HCS) ishlov berish usuli hisoblanadi qoniqish cheklash muammolar qaerda o'zgaruvchilar ichki tuzilishidan foydalangan holda katta domenlarga ega.[1]

Ko'pgina real muammolar uchun domen elementlari umumiy xususiyatlar va munosabatlarga ega to'plamlarga birlashadilar. Ushbu tuzilma ierarxiya sifatida ifodalanishi mumkin va qisman buyurtma qilingan munosabatlarning pastki qismida. Umid qilish kerakki, domenlar tuzilgan bo'lib, to'plam elementlari ularni bir birlik sifatida saqlab qolish yoki yo'q qilishga imkon beradigan doimiylik xususiyatlarini tez-tez bo'lishadi. Shunday qilib, agar to'plamning ba'zi elementlari a ni qondirsa cheklash, ammo barchasi hammasi emas, to'plamning pastki to'plamlari ko'rib chiqiladi. Shu tarzda, agar to'plamning biron bir elementi cheklovni qondira olmasa, butun to'plamni bekor qilish mumkin emas. Shunday qilib, domenni tuzish elementlarning to'plamlarini bir vaqtning o'zida ko'rib chiqishga yordam beradi va shuning uchun qidiruv maydonini tezroq kesishga yordam beradi.[2]

Adabiyotlar

  1. ^ Makvort, Alan K .; Mulder, Yan A .; Havens, Uilyam S. (1985-01-01). "Ierarxik yoyning izchilligi: cheklangan qoniqish muammolarida tuzilgan domenlardan foydalanish". Hisoblash intellekti. 1 (1): 118–126. doi:10.1111 / j.1467-8640.1985.tb00064.x. ISSN  1467-8640.
  2. ^ Uilson, Molli; Borning, Alan (1993-07-01). "Ierarxik cheklash mantiqiy dasturlash". Mantiqiy dasturlash jurnali. 16 (3–4): 277–318. doi:10.1016 / 0743-1066 (93) 90046-J. ISSN  0743-1066.