زمان کنونی: ۰۲ مهر ۱۴۰۰, ۰۶:۵۴ ق.ظ مهمان گرامی به انجمن مانشت خوش آمدید. برای استفاده از تمامی امکانات انجمن می‌توانید عضو شوید.
گزینه‌های شما (ورودثبت نام)

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

ارسال:
  

rad.bahar پرسیده:

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

دو جمله زیر با هم قابل یکسان سازی هستند
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 استفاده کرد با انکه در قاعده مذکور نیامده

لطفا جواب بدید با یکسان ساز‌ها مشکل دارم
مشاهده‌ی وب‌سایت کاربر

۰
ارسال:
  

fe_atash پاسخ داده:

تست ۹۳ it90

دوستان تو این تاپیک به این سوال جواب دادن و گفتند قابل یکسان سازی هست:


مهمان عزیز شما قادر به مشاهده پیوندهای انجمن مانشت نمی‌باشید. جهت مشاهده پیوندها ثبت نام کنید.


و ثابت Alice داخل( mother (x ریخته میشود.

۰
ارسال:
  

goldoonehkhanoom پاسخ داده:

تست ۹۳ it90

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



موضوع‌های مرتبط با این موضوع...
موضوع: نویسنده پاسخ: بازدید: آخرین ارسال
  کارنامه های آزمون دکتری هوش مصنوعی ۹۶ robotic1981 ۵ ۴,۴۴۵ ۱۷ بهمن ۱۳۹۹ ۱۱:۱۲ ب.ظ
آخرین ارسال: hmaryam567
  کتاب های کنکوری ارشد هوش مصنوعی bahar1362 ۰ ۶۵۱ ۱۵ دى ۱۳۹۹ ۱۰:۴۷ ق.ظ
آخرین ارسال: bahar1362
  مرتبه ایجاد درخت rad.bahar ۱ ۹۸۵ ۳۰ مهر ۱۳۹۹ ۰۳:۳۴ ب.ظ
آخرین ارسال: rad.bahar
  مرتبه شبه کد rad.bahar ۱ ۸۰۴ ۲۲ مهر ۱۳۹۹ ۰۹:۳۲ ب.ظ
آخرین ارسال: BBumir
  هوش مصنوعی مالک اشتر m.abbaszadeh1995 ۰ ۱,۵۳۲ ۱۱ شهریور ۱۳۹۹ ۱۲:۱۸ ق.ظ
آخرین ارسال: m.abbaszadeh1995
  هوش مصنوعی یا بیوانفورماتیک fateme_TMR ۶ ۲,۲۴۰ ۱۸ تیر ۱۳۹۹ ۰۱:۰۲ ب.ظ
آخرین ارسال: fateme_TMR
  حل مساله مرتبه زمانی حلقه های تو در تو sarashahi ۱۶ ۱۲,۱۵۷ ۱۹ خرداد ۱۳۹۹ ۰۱:۱۶ ب.ظ
آخرین ارسال: gillda
  مشکل در حل تست ۲۲ فصل اول کتاب گسسته یوسفی pure.yaser ۷ ۴,۰۷۳ ۰۹ اردیبهشت ۱۳۹۹ ۰۶:۵۴ ب.ظ
آخرین ارسال: mohsentafresh
  مرتبه زمانی Sanazzz ۱۷ ۹,۱۹۷ ۰۹ اردیبهشت ۱۳۹۹ ۰۶:۴۶ ب.ظ
آخرین ارسال: mohsentafresh
  رفع اشکال سؤالات کنکور دکتری هوش مصنوعی Lootus ۱۲ ۳,۵۱۷ ۲۵ اسفند ۱۳۹۸ ۰۷:۳۹ ب.ظ
آخرین ارسال: Lootus

پرش به انجمن:

Can I see some ID?

به خاطر سپاری رمز Cancel

Feeling left out?


نگران نباش، فقط روی این لینک برای ثبت نام کلیک کن. رمزت رو فراموش کردی؟ اینجا به یادت میاریم! close

رمزت رو فراموش کردی؟

Feeling left out?


نگران نباش، فقط روی این لینک برای ثبت نام کلیک کن. close