تالار گفتمان مانشت

سلام
سوال و جواب رو در عکس میذارم اگر درسته بهم بگین و اگه نیس بگین چرا.ممنون.

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

(10 آذر 1394 01:14 ب.ظ)Jooybari نوشته شده توسط: [ -> ]سلام. به نظرم بهتر بود این سوال رو تو بخش هوش مصنوعی مطرح میکردید.
تا اونجایی که یادمه روش حلتون درسته ولی قواعدتون یکم مشکل داره. مثلاً ishuman رو درنظر نگرفتید. یا وقتی برای یه عضو یه شرط رو درنظر میگیرید نیاز به سور وجودی ندارید.

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

(10 آذر 1394 02:42 ب.ظ)teraktor2003 نوشته شده توسط: [ -> ]منظورتون از در نظر نگرفتن ishuman چی بود؟ منظور تو خط اخر گراف کشیده شده بود؟
اگه اره منطقی که بهکار بردم اینه که چون بین شون "و" هست وقتی نقیضش رو در نظر بگیریم کل عبارت را باید باهاش در نظر بگیریم دیگه درسته؟پس تهی می شه تو رزولوشن.اگه اشتباه هست شما یا بقیه دوستان بگین لطفا.

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

(13 آذر 1394 02:20 ق.ظ)Jooybari نوشته شده توسط: [ -> ]

(10 آذر 1394 02:42 ب.ظ)teraktor2003 نوشته شده توسط: [ -> ]منظورتون از در نظر نگرفتن ishuman چی بود؟ منظور تو خط اخر گراف کشیده شده بود؟
اگه اره منطقی که بهکار بردم اینه که چون بین شون "و" هست وقتی نقیضش رو در نظر بگیریم کل عبارت را باید باهاش در نظر بگیریم دیگه درسته؟پس تهی می شه تو رزولوشن.اگه اشتباه هست شما یا بقیه دوستان بگین لطفا.

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

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

(13 آذر 1394 04:57 ق.ظ)teraktor2003 نوشته شده توسط: [ -> ]

(13 آذر 1394 02:20 ق.ظ)Jooybari نوشته شده توسط: [ -> ]

(10 آذر 1394 02:42 ب.ظ)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] تغییر میکنه.