صداي استاد ، تمام جلساتش رو ندارم(دوستانم به صورت جلسه اي برام ميفرستند)
جزوه اش رو هم نميدونم! بايد بپرسم ! اگه خود موسسه اضافه داشته باشه از همونجا بگيريد که راحت تره
درسته نوشتن معادل جمله در منطق مرتبه اول يک مقدار مشکله!
به نظر من فقط با تمرين زياد حل ميشه و توجه کردن به قوانين سورها پايه اين مسائل(يعني جملات فارسي رو به صورت گزاره اي نوشتن) برميگرده به منطق گزاره ها که بيشتر توي رياضيات گسسته هست
والا من که فکر نميکنم اين قسمت چيزي داشته باشه که شما متوجه اش نشده باشيد!
ولي با اين حال تنها کمکي که از دستم برمياد اينه که توضيحات خود استاد رهنمون رو براتون بفرستم. صداي استاد بعضي وقتا مشکل گشاست!
اووووههه!! شما همه ي کتابهاي هوش موجود تو بازار رو داريد؟!؟!
اينجوري که ديگه نبايد مشکلي داشته باشيد! خيلي حساس نباشيد مطمئناً شما تا حد لازم مفهوم رو متوجه شديد. سوالات اين قسمت در ارشد هميشه حفظي بوده و به نظرم خواهد بود!!
مثال از قانون رزولوشن داده ميشه نه از اينها
استلزام (entailment) ميگه آلفا، بتا رو مستلزم ميکنه اگر و تنها اگر براي هر مدلي که در آن آلفا درست باشه، بتا هم درسته
استنتاج(inference) يه فرآينده! در واقع به کمک قوانين استنتاجي در دستگاههاي منطقي مي توان جملات جديد از جملات اوليه در پايگاه دانش توليد کرد.
همونطور که ميدونيد قوانين استنتاجي به دو صورته: صحيح(sound) يا کامل(compelet)
که معمولاً sound هستند چرا که زمان محاسبه مهمه
براي درک استلزام و استنتاج مي توان تمامي منتج هاي پايگاه دانش را به عنوان توده کاهي و آلفا را به عنوان سوزني در نظر گرفت. استلزام شبيه سوزني است که در توده کاه قرار دارد و استنتاج ساختن آن است.
يعني مثلاً الگوريتم استنتاج i ، آلفا را از پايگاه دانش نتيجه ميگيره
مشکل شما اينه که ترجمه ي خوبي رو انتخاب نکرديد واسه مطالعه!
چرا کتاب رامين رهنمون رو نميگيريد؟ تا جايي که يادمه تو کتاب حل مسائلش هم دقيق و مفصل اينها رو بحث کرده و کلي تمرين ازشون حل کرده..من که همه ي اسلايدهاي سايت رو خودم مطالعه نکردم ببينم کدومشون اين رو بهتر توضيح داده!