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

مشکل در حل سوالات استنتاج

ارسال:
  

sMohammad پرسیده:

مشکل در حل سوالات استنتاج

سلام
سوالات استنتاج رو میشه از راهی به جز خلاصه کردن روابط هم رفت، مثل این روشی که در این تاپیک توضیح داده شده:

مهمان عزیز شما قادر به مشاهده پیوندهای انجمن مانشت نمی‌باشید. جهت مشاهده پیوندها ثبت نام کنید.


یک سوال هست که سعی کردم از همون روشی برم که mfXpert داخل لینک بالا گفته، ولی علاوه بر گزینه درست، یک گزینه دیگه هم درست در میاد!
لطفا راهنمایی کنید:


و یک مورد دیگه، اینکه وقتی با فرض A=0 میخوام مسئله رو حل کنم، نمیشه پیش رفت چون B و C هر مقداری میتونن بگیرن

راهی به جز تبدیل و خلاصه کردن گزاره ها برای حل این مسئله وجود داره؟

سوال:


جواب:
نقل قول این ارسال در یک پاسخ

۱
ارسال:
  

Pure Liveliness پاسخ داده:

RE: مشکل در حل سوالات استنتاج

سلام.
بهتر هست توی این مسائل از همون راهی که توی اون تاپیکی که گفتید گفته شده پیش رفت. البته گاهی هم مثل اینجا نمیشه به نتیجه رسید با اون روش و ساده کرد قوانین رو.
[tex]A\: \longrightarrow(B\vee C)\: ,\: B\longrightarrow A',\: D\longrightarrow C'\: \: [/tex]
بهتر هست یه نگاهی هم به گزینه ها داشته باشیم که ببینیم آیا میشه بهشون رسید یا خیر.
گزینه ها معادل چی هستن؟ :
۱)[tex]A\: \longrightarrow D'\: \: [/tex]
۲)[tex]B\longrightarrow A'\: \: [/tex]
۳)[tex]C\longrightarrow B[/tex]
۴)[tex]C\longrightarrow D[/tex]
گزینه ی ۴ غلط هست چون که داریم: [tex]D\longrightarrow C'[/tex] که معادل هست با [tex]C\longrightarrow D'[/tex] که رد گزینه ی ۴ هست، یعنی اگر C خوشگذران باشد، آنگاه D خوشگذران نیست.
راه شما گاهی پیچیده و سخت میشه. البته بستگی به سوال داره.
توی این سوال فکر کنم بهترین راه این هست که توی همه ی گزینه ها مقدم رو درست فرض کنیم بعد ببینیم آیا میشه با استفاده از گزاره ها به تالی رسید یا خیر.
الان واسه گزینه ی اول اگر A=T آیا میشه به غلط بودن D رسید؟
گزاره ی [tex]B\longrightarrow A'[/tex] که صحیح باید باشه، با TRUE بودن A داریم: [tex]B\longrightarrow A'\: =B\longrightarrow F\: =T\: \Longrightarrow B=F[/tex] از طرفی گزاره ی [tex]A\longrightarrow(B\vee C)=T[/tex] و با TRUE بودن Aو FALSE بودن B داریم : [tex]A\longrightarrow(B\vee C)=T\longrightarrow(F\vee C)\: \Longrightarrow C=T[/tex]
توی گزاره ها داریم : [tex]D\longrightarrow C'[/tex] که باید TRUE باشه، از اونجا که C=T پس [tex]D\longrightarrow C'=C\longrightarrow D'=T\longrightarrow D'=T\: \Longrightarrow D=F[/tex] که به تالی گزینه ی اول رسیدیم از مقدم ش. یعنی این گزینه صحیح هست.
دو گزینه ی دو و سه با همین استدلال رد میشن.
نقل قول این ارسال در یک پاسخ

۰
ارسال:
  

sMohammad پاسخ داده:

RE: مشکل در حل سوالات استنتاج

با سلام و تشکر از وقتی که گذاشتید و پاسخی که دادید.
گزینه ۲ میگه: اگر B خوشگذران باشد(B=True) آنگاه A سخت کار میکند(A=True) که شما موقع تبدیل گزاره فارسی به گزاره منطقی، اشتباه تایپ کردید [tex]B\: \longrightarrow\: A'\: [/tex] در صورتی که شکل صحیح به این صورت هست: [tex]B\: \longrightarrow\: A[/tex]
و با توجه به فرضیاات مسئله که هر دو به یک شکل درآوردیم: [tex]A=1,\: B=0,\: C=1,\: D=0[/tex]، گزینه ۲ صحیح میشه: [tex]0\: \longrightarrow\: 1\: =\: True[/tex]

