سلام. به نظرم بهتر بود این سوال رو تو بخش هوش مصنوعی مطرح میکردید.
تا اونجایی که یادمه روش حلتون درسته ولی قواعدتون یکم مشکل داره. مثلاً ishuman رو درنظر نگرفتید. یا وقتی برای یه عضو یه شرط رو درنظر میگیرید نیاز به سور وجودی ندارید.

(۱۰ آذر ۱۳۹۴ ۰۱:۱۴ ب.ظ)Jooybari نوشته شده توسط:  سلام. به نظرم بهتر بود این سوال رو تو بخش هوش مصنوعی مطرح میکردید.
تا اونجایی که یادمه روش حلتون درسته ولی قواعدتون یکم مشکل داره. مثلاً ishuman رو درنظر نگرفتید. یا وقتی برای یه عضو یه شرط رو درنظر میگیرید نیاز به سور وجودی ندارید.

سلام ممنون.
منظورتون از در نظر نگرفتن ishuman چی بود؟ منظور تو خط اخر گراف کشیده شده بود؟
اگه اره منطقی که بهکار بردم اینه که چون بین شون "و" هست وقتی نقیضش رو در نظر بگیریم کل عبارت را باید باهاش در نظر بگیریم دیگه درسته؟پس تهی می شه تو رزولوشن.اگه اشتباه هست شما یا بقیه دوستان بگین لطفا.

(۱۰ آذر ۱۳۹۴ ۰۲:۴۲ ب.ظ)teraktor2003 نوشته شده توسط:  منظورتون از در نظر نگرفتن ishuman چی بود؟ منظور تو خط اخر گراف کشیده شده بود؟
اگه اره منطقی که بهکار بردم اینه که چون بین شون "و" هست وقتی نقیضش رو در نظر بگیریم کل عبارت را باید باهاش در نظر بگیریم دیگه درسته؟پس تهی می شه تو رزولوشن.اگه اشتباه هست شما یا بقیه دوستان بگین لطفا.

عبارتی که «هر انسانی که مشورت میکنم درست تصمیم میگیرد» معادل عبارت [tex]\forall x,consut(x)\to ...[/tex] نیست. شرط انسان بودن رو برای x ننوشتید.
یکی دیگه اینکه منظورم این بود عبارت اول و سوم و چهارمتون علامت شرط وجودی نیاز نداره.
روش کار رزولوشن تا اونایی که یادمه درست. با توجه به عبارتهایی که نوشتید (این عبارتها معادل متن سوال نیستند) روند کار رزولوشنتون درسته.

(۱۳ آذر ۱۳۹۴ ۰۲:۲۰ ق.ظ)Jooybari نوشته شده توسط:  

(10 آذر ۱۳۹۴ ۰۲:۴۲ ب.ظ)teraktor2003 نوشته شده توسط:  منظورتون از در نظر نگرفتن ishuman چی بود؟ منظور تو خط اخر گراف کشیده شده بود؟
اگه اره منطقی که بهکار بردم اینه که چون بین شون "و" هست وقتی نقیضش رو در نظر بگیریم کل عبارت را باید باهاش در نظر بگیریم دیگه درسته؟پس تهی می شه تو رزولوشن.اگه اشتباه هست شما یا بقیه دوستان بگین لطفا.

عبارتی که «هر انسانی که مشورت میکنم درست تصمیم میگیرد» معادل عبارت [tex]\forall x,consut(x)\to ...[/tex] نیست. شرط انسان بودن رو برای x ننوشتید.
یکی دیگه اینکه منظورم این بود عبارت اول و سوم و چهارمتون علامت شرط وجودی نیاز نداره.
روش کار رزولوشن تا اونایی که یادمه درست. با توجه به عبارتهایی که نوشتید (این عبارتها معادل متن سوال نیستند) روند کار رزولوشنتون درسته.

اگه امکان داره معادلش رو بگین...
بقیه جمله ها معادلشون مشکلی نداره؟
ممنون.

(۱۳ آذر ۱۳۹۴ ۰۴:۵۷ ق.ظ)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] تغییر میکنه.