۰
subtitle
ارسال: #۱
  
سوال در مورد منطق مرتبه اول و حل با رزولوشن(ایا حل من درسته؟)
سلام
سوال و جواب رو در عکس میذارم اگر درسته بهم بگین و اگه نیس بگین چرا.ممنون.
سوال و جواب رو در عکس میذارم اگر درسته بهم بگین و اگه نیس بگین چرا.ممنون.
۱
ارسال: #۲
  
RE: سوال در مورد منطق مرتبه اول و حل با رزولوشن(ایا حل من درسته؟)
سلام. به نظرم بهتر بود این سوال رو تو بخش هوش مصنوعی مطرح میکردید.
تا اونجایی که یادمه روش حلتون درسته ولی قواعدتون یکم مشکل داره. مثلاً ishuman رو درنظر نگرفتید. یا وقتی برای یه عضو یه شرط رو درنظر میگیرید نیاز به سور وجودی ندارید.
تا اونجایی که یادمه روش حلتون درسته ولی قواعدتون یکم مشکل داره. مثلاً ishuman رو درنظر نگرفتید. یا وقتی برای یه عضو یه شرط رو درنظر میگیرید نیاز به سور وجودی ندارید.
ارسال: #۳
  
RE: سوال در مورد منطق مرتبه اول و حل با رزولوشن(ایا حل من درسته؟)
(۱۰ آذر ۱۳۹۴ ۰۱:۱۴ ب.ظ)Jooybari نوشته شده توسط: سلام. به نظرم بهتر بود این سوال رو تو بخش هوش مصنوعی مطرح میکردید.
تا اونجایی که یادمه روش حلتون درسته ولی قواعدتون یکم مشکل داره. مثلاً ishuman رو درنظر نگرفتید. یا وقتی برای یه عضو یه شرط رو درنظر میگیرید نیاز به سور وجودی ندارید.
سلام ممنون.
منظورتون از در نظر نگرفتن ishuman چی بود؟ منظور تو خط اخر گراف کشیده شده بود؟
اگه اره منطقی که بهکار بردم اینه که چون بین شون "و" هست وقتی نقیضش رو در نظر بگیریم کل عبارت را باید باهاش در نظر بگیریم دیگه درسته؟پس تهی می شه تو رزولوشن.اگه اشتباه هست شما یا بقیه دوستان بگین لطفا.
ارسال: #۴
  
RE: سوال در مورد منطق مرتبه اول و حل با رزولوشن(ایا حل من درسته؟)
(۱۰ آذر ۱۳۹۴ ۰۲:۴۲ ب.ظ)teraktor2003 نوشته شده توسط: منظورتون از در نظر نگرفتن ishuman چی بود؟ منظور تو خط اخر گراف کشیده شده بود؟
اگه اره منطقی که بهکار بردم اینه که چون بین شون "و" هست وقتی نقیضش رو در نظر بگیریم کل عبارت را باید باهاش در نظر بگیریم دیگه درسته؟پس تهی می شه تو رزولوشن.اگه اشتباه هست شما یا بقیه دوستان بگین لطفا.
عبارتی که «هر انسانی که مشورت میکنم درست تصمیم میگیرد» معادل عبارت [tex]\forall x,consut(x)\to ...[/tex] نیست. شرط انسان بودن رو برای x ننوشتید.
یکی دیگه اینکه منظورم این بود عبارت اول و سوم و چهارمتون علامت شرط وجودی نیاز نداره.
روش کار رزولوشن تا اونایی که یادمه درست. با توجه به عبارتهایی که نوشتید (این عبارتها معادل متن سوال نیستند) روند کار رزولوشنتون درسته.
ارسال: #۵
  
RE: سوال در مورد منطق مرتبه اول و حل با رزولوشن(ایا حل من درسته؟)
(۱۳ آذر ۱۳۹۴ ۰۲:۲۰ ق.ظ)Jooybari نوشته شده توسط:(10 آذر ۱۳۹۴ ۰۲:۴۲ ب.ظ)teraktor2003 نوشته شده توسط: منظورتون از در نظر نگرفتن ishuman چی بود؟ منظور تو خط اخر گراف کشیده شده بود؟
اگه اره منطقی که بهکار بردم اینه که چون بین شون "و" هست وقتی نقیضش رو در نظر بگیریم کل عبارت را باید باهاش در نظر بگیریم دیگه درسته؟پس تهی می شه تو رزولوشن.اگه اشتباه هست شما یا بقیه دوستان بگین لطفا.
عبارتی که «هر انسانی که مشورت میکنم درست تصمیم میگیرد» معادل عبارت [tex]\forall x,consut(x)\to ...[/tex] نیست. شرط انسان بودن رو برای x ننوشتید.
یکی دیگه اینکه منظورم این بود عبارت اول و سوم و چهارمتون علامت شرط وجودی نیاز نداره.
روش کار رزولوشن تا اونایی که یادمه درست. با توجه به عبارتهایی که نوشتید (این عبارتها معادل متن سوال نیستند) روند کار رزولوشنتون درسته.
اگه امکان داره معادلش رو بگین...
بقیه جمله ها معادلشون مشکلی نداره؟
ممنون.
ارسال: #۶
  
RE: سوال در مورد منطق مرتبه اول و حل با رزولوشن(ایا حل من درسته؟)
(۱۳ آذر ۱۳۹۴ ۰۴:۵۷ ق.ظ)teraktor2003 نوشته شده توسط:(13 آذر ۱۳۹۴ ۰۲:۲۰ ق.ظ)Jooybari نوشته شده توسط:(10 آذر ۱۳۹۴ ۰۲:۴۲ ب.ظ)teraktor2003 نوشته شده توسط: منظورتون از در نظر نگرفتن ishuman چی بود؟ منظور تو خط اخر گراف کشیده شده بود؟
اگه اره منطقی که بهکار بردم اینه که چون بین شون "و" هست وقتی نقیضش رو در نظر بگیریم کل عبارت را باید باهاش در نظر بگیریم دیگه درسته؟پس تهی می شه تو رزولوشن.اگه اشتباه هست شما یا بقیه دوستان بگین لطفا.
عبارتی که «هر انسانی که مشورت میکنم درست تصمیم میگیرد» معادل عبارت [tex]\forall x,consut(x)\to ...[/tex] نیست. شرط انسان بودن رو برای x ننوشتید.
یکی دیگه اینکه منظورم این بود عبارت اول و سوم و چهارمتون علامت شرط وجودی نیاز نداره.
روش کار رزولوشن تا اونایی که یادمه درست. با توجه به عبارتهایی که نوشتید (این عبارتها معادل متن سوال نیستند) روند کار رزولوشنتون درسته.
اگه امکان داره معادلش رو بگین...
بقیه جمله ها معادلشون مشکلی نداره؟
ممنون.
یه جمله [tex]isHuman(Ali)[/tex] به اون عبارت ها اضافه میشه و اون جمله [tex]\forall x,consut(x)\to ...[/tex] به [tex]\forall x,isHuman(x)\wedge consut(x)\to ...[/tex] تغییر میکنه.
Can I see some ID?
Feeling left out?
نگران نباش، فقط روی این لینک برای ثبت نام کلیک کن. رمزت رو فراموش کردی؟ اینجا به یادت میاریم! close