تالار گفتمان مانشت
هوش مصنوعی ۹۴ آی تی | Unification | یکسان ساز - نسخه‌ی قابل چاپ

هوش مصنوعی ۹۴ آی تی | Unification | یکسان ساز - Happiness.72 - 27 اسفند ۱۳۹۵ ۱۱:۰۹ ق.ظ

درود و سلام

راهیان ویراست ششم گزینه ۳ رو صحیح اعلام کرده و حل تشریحی پارسه گزینه ۲ رو .Confused
کلید نهایی سنجش رو هم پیدا نکردم.Huh

راهیان : سمت جپ تساوی باید متغیر باشه و ثابت نمیتونه باشه (خب این تابلویه)
پارسه : متغیر ها رو میشه با متغیر و تابع و ثابت یکسان گرفت ولی ثابت ها رو نمیشه با چیزی یکسان سازی کرد


[attachment=21428]

RE: هوش مصنوعی ۹۴ آی تی | Unification | یکسان ساز - shahraz - 27 اسفند ۱۳۹۵ ۱۲:۴۵ ب.ظ

(۲۷ اسفند ۱۳۹۵ ۱۱:۰۹ ق.ظ).MIT نوشته شده توسط:  درود و سلام

راهیان ویراست ششم گزینه ۳ رو صحیح اعلام کرده و حل تشریحی پارسه گزینه ۲ رو .Confused
کلید نهایی سنجش رو هم پیدا نکردم.Huh

راهیان : سمت جپ تساوی باید متغیر باشه و ثابت نمیتونه باشه (خب این تابلویه)
پارسه : متغیر ها رو میشه با متغیر و تابع و ثابت یکسان گرفت ولی ثابت ها رو نمیشه با چیزی یکسان سازی کرد

سلام
من این کلید رو از سایت مستر تست گرفتم. تو کلید هم گزینه ۳ درسته.
[attachment=21429]
توی کتاب پوران هم گزینه ۳ جوابه ولی حل نذاشته

به نظرم گزینه ۳ جوابه چون اگه میشد تابع یک ثابت رو با یک ثابت معادل فرض کرد، مثلا دو جمله (king(John و ((king(mother(Richard هم قابل یکسان سازی بود.