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

تست هوش مصنوعی- ۹۳سراسری 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قابل یکسان سازی نیست
قانون۳)ثابت وثابت قابل یکسان سازی نیست



موضوع‌های مرتبط با این موضوع...
موضوع: نویسنده پاسخ: بازدید: آخرین ارسال
  هوش مصنوعی مالک اشتر m.abbaszadeh1995 ۳ ۲۶۴ ۱۴ شهریور ۱۳۹۹ ۱۲:۵۷ ب.ظ
آخرین ارسال: m.abbaszadeh1995
  هوش مصنوعی یا بیوانفورماتیک fateme_TMR ۶ ۴۵۹ ۱۸ تیر ۱۳۹۹ ۰۱:۰۲ ب.ظ
آخرین ارسال: fateme_TMR
  حل مساله مرتبه زمانی حلقه های تو در تو sarashahi ۱۶ ۷,۴۷۵ ۱۹ خرداد ۱۳۹۹ ۰۱:۱۶ ب.ظ
آخرین ارسال: gillda
  مشکل در حل تست ۲۲ فصل اول کتاب گسسته یوسفی pure.yaser ۷ ۲,۲۵۲ ۰۹ اردیبهشت ۱۳۹۹ ۰۶:۵۴ ب.ظ
آخرین ارسال: mohsentafresh
  مرتبه زمانی Sanazzz ۱۷ ۵,۲۰۱ ۰۹ اردیبهشت ۱۳۹۹ ۰۶:۴۶ ب.ظ
آخرین ارسال: mohsentafresh
  رفع اشکال سؤالات کنکور دکتری هوش مصنوعی Lootus ۱۲ ۱,۳۸۵ ۲۵ اسفند ۱۳۹۸ ۰۷:۳۹ ب.ظ
آخرین ارسال: Lootus
  جواب سوالهای تخصصی دکتری هوش مصنوعی سال ۹۸ Lootus ۱ ۴۸۸ ۲۹ بهمن ۱۳۹۸ ۰۱:۴۳ ب.ظ
آخرین ارسال: machine86
  چه زبان برنامه نویسی برای هوش مصنوعی بهتر ؟ Sanazzzz.mi ۳ ۷۲۸ ۲۸ بهمن ۱۳۹۸ ۱۰:۰۴ ب.ظ
آخرین ارسال: milo
  ██ ویرایش ۲۳ ایبوک هوش مصنوعی (رایگان) ██ sohjel ۱ ۴۶۶ ۲۳ بهمن ۱۳۹۸ ۰۱:۳۴ ق.ظ
آخرین ارسال: marvelous
  بهترین منابع هوش مصنوعی برای کنکور ارشد marvelous ۳ ۱,۰۴۵ ۲۵ آذر ۱۳۹۸ ۰۱:۴۴ ق.ظ
آخرین ارسال: marvelous

پرش به انجمن:

Can I see some ID?

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

Feeling left out?


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

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

Feeling left out?


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