**تمثيل المعارف **

&     الاستنتاجات  السابقة التي تم استخراجها من السؤال البسيط الذي تم طرحة ليست بالضرورة صحيحة فهي عبارة عن استنتاجات مباشرة و بسيطة لسؤال و لكن لا بد لاي برنامج جيد لتمثيل المعرفة ان يمكن العمليات الاستنتاجية ان تؤدي دورها في البرنامج .

و كحال لغات البرمجة حيث لم يتوحد العالم على لغة واحدة مشتركة بل اصبح هناك العديد و العديد من لغات البرمجة فالحال هنا نفسه اي لم يتمكن احد من من تصميم شكل نموذجي لتمثيل المعرفة في برامج الذكاء الصنعي .

فبعض أنظمة الاستدلال هذه رائدة في مجال المحاكاة بينما بعضها الآخر في الاستدلال و غيرها تمثيل العمليات الاستدلالية و هكذا ..

هناك فرق أساسي بين نوعين من أنواع المعرفة و هو فرق فلسفي بالدرجة الأولى ، نوعي المعرفة هما : المعرفة الماهية و المعرفة  الكيفية  و هذه يقابل في الذكاء الصنعي الفرق بين المعرفة المعلنة و المعرفة الاجرائية .

ان المعرفة المعلنة تمتاز بعدة صفات أهمها أنها سهلة القراءة و التعديل و لا تتطلب شرحا لكيفية استخدامها  و نقطة الضعف في هذا النوع من المعرف ان معالجتها تتطلب وقتا طويلا نسبيا .

اما المعرفة الاجرائية فلها عكس ميزات و عيوب المعرفة الأولى  و تكون مواد المعرفة المعلنة بمثابة البيانات التي يعمل عليها و يفسرها البرنامج .

و قد سبق أن رأينا مثالا على التمايز بين المعرفة المعلنة و الاجرائية في تحليل اللغات الطبيعية و ذلك بين القواعد اللغوية التي تمثل المعرفة المعلنة و بين البرامج التي تفسر و تطبق هذه القواعد و كما ان هيكل البيانات ليس هو المعرفة ذاتها .

فان الكتاب ليس سوى مصدر للمعرفة و هو لا ينتج المعرفة إلا حين يتحد مع القدرة على القراءة و الفهم . &

**منطق الدرجة الأولى**

سنتحدث هنا عن  المنطق الصوري الذي اهتم به الفلاسفة و الرياضيون لزمن طويل .

حساب القضايا :

إن لحساب القضايا نوعين مختلفين من القوانين هما مجموعة قوانين التراكيب التي تحكم شكل الإفادة التي يمكن أن يعبر عنها في اللغة و تلك التي تحكم اشتقاق افادات جديدة من افادات قديمة .

و يعين لكل افادة قانونية تسمى قضية  قيمة واحدة من بين اثنتين هنا الصدق و الكذب اللذان يسميان قيم بولية باسم عالم الرياضيات و المنطق جورج بول (١٨١٥ _ ١٩٦٤ ).

فان نظرنا إلى القضيتين التاليتين : ريجان هو رئيس الولايات المتحدة و مدريد عاصمة بلجيكا ، نجد ان واحدة منها فقط صحيحة في هذه اللحظة ١٩٨٤ .

 و يمكن التعبير عن قضايا أكثر تعقيدا باستخدام الروابط المنطقية , و يمكن استخدام هذه الروابط للتعبير بلغة صورية عن قضايا مثل " الجورب اما على المنضدة او على الدرج " او " هنري ليس عالم رياضيات او عالم طبيعية " .

إن أو هنا متضمنة في هذه اللغة الصورية بينما غالبا ما تكون استبعادية في حياتنا اليومية كما في الجملة السابقةعن الجوارب .

ان القضية الأولى أو الثانية التي تم ذكرهما سابقا  تكون صادقة صوريا اذا كانت اي من القضيتين صادقة في حالة كون الاثنتين صادقتين . و لكن اذا ثبت لنا صحت احداهما فلا حاجة لنا للنظر في قيمة صدق الأخرى .

لنعبر عن القضية الأولى أ و القضية الثانية ب . القضية أ= ب صادقة إذا تساوى أ و ب في الصدق او الكذب اما اذا اختلفا في قيمة الصدق تكون القضية كاذبة .

و تعني القضية أ __> ب تعني انه اذا كانت أ صادقة فكذلك تكون ب صادقة و على هذا ف أ ==> ب تكون صادقة إذا كانت ب صادقة و كذلك إذا كانت أ كاذبة .

و قد يبعث الاثبات الأخير على الدهشة و لكن يمكن التدليل  على صحته بإعطاء مثال كالآتي : اذا كنت في باريس اذن انا في فرنسا و هو يعادل منطقيا اما انا في فرنسا او لست انا في باريس .

ان قيمة صدق القضايا الشرطية لا تتضح دائما بالبديهية فمثلا : اذا استطاعت الخيول ان تتكلم فان الخنازير يمكنها ان تطير صادقة .

و نفي قضية أ يكون صادقا اذا كان أ كاذبا و العكس صحيح .

و تحدد القائمة التالية الروابط المنطقية الخمسة بفعالية حيث ص تعني صادقة و ك تعني كاذبة  :

 image 2464

**حساب المحمول**

&   لا يمكننا استخدام حساب القضايا في التعبير عن جمل كثيرة تهم الذكاء الاصطناعي .

 بل وميادين أخرى أيضا  فمثلا عندما نود أن نذكر حقائق عن الأشياء في العالم يجب أن نكون قادرين على أن نعين بدقة الأشياء ذاتها التي نشير إليها  ( مسألة الضعيفين    instantiation  )  وأن نذكر ما إذا كنا نقصد كل من ينتمي إلى مجموعة بعينها أم بعضا منها فقط.

ويسمح لنا حساب المحمول-وهو امتداد لحساب القضايا-بذلك  وذلك باستخدام فكرتي المحمول predicate والسور quantifier  .

والسور نوعان: السور الكلي universal quantifier والسور الوجودي existential quantifier وأهم ما  

يميز  حساب المحمول عن حساب القضايا هو تقديمه  لفكرة ا المتغير  .variable

والمحمول هو تابع أو دال function له حد أو أكثر Largument ويعطي أحد قيم الصدق. وبذلك يعرف المحمول ( كلب  ) على الوجه التالي:

كلب (س) : " س  هو كلب

ويكون هذا المحمول صادقا إذا كان »س « -بوبي  ويكون كاذبا إذا كان »س «ب بوسي.

ومن المتبع  استخدام الحروف الأخيرة من الأبجدية الإنجليزية للمتغيرات واستخدام الحروف الأولى أو  المعرفات الرمزية  الأسماء مثل بوسي أو مدريد كثوابت.

و يمكن  للمحمول أن يعرف علاقة أو يحدد فعلا مثل:

يعطي  ( س, ع , ف )

إنشاء حساب جديد

قم بتنزيل تطبيق eMufeed Android الآن

 

للاعلان