الفريق العربي للبرمجةأرشيف المنتديات · 2000 – 2023
نسخة أرشيفية للقراءة فقط — التسجيل والمشاركة مغلقان، والمحتوى محفوظ كما كان.

ما علاقة propositional logic مع خوارزميات البحث ؟

بدأه سلسبيل الحياة في 31 ديسمبر 2013 · 3 رد · 1,300 مشاهدة · في الذكاء الاصطناعي وتطبيقاته
مشاركة: واتساب X فيسبوك تيليجرام
#1 صاحب الموضوع

السلام عليكم

ممكن توضيح عن موضوعي

propositional logic &predicate logic

وعلاقتهم في خوارزميات البحث 

لان المنهاج الي ادرسه بمادة الذكاء بادي اول شي بخوارزميات البحث واول نوع الخوارزميات العمياء ومعطي ثلاث انواع dipth& bredth&hybrid

اول خوارزميتين فهمتهم لكن الهجينه شارح قليل عنها وبعدين شارح عن العبارات المنطقية والمنطق الاسنادي 

العبارات المنطقية فاهمته من المرحلة الاولى بمادة الهياكل المتقطعه لكن الموضوع الثاني لا مفاهمته وبالاضافه الى ذلك اريد اعرف علاقتهم بمادة الذكاء وبخوارزميات البحث تحديدا 

خاصة موضوع المنطق الاسنادي لان بعده في مواضيع ثانيه الي هي

1-quantifiers

2-horn clause

3-unification

4-procedure mug

5-skoleization

6-clause form

والصراحه مجاي افهم شو الفرق وشو الربط بين المواضيع وشو علاقتهم بخوارزمية البحث الهجينه ياريت التوضيح

#2

ماادي وش المقصود ب hyprid search . عادة breadth, depth and best search technique 

 

بالنسبة للpropositional logic:

الPL عباره عن set of clauses over variables الclause عباره عن متغير او اكثر مع روابط connectives ( mimetex.cgi? \wedge , \neg , \vee , \lef) مثال على clause over two variables  mimetex.cgi?x_1 \wedge \neg x_2

 

افرض ان mimetex.cgi? x_1,x_2 ياخذون قيمتين true and false .. متى تكون نتيجة mimetex.cgi?x_1 \wedge \neg x_2  صحيحه True ؟

في حالتنا يوجد حل واحد لما يكون mimetex.cgi?x_1=true ,x_2=false

هذا مثال للبحث ترتب المتغيرات بعدها assign value للمتغير بعدها تروح للمتغير الثاني ..

بالعموم لما يكون عندك clauses كثيره تقوم بالبحث لايجاد حل satisfiable solution او للابلاغ عن عدم وجود حل ..

 

هذي تعتبر satisfiability problem واللي من اهم - ان لم تكن الاهم- مشكلة في الحاسب. 

#3

شكرا للاخ هل هناك توضيح اكثر عن باقي المواضيع

#4

التوضيح الاكثر يكون عن طريق تحديد سؤالك بالضبط ماهو. 

ابحثي في قوقل عن SAT problems .. Propositional formula evaluation 

مواضيع مشابهة