موضوع دیگری که برام پیش اومد این هست که اگر از ابتدا بخواهیم با فرض A=0 پیش بریم و بقیه گزاره های پایه رو (B, C, D) به شرط درست بودن روابط فرضیات به دست بیاریم نمیتونیم پیش بریم، چون فرضیاتمون ناقص هست.
بیشتر که بررسی کردم دیدم داخل سوالات استنتاج که میگه کدام گزینه درسته یا کدام غلط است و فقط چند تا استنتاج داده برای بررسی، داخل مقدم همه اونها حتما یک گزاره پایه به صورت "تنها" وجود داره مثلا نوشته p یا q یا r یا... منظورم اینه که گزاره اتمی داده و با توجه به این که این گزاره اتمی قراره با بقیه مقدم ها and بشه و در نهایت نتیجه این and ها true دربیاد، پس "بدون شک" و "صددرصد" اون گزاره اتمی true هست و به این ترتیب میشه از روی این گزاره مصمئنا true، بقیه گزاره ها رو طوری در نظر گرفت که true در بیان. ولی داخل این مسئله همچین چیزی وجود نداره که بشه با اطمینان گفت یکی از این گزاره های پایه، حتما true هست.
(گزاره اتمی=گزاره پایه)
نقل قول این ارسال در یک پاسخ

۰
ارسال:
  

sMohammad پاسخ داده:

RE: مشکل در حل سوالات استنتاج

سلام Pure Liveliness گزینه ۲ رو اشتباه به گزاره منطقی تبدیل کردی Sad
نقل قول این ارسال در یک پاسخ



موضوع‌های مرتبط با این موضوع...
موضوع: نویسنده پاسخ: بازدید: آخرین ارسال
  اثبات به کمک استنتاج Xzrix ۲ ۷۰۴ ۲۶ آبان ۱۳۹۹ ۱۱:۴۶ ب.ظ
آخرین ارسال: ghaderZ
  رفع اشکال نصب جاوا، مشکل ساخته نشدن virtual machine shiivaa ۱۲ ۱۱,۹۹۳ ۱۹ آبان ۱۳۹۹ ۰۷:۲۹ ب.ظ
آخرین ارسال: wanted471
Sad مشکل در برنامه نویسی شیء گرا Xialu ۰ ۵۲۳ ۰۵ شهریور ۱۳۹۹ ۱۲:۰۰ ب.ظ
آخرین ارسال: Xialu
  مشکل در حل تست ۲۲ فصل اول کتاب گسسته یوسفی pure.yaser ۷ ۳,۷۹۶ ۰۹ اردیبهشت ۱۳۹۹ ۰۶:۵۴ ب.ظ
آخرین ارسال: mohsentafresh
  مشکل عدم ایجاد پروژه/فایل جدید در نت بینز αɾια ۳ ۷,۷۷۴ ۲۰ اردیبهشت ۱۳۹۸ ۰۳:۳۴ ب.ظ
آخرین ارسال: Silver1992
  ارتباط دائم بین سیستم استنتاج فازی و یک نرم افزار دیگر fa_karoon ۱ ۱,۰۱۳ ۱۵ اردیبهشت ۱۳۹۸ ۱۱:۱۲ ق.ظ
آخرین ارسال: fa_karoon
Question مشکل با درک توابع دنباله دار و مولد ؟؟؟؟ radar ۰ ۱,۴۸۶ ۱۶ دى ۱۳۹۷ ۰۴:۳۶ ب.ظ
آخرین ارسال: radar
  مشکل لایسنس متلب αɾια ۱۳ ۸,۸۳۵ ۲۱ آذر ۱۳۹۷ ۱۰:۴۷ ق.ظ
آخرین ارسال: αɾια
  مشکل ( دوستانی که میدوند راهنمایی کنند) manamsaeid ۵ ۲,۲۲۲ ۱۸ مرداد ۱۳۹۷ ۱۱:۵۴ ق.ظ
آخرین ارسال: Happiness.72
  مشکل در پیچیدگی زمانی ماهی ۲۵۸ ۲ ۱,۵۰۶ ۲۳ تیر ۱۳۹۷ ۱۲:۱۸ ق.ظ
آخرین ارسال: Alisalar

پرش به انجمن:

Can I see some ID?

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

Feeling left out?


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

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

Feeling left out?


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