بسم الله الرحمن الرحيم
السلام عليكم ابدا معكم اليوم الدرس الثالث وهو بعنوان
Instantiation and Unification
ماهي عملية ال Unification ؟
سوف اشرحها من خلال هذا المثال نفترض لدينا مجموعه ال facts الاتيه
Parent(john,tom).
Parent(jim,kate).
Parent(jean,marry).
عندما تقوم بعمل استعلام كالاتي
?-parent(jim,kate).
ماالذي يحدث للرد علي هذا الاستعلام ؟
الذي يحدث كالاتي يقوم البرولوج بالبحث عن هذا الاستعلام في مجموعة ال facts الي ان يجد مايطابقه من هذه ال facts ويقوم هنا بعمل المطابقه لكل جزء من اجزاء الاستعلام من حيث اسم ال predicate (parent) وعدد ال arity ومن حيث ال terms اذا نجحت المطابقه يرد البرولوج ب yes وهذا هو المقصود بعمليه ال Unification
Examples :
?-parent(john,tom).
Yes
?-parent(hany,ali).
No
لان هذه ال fact لا توجد ضمن مجموعة ال facts التي اعلي لذلك اي استعلام لايوجد في ملف ال knowledge base سوف يرد البرولوج عليه ب no
ولكن ماالذي يحدث اذا احتوي الاستعلام علي متغيرات كالاتي
?-parent(X,tom).
معني هذا الاستعلام اريد معرفة من هو الاب ل tom ؟
هنا كما قلنا سيحدث Unification وايضا سيكون هناك قيمه للمتغير x وعملية ايجاد قيم المتغيرات التي توجد في الاستعلام تسمي Instantiation
ماهي عملية ال Instantiation ؟
هي عملية ربط المتغير بقيمه للتوضيح سنقوم بالرد علي الاستعلام السابق
?-parent(X,tom).
X=john.
Yes
ما الذي حدث ؟ قام البرولوج بعمل Unification عن طريق instantiation للمتغير X بقيمه وهي john
ملاحظه :
حاول مطابقة المثال التالي
Likes(jim,X) and likes(X,kate).
ماالذي سيحدث هنا ؟
كما تعودنا سيقوم البرولوج بعمليه ال unification سيري ان اسم ال predicate قد نجح في المطابقه واايضا عدد ال arity متساوي لذلك يذهب لعمليه ال instantiation لايجاد قيم المتغير X سوف يقوم بوضع X تساوي kate في الحاله الاولي وعندما يذهب للثانيه سيري ايضا ان المتغير X سوف ياخذ قيمه اخري وهي jim وهذا غير مسموح به في البرولوج كما قلنا في الدرس السابق لايمكن للمتغير ان ياخذ اكثر من قيمه فانتبه جيدا
ملاحظه ماهو ال unifier ؟
هو التعويض عن متغير بالقيمه التي اخذها وياخد الشكل الاتي تطبيقا علي المثال السابق kate/X
الي هنا انتهي درس اليوم ارجو ان اكون قد وفقت فيه موعدنا الدرس القادم مع شرح كيفية سير عملية البحث في البرولوج Prolog search strategy والسلام عليكم ورحمه الله وبركاته
ليست هناك تعليقات:
إرسال تعليق