moslashuvchanlik bilan ajralib turadi. Ular aniq belgilangan maqsadlar shaklida ifodalangan yangi vazifalarni bajarishga qodir, ular tezda vakolatga ega bo'lishlari, ko'rsatmalar olishlari yoki o'z muhitidan olingan yangi bilimlarni o'zlashtirishlari mumkin, bundan tashqari ular o'zlarining muhitidagi o'zgarishlarga moslasha oladi, tegishli bilimlarni yangilaydi. Mantiqiy agentlarninig bilimlari har doim aniq bo’ladi, ya’ni agent ba'zi mulohazalarning mavjudligini bilmasligi mumkin, lekin bu dunyodagi har bir mulohaza chin yoki yolg'ondir. Mantiqiy bilimga asoslangan agentlar uchun tasavvur qilishning oddiy usullaridan biri bo'lib xizmat qiladigan afzalliklarga ega, ammo mantiq ba'zi jiddiy cheklovlarga ham egadir. Shubhasiz, insonlar va boshqa agentlar tomonidan qisman kuzatilgan atrof-muhit variantlarida olib borilgan mulohazaning katta qismi noaniq bo'lgan bilimlarga asoslangan. Mantiq bunday noaniqlikni to'g'ri taqdim etishga imkon bermaydi. - Predikat tushunchasi. Mantiq algebrasida mulohazalar faqatgina chin yoki yolg’on qiymat olishi nuqtai nazaridan qaraladi. Bunda mulohazalarning strukturasi va mazmuni qaralmaydi. Ammo fanda va amaliyotda mulohazalarning strukturasi va mazmunidan kelib chiqadigan xulosalardan (natijalardan) foydalaniladi.
- 5. Birinchi tartibli predikatlar mantiqi
- Predikatlar mantiqida masalani echish ma’lum tasdiqlar (formulalar) yoki aksiomalardan foydalanib formulalar yoki predikatlar korinishidagi maqsadli tasdiqlarni isbotlashga keltiriladi.
- 1960-yillarning oxirida predikatlar mantiqida
Do'stlaringiz bilan baham: |
