Sifatli fikrlash - Qualitative reasoning

Sifatli mulohaza (QR) ichida olib boriladigan tadqiqot sohasidir Sun'iy intellekt Avtomatlashtiradigan (AI) mulohaza yuritish maqsadlari uchun jismoniy olamning makon, vaqt va miqdor kabi doimiy tomonlari haqida muammoni hal qilish va rejalashtirish foydalanish sifatli dan ko'ra miqdoriy ma `lumot.[1] Aniq raqamli qiymatlar yoki kattaliklardan qochib, uning o'rniga sifat ko'rsatkichlaridan foydalaniladi (masalan, yuqori, past, nol, ko'tarilish, tushish va hk).[2]

Maqsad

Sifatli mulohaza yuritish muhim xususiyatlarni va sifat farqlarini saqlab, jismoniy tizimlar va ularning xatti-harakatlarining raqamli bo'lmagan tavsiflarini yaratadi.[3] Sifatli fikrlash tadqiqotining maqsadi kompyuter dasturlariga aniq miqdoriy ma'lumotisiz jismoniy tizimlarning xatti-harakatlari to'g'risida fikr yuritishga imkon beradigan vakillik va fikrlash usullarini ishlab chiqishdir. Masalan, yomg'ir yog'ayotgani va daryoning suv sathining muttasil ko'tarilayotganini kuzatish mumkin, bu aniq suv sathini, o'zgarish tezligini yoki daryo toshishi mumkin bo'lgan vaqtni bilmasdan toshqinlarga qarshi choralar ko'rish uchun etarli ma'lumotdir.[4]

Printsiplar

Amaldagi tamoyillar inson tomonidan rag'batlantiriladi bilish.

Sifatli fikrlash tamoyillariga quyidagilar kiradi.[5]

  • Alohida qiymatlar
    • Fikrlash uchun diskret shaxslardan foydalangan holda uzluksiz kattaliklarni aks ettiring
    • Misol: O'zgarish tezligi uchun raqamli qiymatdan foydalanish o'rniga, uning o'sib borayotgani, kamayayotgani yoki doimiyligini ko'rib chiqing
  • Tegishli qiymatlar
    • Vazifaga muvofiqligi asosida sifatli qadriyatlarni tanlang
    • Masalan: Agar harorat o'zgarib tursa, qaynash harorati muhim bo'lishi mumkin, lekin harorat doimiy bo'lsa, qaynash harorati ahamiyatsiz bo'lishi mumkin
  • Aniq bo'lmagan qiymatlar yoki natijalar
    • Bitta javob berish o'rniga, bir qator javoblarni keltiring
    • Misol: suvning miqdorini yoki miqdorini hisoblash o'rniga, ikkita javob bering: past yoki nol
  • Jarayonni modellashtirish
    • Shtatlarning vakili
    • Shtatlar o'rtasidagi o'tishlarni ifodalaydi
    • Miqdorlar uchun nishonlarni aniqlang va tengsizlik haqidagi mulohazalardan foydalaning
    • Misol:
      Agar suvning harorati qaynash haroratidan past bo'lsa, unda suv darajasi doimiy yoki asta-sekin kamayib boradi;
      agar suvning harorati qaynash temperaturasidan yuqori bo'lsa, unda suv darajasi tez pasayib boradi;
      agar suv qaynash harorati ostidan qaynash temperaturasidan yuqoriga qarab o'zgarib turadigan haroratga ega bo'lsa, u holda suv darajasi tez pasayib borishiga o'zgaradi;
      agar suv belgilangan vaqt davomida qaynash haroratidan yuqori bo'lsa, suv darajasi past yoki nolga teng bo'ladi

Foydalanadi

Sifatli mulohaza yuritish uchun ishlab chiqilgan metodikalar tengsizliklar bilan bir qatorda tengliklar ko'rinishidagi bir nechta cheklovlarga duchor bo'lgan miqdoriy tizimlarni simulyatsiya qilishga imkon beradi. Bu aks holda modellashtirish uchun juda murakkab bo'lishi mumkin bo'lgan ba'zi muhim tizimlarni, masalan, ekotizimlarni simulyatsiya qilishga ruxsat berishi mumkin. Sifatli mulohaza sifatlarga qo'shimcha ravishda miqdoriy tengsizliklar bilan modellashtirish usulini beradi.

Muvaffaqiyatli dastur sohalariga quyidagilar kiradi jarayonni boshqarish, tizimni tekshirish, tushuntirish,[2] avtonom kosmik kemalarni qo'llab-quvvatlash, tuzilmalar xatti-harakatlarini simulyatsiya qilish va tushuntirish,[6] avtotransport tizimlarining nosozliklarni tahlil qilish va bortida diagnostika qilish, fotokopiler uchun boshqaruv dasturlarini avtomatlashtirilgan tarzda yaratish, ekologiyada kontseptual bilimlarni yig'ish va insonni o'rganish uchun aqlli yordam.[3]

Shuningdek qarang

Adabiyotlar

  1. ^ "Sifatli mulohaza qilish: aniq xulosalarga kelmasdan". Sun'iy intellektni rivojlantirish assotsiatsiyasi (AAAI).
  2. ^ a b John Daintith (2004). Hisoblash lug'ati. Oksford universiteti matbuoti. ISBN  0198608772.
  3. ^ a b Bert Bredeweg va Piter Struss (2003). "Sifatli fikr yuritishda dolzarb mavzular" (PDF). Amerika sun'iy intellekt assotsiatsiyasi.
  4. ^ Yumi Ivasaki (1997 yil may - iyun). "Sifatli mulohazaning haqiqiy qo'llanilishi". IEEE mutaxassisi: aqlli tizimlar. Bilim tizimlari laboratoriyasi, kompyuter fanlari bo'limi: Stenford universiteti.
  5. ^ "Sifatli fikrlash, CS227" (PDF). Stenford universiteti. 2011.
  6. ^ Salvaneschi, Paolo; Cadei, Mauro; Lazzari, Marko (1997). "Tuzilmalar xatti-harakatlarini simulyatsiya qilish va tushuntirish uchun sababiy modellashtirish asoslari". Muhandislikdagi sun'iy aql. 11 (3): 205–216. doi:10.1016 / S0954-1810 (96) 00040-4.

Tashqi havolalar