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

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قابل یکسان سازی نیست
قانون۳)ثابت وثابت قابل یکسان سازی نیست



موضوع‌های مرتبط با این موضوع...
موضوع: نویسنده پاسخ: بازدید: آخرین ارسال
  تست هوش مصنوعی -سراسری ۹۰(هرس آلفا بتا) fa_karoon ۶ ۴,۷۷۳ ۱۴ بهمن ۱۳۹۱ ۱۰:۵۱ ب.ظ
آخرین ارسال: sherkat
  سوال ۷۴ هوش مصنوعی IT 90 zibaziba ۶ ۲,۱۹۹ ۱۱ بهمن ۱۳۹۱ ۰۸:۵۳ ق.ظ
آخرین ارسال: mehdi.nine
  سوال ۱۰۶ هوش مصنوعی آی تی IT.setareh91 ۱۶ ۵,۲۷۱ ۱۰ بهمن ۱۳۹۱ ۱۲:۴۰ ب.ظ
آخرین ارسال: Amir V
  تست هوش مصنوعی -سال ۹۱- فاکتور انشعاب pasargad7788 ۶ ۲,۶۲۱ ۰۶ بهمن ۱۳۹۱ ۱۱:۳۳ ب.ظ
آخرین ارسال: pasargad7788
  سوال ۱۳۴ هوش مصنوعی مهندسی کامپیوتر ۸۹؟؟؟؟؟؟؟ masume_ml ۴ ۱,۶۸۶ ۰۶ بهمن ۱۳۹۱ ۱۲:۲۱ ق.ظ
آخرین ارسال: equilibrium
  تست هوش مصنوعی -سراسری ۸۲ -هیوریستیک sufia_lido ۲ ۱,۴۸۴ ۰۲ بهمن ۱۳۹۱ ۱۰:۴۵ ب.ظ
آخرین ارسال: fatima1537
  تست هوش مصنوعی- سراسری هوش۸۹(بیز) vijay ۵ ۲,۴۴۲ ۳۰ دى ۱۳۹۱ ۱۱:۰۹ ب.ظ
آخرین ارسال: mahsa_a3moon
  تست هوش مصنوعی- ۱۰۷ سراسری it83 rad.bahar ۵ ۲,۲۲۴ ۲۵ دى ۱۳۹۱ ۰۵:۳۶ ب.ظ
آخرین ارسال: ۸Operation
  تست هوش مصنوعی - ۷۵ سراسری IT 90 sheydaa ۱ ۱,۸۴۷ ۱۸ دى ۱۳۹۱ ۱۰:۵۹ ب.ظ
آخرین ارسال: mosaferkuchulu
  تست هوش مصنوعی - سراسری۹۱ (منطق و پایگاه دانش) edge ۲ ۱,۶۶۷ ۰۳ دى ۱۳۹۱ ۰۹:۰۶ ب.ظ
آخرین ارسال: fatima1537

پرش به انجمن:

Can I see some ID?

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

Feeling left out?


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

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

Feeling left out?


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