المادة: الذكاء الاصطناعي (Artificial Intelligence)
المرحلة الرابعة / ( المحاضرة 3)
المصدر: ترجمة (Artificial Intelligence / George F. Luger)
- المقاطع المنطقية (Clauses Form)
- إن الجمل الناتجة من منطق العلاقات متداخلة و صعبة الفهم, و هذا يقودنا إلى صعوبة كبيرة في مرحلة الاستنتاج. لذلك توجد خوارزمية للتحويل من منطق العلاقات (Predicate Logic) إلى المقاطع المنطقية (Clauses Form), و تتضمن هذه الخوارزمية تسع خطوات و هي:
- حذف الرابط (→) و كما يلي:
- أ-نفي العبارة قبل الرابط (→).
- ب-تحويل الرابط (→) إلى الرابط (v).
- ت-ترك العبارة بعد الرابط (→) كما هي.
Ex:
Sol:
- معالجة النفي (¬) و حسب القوانين التالية:
- أ- .
- ب- .
- ت- .
- ث- .
- ج- .
Ex:
Sol:
- جعل كل مقياس كمي ( ) مرتبطاً بمتغير واحد فقط.
Ex:
Sol:
- نقل كل المقاييس الكمية ( ) إلى جهة اليسار و بالتسلسل.
Ex:
Sol:
- حذف المقياس الكمي الوجودي ( ) بعملية تدعى (Skolemization) و حسب القوانين التالية:
- أ- .
- ب- .
ملاحظة: في القانون (5-ب) يتم تعويض المتغير المرتبط بالمقياس الوجودي ( ) بدلالة كل المقاييس العامة ( ) الموجودة قبله, كما في المثالين التاليين:
Ex1:
Sol:
Ex2:
Sol:
- حذف كل المقاييس الكمية العامة ( ).
Ex:
Sol:
- استخدام قوانين التجميع و التوزيع التالية:
- أ- .
- ب- .
- ت- .
Ex:
Sol:
- تحويل العبارة إلى مقاطع خالية من الرابط ( ).
Ex1:
Sol: 1.
2.
Ex2:
Sol: 1.
2.
- تبديل أسماء المتغيرات الموجودة في كل المقاطع و كما يلي:
- أ-المقطع الأول ينزل كما هو.
- ب-أي متغير في المقطع الثاني مستخدم في المقطع الأول يتم تبديله.
Ex1: 1.
2.
Sol: 1.
2.
Ex2: 1.
2.
Sol: 1.
2.
