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

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