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

rad.bahar پرسیده:

یکسان سازی (تمربن۴ فصل ۹)

ایا این ۲ یکسان سازی ممکن است
Q(y,G(A,B و Q(G(x,y),y
knows(x,x و knows(father(y),y
مشاهده‌ی وب‌سایت کاربر
نقل قول این ارسال در یک پاسخ

۰
ارسال:
  

atharrashno پاسخ داده:

تمربن۴ فصل ۹

جمله اول واضح نیست
جمله دوم:
امکان پذیر نیست
چون تابع اف ایکس نمیتونه با ایکس یونیفای بشه
مشاهده‌ی وب‌سایت کاربر
نقل قول این ارسال در یک پاسخ

۰
ارسال:
  

fe_atash پاسخ داده:

تمربن۴ فصل ۹

تابع( f(x نداریم که...
نقل قول این ارسال در یک پاسخ

۰
ارسال:
  

rad.bahar پاسخ داده:

RE: تمربن۴ فصل ۹

من فکر می کتم که درسته که به جای x نمی توان father(x) را به کار برد ولی به حای father(x می توان x را به کار برد و بنابراین می توان از جایگزینی زیر استفاده کرد
به جای y متغیر x و به جای father(x متغیر x را استفاده کرد و نتیحه حاصل knows(x,x میشود
اگر اشتباه می کنم لطفا توضیح دهید
مشاهده‌ی وب‌سایت کاربر
نقل قول این ارسال در یک پاسخ

۰
ارسال:
  

atharrashno پاسخ داده:

تمربن۴ فصل ۹

دوست من بهار اشتباه میکنید
ایکس در هیچ صورتی نمیتونه با تابعی که بهش وابسته است جایگزین باشه حالا اگر بخوای جهت یکسان سازی را عوض کنی فرقی نداره
اتش جان شما هم اگر دقت کنی چون توی جمله دوم وای با ایکس یونی فای میشه (از طریق عنصر دوم تابع )در ادامش به اف ایکس میرسیم که همون چیزی که میگیم غیر قابل یونیفای شدنه
مشاهده‌ی وب‌سایت کاربر
نقل قول این ارسال در یک پاسخ

۰
ارسال:
  

fe_atash پاسخ داده:

تمربن۴ فصل ۹

فرشته هستم عزیزم....
الان x جایه y‌ها میشینه..بعد میشه فادر ِ ایکس ،میشناسه ایکس رو...یکسان شدند دیگه !!
knows (father (x ),x) l

بعد چرا میخواید x و (father(x رو یکسان کنید!؟
نقل قول این ارسال در یک پاسخ

۰
ارسال:
  

atharrashno پاسخ داده:

تمربن۴ فصل ۹

چون تابع دوم باید دو عنصرش با هم برابر باشه ایکس ایکس
خوب وقتی فادر ایکس عنر اول باشه باید با ایکس عنصر دوم برابر بشمه میشه ایکس برابر فادر ایکس باشه؟نمیشه
مشاهده‌ی وب‌سایت کاربر
نقل قول این ارسال در یک پاسخ

۰
ارسال:
  

fe_atash پاسخ داده:

تمربن۴ فصل ۹

knows(x,x و knows(father(y),y
____________________________________________________________


ای خدا....نمیدونم من دیگه خیلی درس خوندم دارم یک اشتباه واضح میکنم یا شما؟(احتمالا من Big Grin)

الان جمله اول میگه پدرِ Y میشناسه Y رو !!
بعد با جمله دوم یکسانش میکنیم میشه پدر ِ X میشناسه X رو !!

الان تمومه دیگه...چرا باید x با تابع پدر ِ X یکسان بشه!؟
نقل قول این ارسال در یک پاسخ

ارسال:
  

atharrashno پاسخ داده:

RE: تمربن۴ فصل ۹

ببین فرشته حق داری اخه تقسیر این یکسان سازیه خیلی سهل ممتنه است
ما میخوایم یکسان سازی کنیم خوب
از عنصر دوم هر دو تابع میفهمیم که
x=y
خوب به جا همه y‌ها بزا رx
خوب چه اتفاقی می افته

[tex]knows(x,x) knows(father(x),x)[/tex]
حالا باید عنصرر اول تابع اول با عنصر اول تابع دوم قابل یکسان سازی باشه
و عنصر دوم تابع اول با عنصر دوم تابع دوم قابل یکسان سازی باشه:
x=x

father(x)=x
یعنی یک شخص می تونه پدر خودش باشه
به نظرت یعنی میتونه؟Big Grin
مشاهده‌ی وب‌سایت کاربر یافتن تمامی ارسال‌های این کاربر
نقل قول این ارسال در یک پاسخ

۰
ارسال: #۱۰
  

fe_atash پاسخ داده:

تمربن۴ فصل ۹

نه درسته...این جوری دو تا جمله اصلا یکسان نیستند....
نقل قول این ارسال در یک پاسخ



موضوع‌های مرتبط با این موضوع...
موضوع: نویسنده پاسخ: بازدید: آخرین ارسال
  هوش مصنوعی ۹۴ آی تی | Unification | یکسان ساز Mohammad.93 ۱ ۲۳۹ ۲۷ اسفند ۱۳۹۵ ۱۱:۴۵ ق.ظ
آخرین ارسال: shahraz
  یکسان سازی joyebright ۱۳ ۱,۲۳۶ ۰۳ بهمن ۱۳۹۵ ۰۷:۲۲ ب.ظ
آخرین ارسال: am1r.n
  ابهام در رنجیره سازی پیشرو و پسرو sahabi2015 ۴ ۴۹۶ ۰۸ اسفند ۱۳۹۴ ۱۲:۴۶ ب.ظ
آخرین ارسال: LEA3C
  یکسان سازی tm.viper ۳ ۶۳۵ ۰۹ بهمن ۱۳۹۳ ۱۰:۰۰ ب.ظ
آخرین ارسال: NP-Cσмρℓєтє
  آزمون ۲۵ درصد سوم مدرسان شریف (یکسان سازی) shamim_s ۵ ۷۹۴ ۱۷ دى ۱۳۹۳ ۱۱:۳۸ ب.ظ
آخرین ارسال: shayesteNEY
  زنجیره سازی بجلو و عقب shamim_70 ۹ ۱,۰۸۷ ۰۵ دى ۱۳۹۳ ۱۰:۱۲ ب.ظ
آخرین ارسال: Hamzeh.S
  یکسان سازی mmamadi49 ۱۰ ۱,۳۴۶ ۰۵ دى ۱۳۹۳ ۰۸:۲۸ ب.ظ
آخرین ارسال: Imankhani
  تکنیک گزاره سازی shamim_70 ۰ ۴۴۲ ۰۵ دى ۱۳۹۳ ۱۱:۲۲ ق.ظ
آخرین ارسال: shamim_70
  یکسان سازی m.zeinali ۱ ۶۹۲ ۲۲ آذر ۱۳۹۳ ۰۲:۲۱ ب.ظ
آخرین ارسال: shamim_70
  تست ای تی ۸۳-یکسان سازی shamim_70 ۲ ۷۵۷ ۳۰ آبان ۱۳۹۳ ۰۲:۵۷ ب.ظ
آخرین ارسال: L3ic

پرش به انجمن:

Can I see some ID?

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

Feeling left out?


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

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

Feeling left out?


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