الطرق المبنية على القواعد

القواعد المنطقية

قواعد رسمية مبنية على المنطق الرياضي (الاقتراحي أو من الرتبة الأولى) تسمح بتمثيل المعارف والاستدلالات بطريقة منظمة.

← رجوع