 هلاليوم شباب احنا محاضرتنا عن الانفرنس ميثوت سلال بروبوزيشن اللوجيك كل اللي اخذنا المرة الماضية كان عن اللي بروبوزيشن اللوجيك بحذات درستو طبعا اللي بروبوزيشن اللوجيك انتو في مواد اخرى زي مثلان دسكريت ماثمة اسم اسمه فا احنا عارف اللي بروبوزيشن اللوجيك اليوم محاضر بتركز على اي شيء علي على الانفرنس ميثوت شو يعني انفرنس طروق الاستنبقف او الاستنتاج طبعا اللي محاضرت الكوهر احنا مصورة ومحطوطة على هذا الموقف في حنوخض اربع طروق في مهوم بتعرفوهم already حنوخض على النيوم ريشن ميثوت في بداية كيف نعمل استفتاد بنيوم ريشن بعدان حنوخض كواعد استنتاج بعدان حنوخض كواعد قاعدة او طريقة من سميها الرزيليوش وبعدان في طريقتين ثانية وحد اسمها الباكورت شانل وحد اسمها الفورورت شانل ماشي مبلش في النيوم ريشن ميثوت تعرفو اللي يبكينا سميها valid proof arguments في مادة المستريت اللي هي انا بكون عندي propositions يعني جمال منطقي وبعمل فيها بحطة كلها في اسمها البريمسيز بعملها truth table وبقول وين البريمسيز بكوترو لازم اللي conclude اللي بدور عليها بكوترو هاي الحالي من كل من كل هاي conclusion valid بالنسبة لنولج بيس اخذنا هالحصة الماضية هلا هاي طريقة فى عنا مثلا ألفة ألف دعم هي من كل conclusion بدور عليها يعني فى عند هاي نولج بيس A or B or C أم B or C هل هاي نولج بيس وانا بدأت دخاص هل بقدر أقول أنه A or B هل هاي valid هل هاي conclusion valid فشو اللي بيس بسوي هاي شو اللي سمع اللي شعرا كنا المرة الماضية سمع هاي انتال انتال هالنولج بيس انتال زقال ثق دكريم سيهدر كلهم بحطة برميسيس اللي هاي هاي وهاي وبقوه للنولج بيس بدطلة وانتك تترو طبعا عنده هوا الف اللي A or B بحص A or B هوا وبعدين بدطلة وان في طرو طرو هاي في طرو طرو هون طرو هون طرو طرو تدريبه على مختلفة من هذه ألفة إذن كانت بي انتاج كانت بي انتاج يمسمحها بذالد كمكلوجيب طبعا لعبنا أن نراحوك إنه محضرتنا طرك الاستنتاج للمنطب أنه منطب لبروبوسيشن اللوجيب إذا نضيف أول طريقة نعمل بمهمت أو فالاتي هو أرواح بحط كل النوليج بيس يجب يسعندي هون ويضع الفاق ويهده لتروه تروه ومعنى ده لازم تبكى تروه تخيلوا اللوه إذا ما ضربنا مثال المرى الماضيين ولو عندنا إحنا بنا نفحص طالي بسحل وسجل مادت مثلاً لأرض بيشة الانتليجانس أو ما أو لا هل هذا الكلام بكون لازم عبيه شو أخذ مواد وشو المو العلاكات بين المواد ووووووووو لازم عبيها هون عشان نقضى نفحص مصور طب هون كنبرو بزيشن بسيه كده شو للتابع اللي يعني بعنى آخه وعرضه مهول بزبوغ هلها هين الطريقة لنيوميريشن يعني تعداد كل الحلات الممكن يعني ايش هنونا نتابع زوينها انو اخذنا كل الحلات الممكن وفحصناها وهي الطريقة كتير نعذب اللي زوينها ديب فرست هي الحقيقة ديب فرست انا ان سيبولس ان سيبولس يعني ان برو بزيشن يلطان كومبليكسيتي تطلع طول القوة ان واسبس كومبليكسيتي ان طريقة كتير بطيقة وكتير تنفعش بس هيت طريقة ما لها سام و ايش كومبليك شو يعني سام جاء علي سام يعني إذا عطتنا جواب بالجواب ما له يا اهتها صحيح وكومبليك شو معناها إذا فيه جواب بالتطبيق كمان مرور نسأل محمد هل اللي برو بزيشن اللوجيك سام ده كومبليك هل اللي برو بزيشن اللوجيك سام ده كومبليك كلنا سؤال غرب شو يعني هنو مش يمدب حصل لانجويج أو اللوجيك المسام ده لكومبليك فحص ايش لبروسيجن لقل بوريثن هلانو اخذ ان فرانس رولس طريقة اخرى يعني ايش اسموه نعرفه كمان من زمان اسمه ايه هش مدس مدس هلا بكل لك ون علي إذا إذا إف ألفا ذين بيتا وانتبت أعرف ألفا ذين بيتا ألفا ذين بيتا هاي جملي وجملي الثانية ألفا إذا بيتا ها تعرفوا ايه الكائد مصبور تعال فكرة يعني when ever any sentence of the form لما في عنا any sentence of the form الهير فور وعندي كمان ألفا لما هذر يرطين إلي معناتوا بيتا نقدر ايه هش بستمتنج هاي ميه ها خلينا نوه خلي الجيك اللي كومبليكساة صوخ يعني هاي كائد كائد نقدر نستعمل ها كائد تستمتاج يعني ضرس كتير على المادة ثين بجيب تسري من مين ما يتكول الطارب درس كتير على المادة نقدر استمتاج انه الطارب جدسي فا بحاجة انكم تشوفوا هاي اللجيك اللي كورو بيلا نسيز المخطمان تقرفون لانهم بيجزموا هاللا لالإنفرنس هلأ إذا إذا إيه ألفا أنت بيتا إيه نفسها بيتا أم ألفا أور بيتا بيكولا بيتا أور ألف إذا كان ألفا أنت بيتا مع بعض أور جائي أم جانا بيصير ألفا أام بيتا أم جانا كان إيه ألفا أور بيتا أور جانا يعني ما أخذ أقوى اسمها إيه إذا ألفا ألفا إذا ألفا من بيتا هاي بتسوي نت نت بيتا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا إذا و لكن فقط يمكنك أن تكون في مصمودة الأساسية كل مصمودة الأساسية يتم مستخدمت مع أساسية مخيطة هذه الكوولنسيات ، إذا كانت استعملنا إذا كانت استعملنا في الأساسية لكن يمكن أن يكونوا في مستخدمة أن يصل إلى أبول يمكن أن تكونوا كثيرا و أن نستنج كل ما يريدون يعني بمعنى أخرى مذكرين أنا مناشل سفق كبير عليها هذا اخذنا في مدر الديسكريت أنا باعطيك بكينا نعطيكم نولج بيس ونكلك سيمبليفائي صح؟ ونعطيك نعطيكم ونحكيلكم نو سيمبليفائي بذكروا فإنتم تقدر تستنتج يعني إذا أنا كتلك نورة لو كتلك إذا ألفة دين بيتر تقدر تقولي برغم نط بيتر إذا نط بيتر دين مض فإن نصدن استنتج باستردام هاي الكوائد بس المشكل لنو هاي الكوائد مرات ما بتكفيش إلى إنه نعمل مباشرة نعمل ريزنك أو يعني استنتج بنا الركز اليوم على اللي هي بروف باي كونتردكشن تذكروا شو معنات ستسفايل بالزمان ستسفايل ايش ستسفايل يا أمونا ستسفايل كلنا تذكروا ودعمنا حتى تلكم مثال بي اجدي استيودان سبطايب أو استيودان وسبطايب أو امبلوي وامبلويو استيودان سبطايب أو برسل وكننا أعطيكم إذا كان امبلويو تسجون أعرفينكش what is disjoint فيش انترسيكشن بيه المهم يعني معنى بقى هذه الحالة تطلع البيع الجديس في المدمشتة تسفايل مشو يعني مالهاش ولا مودي آه أفحص بداي المأفحص بداي المأفحص اتكري أنا شو ما بحن قول اختصام هل نهج بيس؟ لأن كل يفاكس عن الطلاب وعام المواضد هاي نهج بيس وعنا تسأل هذا السؤال بفترده ما هذا السؤال جماله ألفا إنه الطالب بسحفه ساجه المادة اليائية بفترده بسحفه ساجه المادة اليائية فبقول هل نهج بيس؟ انتيرس ألفا يعني هال نهج بيس هواك الحالي اللي عنده وكأنك تقول بيسمع وكأنك تقول بيسمع بيسمع بينه مهنة تسجل مادة ليران بشكل اكسر هلأ أنا اريد اجارة اولها هلأ احده بطرق ان اجد اجارة عالية بعد تسجل مادة ليران اتسجيلك لإلها بعمل فيوليشن لأحدر مولز او لأحد اللوجيكالي ستيفمانس في نولج بيرس وبالتالي أنا بحوالي نولج بيرس بحوالي نولج بيرس انترس ألف بحواليها الى نولج بيرس انت نط ألف النتيجة هاي ناس ان تطلع انسا تسجل اذا اتطلع في النتيجة انسا تسجل يعني معناتو في كونتردكشن المخلق معناتو صح تقدر تسجل فهي مسميها يعني رزيلوشن is a rule of inference leading to a refutation تحت يعني فيهم مبروفين تكنيك for sentences in propositional يعني طريقة أنا عملت بال65 سبوز انها انها أنا عندي أنا مثلا عندي نولج بيرس الطريقة عندي A or not percentage A شو يسوينا by resolving مش اسمه رزيلوشن طريقة by resolving A or B and not B بشتو بها معها بشتو بها معها شو يبضل عندي A or A معاتو بالبرس percentage A هاي أنا اشار أنا عملها اسمي للكشف ماشي يعني دعيت كمان ما أنا عندي نولج بيرس عندي نولج بيرس كوننا نظر بثال نولج بيرس وال08 العoloj نولج بيرس مث. أنا اشار نولج حياته حياته حياته حياته حياته حياته حياته حياتهvana ب suggestions foremen so هذه هي النورج بيس وفي عنام مهنة سجل جامعة ميرزيات مهنة طالب كبيتر ساينس ومهنة دميخة مادة مسكري كل هي النورج بيس كل الكلام نقول طو هذا النورج بيس شو السؤال يا نورا شو السؤال يعني هل تندر سجل مادة طبعا أنا بحطوش هل سؤال ما بحطوه هل عشان أقدر جاوب على هل بسحنو سجل مادة شو السؤال يعني النورج بيس انترس ألفة ولا لا بقول ألفة مهنة تقدر سجل مادة انترس ألفة بقدر سجل مادة نرفت يعني لما بقول النورج بيس انترس ألفة إذا انترس ألفة أو فارق معنى تفضلك سجل مصول مصول هلا بس إهلاع بتدرجني لها هلا أنا شو بس يهولي هون عشان أحويل نرجع عشان أحويل النورج بيس من أسولي عشان حول السؤال سؤال شو كان النورج بيس انترس ألفة هون السؤال هلا بحول السؤال لسي غوط بحول السؤال لسي غوط بقول نورج بيس شو يعني يعني ها ينورج بيس وبقول مهنة من معنى سجل مادة لا بس محلوش سجل مادة هلا إذا إذا طلع كون ترديكشن هون من هذول معنى تو معنى تو نسموح لك نسموح لك نسموح لك سا ها تون سامي إيش يساجلك أول إيش نورج بيس فرضك بحكي لك نورج بيس يجب أن تكون تحديكشن جيد ها هي المشفاعة ها لتركي عشان لإحنا نقدر نعمل رزيوشن اللي هي اللي هي الكلمة اللي كل موضوع بيس شاك أنا لما حطيت نورج بيس حطيتها بسيغة A or B A or not B ما نرم A or كذا كوكا ها يبقو ما زي تاند للجبال فأنا بحارب هذونا شو ما نتكون جمشن وشو ما نتسجمشن جمشن جمشن اللي هي الآن with this junction الأور بمعنى فأنا بدا حاول اللي نرج بيس طبعتي ههذا إلى إلى سيغة التالي انتبه معاهم خليك بس تطلع عندي مثلا I الأر أور I كذا لعنك صح وإن واحد فهل بينهم أور بس وانا في وكأنك كما والآن فبتصير عننا بتحول اللي نرج بيس عندي لأن نرج بيس عندي تكاشبها تحول الى سيغة اللي بس أدر أشتب زي ما أشتبنا هون وأطول بشوف بي مطبي بطلع شو بي محدة حتى بس طب وهي تبك در أشتب على فكرة دورا لما يقول هذول هاي محقق أور يعني هذول زي بينهم أكوات صح هاي بينهم أكوات فعندي هال وعندي هال في كل واحد بكلبة هذول في كلبة إيش أور كل الكلبة أور بس اللي بينهم فأهم كول لما تبك اللي بيس طريقة هال تقدر طوار تشوف بي إيه لطي تشتب تشتب تشتب شو شو شو ضل عندها نه وظهر لديك شغلاء هاي شغلاء تقدر تستنتج هالا أكل شو فأهم الحول اللي نورج بيس طبعا لدي أمثل فأهم الحول اللي نورج بيس إللا نسمي Conjunctive Normal Form C and F كبل ما نعمر Resolution كبل ما نحس كبل ما نستنتج لازم الحول اللي نورج بيس إللا Conjunct إللا Conjunctive Normal Form شو يعني Conjunctive Normal Form يعني Conjunction Of these junctions of اللي طرح الكلوسس شو يعني شو ها بحضو بحضو شو هبين حدود هذور إيه نسميها Conjunction Of these junctions هاي this junction ديبان دهي كل حال شو بي Oh يعني بعيد بلخس بكول أنه Conjunctive Normal Form يعني Conjunction of these junctions يعني في عندي حدود ديب كلبها Oh وبين الحدود هذور إيه شك هاي في مثال بس إضافكم إياه Resolution of sound I'm complete for propositional بجهة مثالها ذكروا الوانس مثال اللعبي من الوانس إنه في بيت في واحد بوان ثلاث وفي أو في بيت في ثنين بوان ثنين فيش بيت في ثنين بوان ثنين مع هان بسبب شو مضار مات بي أو سي تشتب هان مع هان بضار سي عرض الفسي اللي جدا جدا جدا بس إن ديب داك حول إنه نجبية لأي عش لكنجنكش لكنجنكش لكنجنكش لكنجنكشن لكنجنكشن لكنجنكشن لكنجنكشن of these junctions نقذ المثال اتب شو هذا المثال بيقول يا انه في بريز في واحد واحد إذا if I'd only F في بيت في واحد بوان الثنين و أو أو في نموت واحد بفوة هل هان كنجنكش بنور الفورد هل هان كنجنكش بنور الفورد لا نحول اول شي نصطبها كيف نصطبها نحول if I'd only F إلى إذا وان هاي يعني مثلا عندي الف if I'd only F بيت بتصير الف if I'd only F بيت وان F بيت بيت وان وان بيت وان بيت وان بيت بيت وان يعني من جرد طبيب بعدين بتوزع هات من جرد الهان يالا هاي شو تصير then B12 and أقور بيت the two تطلق B11 if B11 then if B11 then هاي مفهوم يعني حل كل F بذاحار not not فهذا شو تصير not B11 not B11 مفهوم الحد الآن اندخل المط لجوء هون بيجدع عنده في المطجوء بس وان لازم من جزء مزع المط فبالصير هاي زي ما هاي هاي بكرة الحال هتنجد كبنور ملفون بصير ندخل هاي الجوء شو تصير but we want to not مط هاي بيضر هالكما وزع هاي شو تصير هاي شو تصير هاي شو تصير ندخل B12 ندخل بصير not B1 and B1 بتصير هاي زي بكرة الحالة ما هاي بتصير not B12 P12 or B11 and صبوط not B21 not B21 not B21 اسين اف اقدر اشرف أنا اقدر اقدر شفتوا عليك شفتوا كير بقدر اختصرهم بقدر اختصرهم بقدر اختصرهم بقدر اختصرهم بقدر اختصرهم ايش اشرفتوا أنا كبير شوال كلوا لخصهم زي مهم في البيتة بليه the resolution of algorithm تراجت بروف كمان ما شو احنا كنا يعني أنا سرحتكم فلت في البيت ليه ربما اشرفت كبير شوال سبروت بعيد ان أنا شو لديها شو العي بروف بحول اتحاز بحولي اعمل بروف لها لها نعملها انو نعملها انو إذا تقعت هاي انساديس فايري معناتو هاي صح مفوه وهذا ما ما فيش نشي هاي الاجرنثة هاتو نعمل هاي ما بعض أنا في عندي يا شباب knowledge base فيها التالي بي اف بي than q ما بعض than q هاي شو تصير طيب هاي بتصير بي or q هاي بتصير هاي بتحول الاسين ايب أنا برسوط لك تحول الاسين ايب شو بتصير لحال ها اعتبه هاي تمشو بتصير بي اف حول الاسين ايب بشي بي than q than q than q than q or q طيب كم مش كلو ما هتصير هاي او او او أنا مع خلص cnf تصريز بالضعر الحال او بس أنا عا اعطيكي نتيجي نهاي هاي بتصير شو تباح و هاي شو بتصير نف هاي بيطلع جميل اكتير هو هذا بيطلع بي or q ام مضق بي or q هاي بيطلع مابع بيطلع بيطلع هاي مصبوط بيطلع لعب اذا احنا هاي نوليت بيس و بنا نفحص هاي نوليت بيس بنا نفحص مصبوط ننفحص من كادي مش مي سبحنا من حول بكل الجمال الى الى سين ايب الى سين ايب النتيج اللي بتطلع عنه هاي بيطلع هاي بيطلع هاي مباشر هاي شو طلع على ذكر هاي طلع طلعات شرية خلص مش مشكلة لما انا بالجدرن شو ما ساوي باب سلها زبار طلع عافيك رجيد مونيت بيس بين كل جميل و جميل واضح يعني كنت ليا وستحول ليا بتطلع هاي خلص خلص ا طلع شو اصوى بقا ا بذكر اه شو تصوى لس هاي نورج بيس هاي نورج بيسلحق دوان من واحد In towards the news جمال هاي نورج بيس حولت مننورج بيس يحدوه للثلوج جمال تنزل انقضر الى الان انا توقع ساوي الجباز! الثلاث الآر سوف يسمعك الجباز أن ينتقى كل apa؟ كل ما يتمربح أربعة وستة نتقس مع أس أول شيء فيه مجرد من كل كل الأماكن معصرانا ثيسة سبعة و السبعة شو بيضال؟ ثبتيها نتوحى شو بيضال؟ هل الأس و كأنها بسير جميل جديد منضيف عمرت بيس صح؟ مصبوة؟ اللي جميل بعدها حطينا 6 و 8 شو 6 و 8 و 8 شو بيضال؟ صح؟ تان و 1 و 9 و 1 و 9 شو بيضال؟ بيضال الثلاثي مع العشرة شو بسير بيضال صح؟ و بعدها مع السبعة شو بسير بيضال بيضال بيضال شو بيضال؟ بيضال شو لصح؟ مصبوة؟ و لديك وضال و لديك و قار معنى قار و لديك و لديك و لديك و لديك و لديك و لديك و لديك و لديك و ضم Hugo17 و لديك و لديك و لديك و لديك و لديك و لديكدو و لديك بهذا when it comes. when it comes. معناتو في واحد point اثنين و في اثنين point واحد في بيت هاي كعي كما تأجد نورة شو حكاة او فيش بريز في واحد point واحد مش معناتو كبير نقول معناتو اجد رتاب كالا اقول انو فيش بيت في واحد point اثنين يعني هل هاي المعطيات اللي عند النولج بيز هل بقدر سنتج انو فيش بيت في واحد point اثنين اخبرنا لها هل احمر نتربع الطريق فلاش الطريق كشير يعني شو سؤال لما هي كذا باب دريو ستاعة سنتجن اللي كانوا انو هاي انو فيش بيت في واحد point اثنين شو يعني يعني اقلها كصدك تقول لي هالان يعني بتسألني زي هالان نورة بيز هاي انتب في هاي الفة فابدة حول هاي لانو سين اي سين اي اي معنات اي معنات هاي طريقة ثان هاي مش جدول انا لو جدكم ايها هنور شو سهلي جدول لكتاب يستعمل طريقة ثان اللي هي هاي نونج بيس اان مط الفة هاي نونج بيس حول هاي حولها وعمل مط النط وحد point اثنين شو صاره point اثنين صح فصار اندي هاي هل اول همي اللي همي بيهتبع كم همي بتجدول اللي همي لحدهم اثنين شو بتساعه انه� more شو باشر او شو بتشطدو بعضinate هاي وإذني جي تنتين هذول برضوا مع بعض بطلعنا هاي المهم بطلع الكنتاب تفهموا هاي بس أنا بستعمل جدوة هاد مثال أخضركم لديت الكومبليد يسهل هو كومبليد ولمش كومبليد كنت عنه رزيليوشي كومبليد لها الروبوس يشنان لجلن هاي مطلوب منكم بس عشانه بطول بشنوهش عادتا في النادي تدرسوه من اللي كتاب فجيب عليه سؤالة صغيرة عادتا بشان نتبركم تدرسوه للكتاب بس أنا بيش الفون فورماليزيشن يعني نان طويل لبروف انه هل هو كومبليد ولمش كومبليد فانفورمالي شو الفكرة طبعا بس أنا حده وانشفت فكرة تلفل كيف نعمر ريزيلي بستعمال رزيليشن طابع يعني أنا بسميه طريق الضحك هل أنا نقوم بفكرة ثانية طريقة ومطريق تين على فكرة بس هم معاكس باري واحد ياسمه فوربوغر شانين وحد ياسمها باكورتشن كبب ما نخذهم بانا نقوم بتشغل اسمي لان هاي الطريقة بتسبط إذا كانت لنا متبايا سألها شكل معاك هلا هلا رزيليوشن صعب كومبليد بس ماله رزيليوشن اكسبونانشة في سبايس وفي الطعب هلا أجع على كال إذا عطيطوني نولج بيس بس إذا مش كيف ما بيبكو إذا عطيطوني نولج بيس بشكل أنه كل الجملي بتكون عشكل هورني كلوزي يعني ده رش تعملكم فوربوغر والباكور كمان ما إذا عطيطوني نولج بيس هورني كلوزي إذا عطيطوني عشكل هورني كلوز مش سين اف هورني كلوز بالنستعمل الكوروث يمسانوم فوربوغر كل باكور تبشو يعني تبشو يعني تبشو هورني كلوز تكون الجملي تكون الجملي كل الجملي فيها أتموص one positive proposition يعني هاي كموحدة فيها A or B or C كموحدة فيها فيها وحدة بوزيطوني هذولاك فيهم ما هاي بوزيطوني هل كل هاي بوزيطوني لا هاي كل بوزيطوني لا and B2 and B3 لعند and Bn إذا هذول هل هاي هورني كلوز ايوه ايوه مض هذول في شو بطعني بطع كله بطع كله بطع كله هل هاي الجملي مش هورني كلوز لعند إخصار يعني شو بدهو بيصدقراف شاكي هاي هو بدهو يرسم قراف إذا كدهو يرسم قراف ما قدرستان يعني بدهو حول لنوش بيصدقراف كيف يعني حول لنوش بيصدقراف كيف تتحول لنوش بيصدقراف إذا كانت على شكل فيها هاي فبتقول اذول بيقدو إلى بيقشره لأيوه هذولة بيقشر على هذولة هذولة بيقشر على كراف يعني إذا اليوم دنيا مطار فيش محادر وإذا فيش محادر وإذن روحنا العب كورة سلوة وإذن روحنا العب كورة سلوة بدي قلبس فديت رياضة بدي كذا كذا أو كل هنزي اللي بيس بقدر عرسم بين اللوجيكالي ستيتمينس بقدر عرسم كراف إذا كدري بس تعمل ألبوريثين بقدر عرسم كراف بس لا أعتقد إنه ليس ألبوريثين فشو لازم تبكي لرجب ألبوريثين فشو لازم تبكي لرجب ألبوريثين تبكي هورنكلوز فالتي اطولت ألبوريثين لست فروردو المخلوق و ألبوريثين خرنو مكون لينيرتا خذو هذا المثال إذا أشريبي فأسريبي أسريبي أشريبي فأسريبي و إذا كدري مشكلة التدفيع والتدفع هاتف إذا كان لديه يوم و يوم دا. انا فى العن حكم في البيت. كيف كان لديه يوم دا؟ الآن لديه يوم دا؟ كيف رأيك؟ هل أنا أحبي؟ لسها أنا ما ينشفه بورد و لباكوردات. أنا جانب. هذه نور جباز اذا انت خذت وهذا اهلاف هذا ما فعله انا محاولة كير كيرها صحبا ليه ايام التوم بزال ايام التوم واتس ناوي كيركون ويتأيام التوم ترجع العكس ترجع العكس انا مجددا لا لا برجع العكس انا عكس اذا انا انت هؤمن اين كل شخصت انت انام باعم ايا بترجع الهوة ترجع الهوة انا تطلق متجز متحدة التوكوف ايهاcave 2 و 3 نرحل I Am At home I Am At home I Am At home I am at home بتوقف حالتي لا اجعلها اشارلتها يا امي محمول its snowing او مشوى او من خوفاagoد買و اخوط اتخار Breath اذا يبدو فيديو انا احي بالسديد لي現印 hour لصن فان لهيس ااءه وين تتي؟ اذا سنو ان damping is well اقوم ات الفó هان او اذهبت شخ love كغ على باب اه كان يقوم بثباته واجهته فيها انا تفهمت اذا انا تفهمت انا تفهمت ثم انا ساعدت ورد من الكرام بسطا باتجاه الكومبيوتج اذا امرت من الكومبيوتج وصير ترجع لواره انه اسمه باكورجن ها نفهم هل هذه الكويري و أنا هاي كنت لكم الآن و هاي كوركيس هل أنا بسير أفحص هاي علمات القادم it is holiday it is snowing next step هل الآن فحصت هاي okay فحصت هاي فحصت هاي بلما أجدوا حصها بلما أجدوا حصها بلما أجدوا حصها حلوتحالي آيماكم حلوتحالي آيماكم علمت bym يجب أن يكون هناك شيء مجموعة ولكن إذا كانت تنوني جديد يجب أن نقوم بعمل الفرورد والباكورد الملح هل تفكرين عن هذا؟ هناك مثال أخرى أعتقد أنه يجب أن نكمل الملح يسمى فريتز لأنه يسمى فريتز لأنه يعمل فريتز ويعمل فريتز كيف يعمل فريتز؟ يعمل فريتز ويعمل فريتز فريتز ماذا يجب؟ إِن نُنج بيَس كنتانز دا كولووي إِن نُنج بيَس ألمه، شو تقول إِف إِكس كروكس أم إت فلايز ثم إكس أس وِفروك ذو طفلة شريكس يعني بغرد أم سيمس يعني بغرد ممعاناته هو كناري إذا إكس أس ثم ما عدوه او اكس is يبريد اذا اكس خص اذا كنالي ثم اكسitos يدوه وعندك هذور وامننا اعرف دا ماهاية بفرهيتس كروكس و ايتس شو نتيجة سوف احلكم اضع اوطيل ، ليس بس بتاروحان احنا نترفع البيض الدربالي شو في شو بلوم بلع now الايبات Beyonce بلما ما تطور في기 الايبات Beyonce شو يسوي بيقول لليش أنا طلع عليك اللي أنا فحص فرش من الفور من التحين وطلعتها فوق لليش بجوز روصنه مشنا في جي واحده بجوز كافي عنده ألف نتيجة اللي تحت روصنها علينا صح للجراف لما بكون كبير ممكن تستانت شغلاتك كتير مصبوط الفورض اللي لليش أنا أطع من التحين التفوق لأني قد إرواح في برانج لما تنزل ليش مصبوط هلفي حدقة جاكية لليش مهجم من ساوي هيا من فوق لتحك شو يعني شو اللي قلخليني هبي هيك سؤال شو اللي بخليني هبي ها أنا نفسي من نولج بيس بس إيو فروموز شو اللي بخليني هبي بي شو اللي بيحاكت بي طب شو اللي بيحاكت وعبوا قدموا وعبوا شو اللي بيحاكت قل بكافي اللي بحاكت قل وعبوا نعم نعم أنا هوا نازم حاكت تفينتين على فرحة ها هام نازم حاكت تفينتين ضلت ها ما تقول فبرجع على بي بتتحك اولا برجعوا للكدم من اول هلانا عندي ها مصبوط هدولي نسلني هدولي جرام بروبوزيشنز يعني بعد ما ديش عايشي خلاص تاكس مصبوط برجع ساك هلال فبرجع بالكبي برجع من بي شو اللي بحاكت بي فيه لانو فيه اان دي دي دي مرات نزمنيش ده هاي بي هم قوة نزمنيش هوا على هده برانج بروحوا على واحد منه بصبوط فبس هوا عندي بي فلازم حاكت قل وام عشان حاكت قل لازم ايه لازم ايه وبي مهات حكت خلاص خلاص خلاص خلاص ايه وبي وبي وهي تحكت ايه وبي فهي تحكت صح عشان قل شو انا بدأ ايه هاي دخل لا هاي بس اندينيش ما ايه كي اول مور هاي الربي و ايه هاي ايه ايه وبي فانا بي ايه اوتي اوبي خلاص بس اله وب ايه ارتي فا احكت مطبوط انا ايه احكت وهي صاران حلن حلن تحكت تحكت احكت عام بعدين انا ايه تحكة ما ادن اتقوى المنص الأجرام في الهواتف الأجرام اللي بلزمني اللي بلزمني اه مهديك تفتح تفتح وتشوف لانك تدكت برج عرجوه تكون له يعني بده تشوف هاي ضحظة شوية دي شوف هاي بل ضحكك هولة لا إذا قابلت تحكك هاي إذا حككت هاي و هاي بس ضحظة شوية ضحكت رأس هاي هل عشان هاي تلكة وحدي من هذو لازم تحكك يعني يان هو لنجيه هات تحكيك من هذو لازم ديان يعني يجيه هاي من هذو لازم و قابلت شوية بكتك هاي يستنى شوية إذا كتت تحس هاي بس بوض فتت عليك هاي هلا شو الفرق بيه الباكورد من فاكورد الباكورد أصرا الباكورد أصرا هل اتنظر بمثال هل اتنظر بمثال أنا بدك كول هل اتنظر بمثال وانت تقولوا لي انه اتعمل في الباكورد والفاكورد أنا بتحس هل مؤنه بقدر يسجل مادة ليه أيولا لا أنا أصرا اذا كان في اكتر مؤنه اه انه معلمك عن كل الطلاب الجامعة عن كل طلاب الجامعة وعن كل المواد الجامعة وانا بدك بحاص هل مؤنه بقدر يسجل مادة ليه أيولا لا الباكورد الباكورد تنظر بفرورد ولا واحد كل كول فرورد بشمليه فروا ايه صلا شوية نشب كل مادة ليه أي نقول هل مؤنه بقدر يسجل مادة ليه الوان طوان اللي يمطلب جامعة مؤنه أصرا فرورد أصرا ترشان فرورد يعني عمليا بدك شوف كل مواد الجامعة كل الطلابه اطلع فيهم كلهم مع بعض وشوف اذا النتائج لو صفت الها فوق في واحد منهم لأنه مؤنه بسبح يسجل مادة ليه ليه الجامعة فرورد نعم ساعة لا لا مو فيه على كتب المواد ومن دش أنه متطلع جامعة وانطوان مجددا بجامعة مداة ثان بدأ شخص كولحة فهي يعني ذنبحوا أشياء ثانيه. هله? الباكوورد لزار أصبحت. خذ المثال التاليه. رئيس جاعة بيسأل بكله يطيني كل الطلاب إلي مسهم حلو ومسجده. فرور. فرور. فكل طلاب جامعه ارجع فيه ومحده احد ثاني فورورد اصلاب فورورد اصلاب حل، إذا من قول الفورورد يعني إذا بسترجع داته كمية وإذا بسترجع عند قول بس ده سأل باكور فهي بوتوم أبريزي للنهرات مش بوتوم أب طب ليفن بوتوم قول مصبوط باكور بيكون في مشكلة بيكون في مشكلة في الباكور زي ما قدنا اجفاننا هل بس قلونا طلاب جامعه تسحل ومسجلوه وانت وين مع ذهب ده سأل عنهم واحد واحد إذا عد الطلاب جامعه 10.000 بدلوه 10.000 مر وجوز اعيد نفسي الأشياء فشاهدت الفرق بينهم كمبليكسي ده في باكور كمين مشلس than linear in size of the knowledge base يعني مرات حجمي نولج بي يعني مرات يعني it's very interesting انت عمل على نجي اللخص شو لحد الأعانت علمنا آخر slide انو كلنا اللجيك على اللخص بشكل عام logical agents apply inference to a knowledge base to derive new information and make decisions مصبوط ها نسأل هذا اخنا كنا من الذكاء او ذكينا نوعني الذكاء لأجيزي يقدرنا من نستعمل ألبولات زي هي ها من كل كومبيوتر معلو ذكي ها اخذنا سينتاكس طبع بروبوز الشينا اللجيك وخذنا السيمانكس طبعو truth والmodels truth of statements ودرس مكتو models ها اخذنا entailment شو يعني entailment يعني مصر شو يعني entailment يعني انو نكفن نجيز entail زي عليك حقق ايه طيب ايه مش حققك على فكرة يعني نقول ايه مش يتروح اعرف ايه مش يتروح تتروح في الناس لا انه entailment استنتاج بس شو معنى في استنتاج مش معنى تتروح ليس هناكما يمنع انو كنتو بالضبط اذا بقول هل انو نكفن تلس الفا انا مكصبيش هل الفا اذا تروح لا شكل عام وكأنني انا بقول هل هناكما يمنع هل هناكما يمنع انو ألفا تكون يتروح او معنى هل النولج بيس يتمنع انو تلكا تروح اعطيكم مثل هو بي كل ايه هو بي او كل فرق سخرينا نقول انا نحكي على مجتمع الجامعة مثلا لما نقول كل ايه هو بي او كل طلاب هم انسان او كل طالب هو انسان وكل موظف هو انسان خربستوني او بعض وكل موظف هو انسان ماهو잖아 مش always علم啊 some of them علم وكلنا بعض الموظفين بعض الموظفين طلب بعض الموظفين طلب بعض الموظفين طلب كدش عدد اللاب الموظفين على أتpadهم يعني كده بعض طلب الموظفي موضف واحد لازم يقول طالب مصبوى؟ ليركزيس طالب لما أأتي أقول مصطفا بس هل إشي بمنعك طالب؟ نعم تحنا من دوّر أو أرأ طارقة مثل أخبار اليوم يبدين يا مطار أو أوور يعني اليوم يبدين يا مطار أو في إدرام بعدين هل أنا بس تنتج؟ عندي بس هاي نونج بس هل حكيتها أستاذ؟ أندي يلس أن اليوم يبدين؟ نعم مام هل تأتي إشي بمنع؟ ليه؟ يونج بس A or B بالألفة شيء ألفاء اليوم فيه مطار أو اليوم في إدرام هاي نونج بس يعني A or B السؤال شو سؤال شيء ألفاء؟ B B شو يعني؟ دنيا مطار؟ هاي بكل هاي بكل دنيا مطار؟ شو بالجواب هاي؟ في إشي بمنع؟ لا يعني إذا بكل كوميان مش هاي تروب شو بتوقع؟ هاي بكل هاي بكل إحنا من كله جكلي بالمنطقية منطقية في إشي بمنع إنه هاي جملي B هاي تقول تروب؟ فالانتقل من هي مش يتروب مش يم ألفة تركية تروب بالمش لي هذا المعنى ليس هناك معايا منع ألفة إنها تركية في إشي بمنع ليس هناك ليس هناك معايا منع إنها تركية في منطقية طيب خذنا الإنفرانس إنه شو يعني إنفرانس؟ درائب زمتنسي زمتنسي زمتنسي خذنا شو يعني سام شو يعني سام يعني ألف من كل باكورد شو يعني مصري طيب شو يعني سام إنه إذا حصلنا علي إمتال إذا عطتنا جواب إذا الباكورد عطتنا جواب يكون الجواب مالو صح هذا الكلام لا يعني إنه ممكن لتنا جواب ها ومكلء أربوردن ها هو الساب يعني شو يعني إذا عطتنا جواب معذا جواب شو يعني كومبلير من كل ه هذا أربوردن كومبلير إذا في جواب إذا في جواب فعلا برتم ماشي الرزيلوشن السام وصولت باكورد وصولت الهورد والباكورد شاني are very good يعني linear time complete and complete بس لو انت لو انت للهورد نيكلوزيس زي اللي هذولة الرزيليوشن والباكورد والفاربورد زي اللي شرط عليهم بكل هذا بكل اذا بترتي إذا إذا نورج باسنا بعتك هورد نيكلوز اعبقك بحل يمكنك تستعملني بس إذا لعب يعني هذا معتو كل فكرة هو جزء من الدنيا تستعمل وعلى فكرة ها مرة لازم تبقى سيئن ايه إذا سيئن ايه يجب ان تستعمل هلا بشكل عام احنا نعرف انه اللي بروبوزيشن اللوجيكوه اصلا مالون نقدرش نحكي كثير نقدرش نقول فيه زي ما حكيت ان بثاتك بشوية انه بعض الطلاب موضف نقدر بعض الطلاب او كل الطلاب فهذا ولا بدنا يوجدون بالفيرس اردلوجيك اللي بنا نخذ محضر القادم في اي سؤال