تست هوش مصنوعی- ۹۳سراسری it90(منطق مرتبه اول) - نسخه‌ی قابل چاپ

تست هوش مصنوعی- ۹۳سراسری it90(منطق مرتبه اول) - rad.bahar - 04 بهمن ۱۳۹۰ ۰۱:۱۳ ق.ظ دو جمله زیر با هم قابل یکسان سازی هستند group(Ali,Ali,Alice) , group(x,y,mother(x در مورد یکسان سازی این دو کدام قاعده زیر درست هست x/Ali, y/Ali, mother(Ali)/Alice x/Ali, y/Ali, mother(x)/Alice ایا باید با mother(Ali) مانند Ali یا Alice برخورد شود؟ اگر قاعده x/Ali, y/Ali, mother(x)/Alice درست یاشد با فرض جایگزینی x/Ali, y/Ali در حمله)group(x,y,mother(x به چمله group(Ali,Ali, mother(Ali)) می رسیم ان وقت می توان از جایگزینی mother(Ali)/Alice استفاده کرد با انکه در قاعده مذکور نیامده لطفا جواب بدید با یکسان ساز‌ها مشکل دارم

تست ۹۳ it90 - fe_atash - 04 بهمن ۱۳۹۰ ۰۸:۴۴ ق.ظ دوستان تو این تاپیک به این سوال جواب دادن و گفتند قابل یکسان سازی هست: مهمان عزیز شما قادر به مشاهده پیوندهای انجمن مانشت نمی‌باشید. جهت مشاهده پیوندها ثبت نام کنید. و ثابت Alice داخل( mother (x ریخته میشود.

تست ۹۳ it90 - goldoonehkhanoom - 04 بهمن ۱۳۹۰ ۰۹:۳۶ ب.ظ ببینیدکلا۳تاقانون داریم اینکه:۱)تابع باثابت قابل یکسان سازی نیست.مقسمی گفته گزینه ۴ که هیچکدام هست و لی کتاب مدرسان که به نظرمن درستش هم همینه که قابل یکسان سازی نیستن alice,mather(ali قانون۲)f(X),xقابل یکسان سازی نیست قانون۳)ثابت وثابت قابل یکسان سازی نیست