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

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



موضوع‌های مرتبط با این موضوع...
موضوع: نویسنده پاسخ: بازدید: آخرین ارسال
  درخواست کتاب یا جزوه برای ارشد و دکتری هوش مصنوعی H.Mohammadi ۰ ۴۳ ۰۴ مهر ۱۴۰۱ ۰۹:۱۵ ب.ظ
آخرین ارسال: H.Mohammadi
Exclamation سلام لطفاً یکی به من بگه مرتبه زمانی ها چطوری به log تبدیل میشن فرمول داره؟؟ Azadam ۶ ۱,۵۶۵ ۰۶ دى ۱۴۰۰ ۰۹:۰۲ ق.ظ
آخرین ارسال: Soldier's life
  کدام زبان برای هوش مصنوعی بهتر است؟ فرق بین زبان های هوش مصنوعی چیست؟ azam2075 ۳ ۳,۶۰۲ ۱۴ مهر ۱۴۰۰ ۰۷:۲۱ ب.ظ
آخرین ارسال: علیصا
  کارنامه های آزمون دکتری هوش مصنوعی ۹۶ robotic1981 ۵ ۵,۸۴۹ ۱۷ بهمن ۱۳۹۹ ۱۱:۱۲ ب.ظ
آخرین ارسال: hmaryam567
  کتاب های کنکوری ارشد هوش مصنوعی bahar1362 ۰ ۱,۳۵۲ ۱۵ دى ۱۳۹۹ ۱۰:۴۷ ق.ظ
آخرین ارسال: bahar1362
  مرتبه ایجاد درخت rad.bahar ۱ ۲,۰۴۴ ۳۰ مهر ۱۳۹۹ ۰۳:۳۴ ب.ظ
آخرین ارسال: rad.bahar
  مرتبه شبه کد rad.bahar ۱ ۱,۴۰۷ ۲۲ مهر ۱۳۹۹ ۰۹:۳۲ ب.ظ
آخرین ارسال: BBumir
  هوش مصنوعی مالک اشتر m.abbaszadeh1995 ۰ ۲,۵۵۸ ۱۱ شهریور ۱۳۹۹ ۱۲:۱۸ ق.ظ
آخرین ارسال: m.abbaszadeh1995
  هوش مصنوعی یا بیوانفورماتیک fateme_TMR ۶ ۳,۸۰۵ ۱۸ تیر ۱۳۹۹ ۰۱:۰۲ ب.ظ
آخرین ارسال: fateme_TMR
  حل مساله مرتبه زمانی حلقه های تو در تو sarashahi ۱۶ ۱۶,۴۶۵ ۱۹ خرداد ۱۳۹۹ ۰۱:۱۶ ب.ظ
آخرین ارسال: gillda

پرش به انجمن:

Can I see some ID?

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

Feeling left out?


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

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

Feeling left out?


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