تالار گفتمان مانشت
مشکل در منطق مرتبه اول هوش مصنوعی - نسخه‌ی قابل چاپ
مشکل در منطق مرتبه اول هوش مصنوعی - araz22 - 16 دى ۱۳۹۴ ۰۹:۰۷ ق.ظ

سلام دوستان به ی مشکلی از فصل منطق مرتبه اول بر خوردم
ممنون میشم کمکم کنید که اصول حل کردن چنین سوالاتی چی هست ؟
اول به چی باید توجه کرد .روش حل
چندتا از این نمونه سوالات رو گذاشتم ممنون میشم کمک کنید
[تصویر: 394189_oj9d_img_20100106_072921.jpg]
[تصویر: 394189_abxd_img_20100106_073016.jpg]

RE: مشکل در منطق مرتبه اول هوش مصنوعی - araz22 - 16 دى ۱۳۹۴ ۱۰:۲۴ ب.ظ

(۱۶ دى ۱۳۹۴ ۰۹:۰۷ ق.ظ)araz22 نوشته شده توسط:  سلام دوستان به ی مشکلی از فصل منطق مرتبه اول بر خوردم
ممنون میشم کمکم کنید که اصول حل کردن چنین سوالاتی چی هست ؟
اول به چی باید توجه کرد .روش حل
چندتا از این نمونه سوالات رو گذاشتم ممنون میشم کمک کنید
[تصویر: 394228_oj9d_img_20100106_072921.jpg]
[تصویر: 394228_abxd_img_20100106_073016.jpg]
کسی نیست جواب بده ؟؟؟؟

RE: مشکل در منطق مرتبه اول هوش مصنوعی - mehRUN - 30 دى ۱۳۹۴ ۱۰:۳۹ ب.ظ

لینک تصویر مشکل داره
لطفا تصویر سوال بزارید

RE: مشکل در منطق مرتبه اول هوش مصنوعی - shirin0101 - 01 بهمن ۱۳۹۴ ۰۳:۳۹ ب.ظ

سلام
من اینجوری حل میکنم：اول به سورها نگاه میکنم بعد دقت میکنم ک اگه گزینه ای سور عمومی با عملگر عطف اومده یعنی رد این گزینه و برای سوروجودی هم همینطور چک میکنم,بعد بررسی میکنم حوزه متغیر هر سور کجاهاست,بعد هم سعی میکنم رو کاغذ هر جمله به فارسی بیارم,کلا باید یکم باهاشون کلنجار بری بعد قلقلش میاد دستت اصلا سخت نیستن,عکسها معلوم نبود یکیو شانسکی دیدم Smile

Sent from my HUAWEI G510-0200 using Tapatalk

RE: مشکل در منطق مرتبه اول هوش مصنوعی - mehRUN - 01 بهمن ۱۳۹۴ ۰۹:۵۳ ب.ظ

(۰۱ بهمن ۱۳۹۴ ۰۳:۳۹ ب.ظ)shirin0101 نوشته شده توسط:  سلام
من اینجوری حل میکنم：اول به سورها نگاه میکنم بعد دقت میکنم ک اگه گزینه ای سور عمومی با عملگر عطف اومده یعنی رد این گزینه و برای سوروجودی هم همینطور چک میکنم,بعد بررسی میکنم حوزه متغیر هر سور کجاهاست,بعد هم سعی میکنم رو کاغذ هر جمله به فارسی بیارم,کلا باید یکم باهاشون کلنجار بری بعد قلقلش میاد دستت اصلا سخت نیستن,عکسها معلوم نبود یکیو شانسکی دیدم Smile

Sent from my HUAWEI G510-0200 using Tapatalk
چرا سور عمومی نمیتونه با عطف بیاد؟ Huh
مثلا سوال هوش مصنوعی مهندسی کامپیوتر سال ۸۶

RE: مشکل در منطق مرتبه اول هوش مصنوعی - shirin0101 - 01 بهمن ۱۳۹۴ ۱۱:۱۹ ب.ظ

(۰۱ بهمن ۱۳۹۴ ۰۹:۵۳ ب.ظ)mehRUN نوشته شده توسط:  
(01 بهمن ۱۳۹۴ ۰۳:۳۹ ب.ظ)shirin0101 نوشته شده توسط:  سلام
من اینجوری حل میکنم：اول به سورها نگاه میکنم بعد دقت میکنم ک اگه گزینه ای سور عمومی با عملگر عطف اومده یعنی رد این گزینه و برای سوروجودی هم همینطور چک میکنم,بعد بررسی میکنم حوزه متغیر هر سور کجاهاست,بعد هم سعی میکنم رو کاغذ هر جمله به فارسی بیارم,کلا باید یکم باهاشون کلنجار بری بعد قلقلش میاد دستت اصلا سخت نیستن,عکسها معلوم نبود یکیو شانسکی دیدم Smile

Sent from my HUAWEI G510-0200 using Tapatalk
چرا سور عمومی نمیتونه با عطف بیاد؟ Huh
مثلا سوال هوش مصنوعی مهندسی کامپیوتر سال ۸۶
توی همون تست هم اگر نگاه کنید سورعمومی با عملگر شرطی اومده…اون عطف هایی ک هست برای شروط جمله است…نمیدونم چجوری بگم :-D
منظورم همین نکته است ک اگه برای حالتی ک عمومیت داریم از عطف استفاده کنیم معنا عوض میشه,همین نکته که همه جا هست دیگه

Sent from my HUAWEI G510-0200 using Tapatalk

RE: مشکل در منطق مرتبه اول هوش مصنوعی - araz22 - 04 بهمن ۱۳۹۴ ۰۹:۱۳ ق.ظ

ممنون ولی جواب هیچ کدوم قانع کننده نبود
امکان این هست که توی ی سوال از چند صور وجودی هم از صور عمومی استفاده کنه
[تصویر: 395239_jo6y_img_20100106_073016.jpg]

RE: مشکل در منطق مرتبه اول هوش مصنوعی - araz22 - 04 بهمن ۱۳۹۴ ۰۶:۳۳ ب.ظ

(۰۴ بهمن ۱۳۹۴ ۰۹:۱۳ ق.ظ)araz22 نوشته شده توسط:  ممنون ولی جواب هیچ کدوم قانع کننده نبود
امکان این هست که توی ی سوال از چند صور وجودی هم از صور عمومی استفاده کنه
[تصویر: 395277_jo6y_img_20100106_073016.jpg]

فک کنم درست منظورم رو نفهمیدین .مشکل من تو پیدا کردن جواب نیست
بیشتر تو این قسمت هست
اول/ممنون بابت راهنمایی
بیتشر روش نوشتن بدون در نظر گرفتن ۴ گزینه.مد نظرم هست
مثل قسمت resolution
جمله ای فارسی بده بعد بخواد cnf کنیم مشکل اینجاست.که اگه نتونی به منطق مرتبه اول تبدیل کنی اصلا نمیتوی cnf کنیش.
که اون موقع نمیشه حل اش کنی