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

حل تست سوال ۱۲۱ هوش ۹۴(بخش استنتاج در منطق مرتبه ی اول)

ارسال:
  

mahyamk پرسیده:

حل تست سوال ۱۲۱ هوش ۹۴(بخش استنتاج در منطق مرتبه ی اول)

سلام

امکانش هست کسی سوال رو حل کرده جوابش رو بزاره

من نمیتونم حل کنم متاسفانه
یادمه ی جایی تو انجمن بحث شده بود که نمیشه یک مقدار ثابت رو به تابع داد فقط میشه به متغیر داد(که فکر کنم با این سوال نمیخونه Huh)

ولی این سوال ثابت C رو جایگزین f(v) میکنه !

هیچ کتاب کنکوریم این سوال را حل نکرده فقط گزینه زده امکانش هست کسی توضیح بده
ممنون

[تصویر:  396958_hoosh_test_94.jpg]

گزینه ۲ از طرف سنجش اعلام شده
نقل قول این ارسال در یک پاسخ

۰
ارسال:
  

M a h d i پاسخ داده:

RE: حل تست سوال ۱۲۱ هوش ۹۴(بخش استنتاج در منطق مرتبه ی اول)

سوال منم هست. کسی راه حلی داره؟


بعداْ نوشت: فکر نمی کردم بشه تابع متغییر دار رو سمت چپ عبارت معادل سازی آورد که از کتاب پارسه اینطور برداشت کردم که میشه، برای انجام رزولوشن عبارت هدف یعنی عبارت ۶ رو هم NOT کردم بعد ازش استفاده کردم.
بار اول عبارت ۲ و ۳ رزولوشن می شوند سپس عبارت حاصل با جمله ۲ رزولوشن میشود و به همین ترتیب تا به عبارت تهی می رسیم.

[tex]2\&3\: :\: f(v)/x\: \: \: ,\: \: w/y\: \Longrightarrow\: ¬D(v,y)\: \vee\: ¬E(y,z)\: \vee\: E(x,z)\: \: \: \: \: \: \: \: \: \: [/tex]

[tex]2\: :\: f(v)/y\: \: ,\: w/z\: \Longrightarrow\: ¬D(v,y)\: \vee\: ¬D(v,z)\: \vee\: E(x,z)\: \: [/tex]

[tex]5:\: x/C\: ,\: \: z/B\: \Longrightarrow\: ¬D(v,y)\: \vee\: ¬D(v,B)[/tex]

[tex]6:\: v/A\: \Longrightarrow\: ¬D(A,y)\: [/tex]

[tex]4:\: y/C\: \Longrightarrow\Phi[/tex]

در هر صورت اگر کسی به کتاب های چاپ جدید دسترسی داشت بررسی بکنه ببینه جواب درسته یا نه.
نقل قول این ارسال در یک پاسخ



موضوع‌های مرتبط با این موضوع...
موضوع: نویسنده پاسخ: بازدید: آخرین ارسال
Exclamation سلام لطفاً یکی به من بگه مرتبه زمانی ها چطوری به log تبدیل میشن فرمول داره؟؟ Azadam ۶ ۴,۹۵۹ ۰۶ دى ۱۴۰۰ ۰۹:۰۲ ق.ظ
آخرین ارسال: Soldier's life
  کدام زبان برای هوش مصنوعی بهتر است؟ فرق بین زبان های هوش مصنوعی چیست؟ azam2075 ۳ ۶,۰۷۳ ۱۴ مهر ۱۴۰۰ ۰۷:۲۱ ب.ظ
آخرین ارسال: علیصا
  اثبات به کمک استنتاج Xzrix ۲ ۳,۲۲۵ ۲۶ آبان ۱۳۹۹ ۱۱:۴۶ ب.ظ
آخرین ارسال: ghaderZ
  مرتبه ایجاد درخت rad.bahar ۱ ۳,۴۰۲ ۳۰ مهر ۱۳۹۹ ۰۳:۳۴ ب.ظ
آخرین ارسال: rad.bahar
  مرتبه شبه کد rad.bahar ۱ ۲,۳۵۵ ۲۲ مهر ۱۳۹۹ ۰۹:۳۲ ب.ظ
آخرین ارسال: BBumir
  سوال در مورد سهمیه رتبه اولی rezamim2020 ۰ ۲,۲۳۶ ۱۶ شهریور ۱۳۹۹ ۰۴:۳۵ ب.ظ
آخرین ارسال: rezamim2020
  حل مساله مرتبه زمانی حلقه های تو در تو sarashahi ۱۶ ۲۳,۱۰۹ ۱۹ خرداد ۱۳۹۹ ۰۱:۱۶ ب.ظ
آخرین ارسال: gillda
  مشکل در حل تست ۲۲ فصل اول کتاب گسسته یوسفی pure.yaser ۷ ۹,۳۸۹ ۰۹ اردیبهشت ۱۳۹۹ ۰۶:۵۴ ب.ظ
آخرین ارسال: mohsentafresh
  مرتبه زمانی Sanazzz ۱۷ ۲۱,۶۷۹ ۰۹ اردیبهشت ۱۳۹۹ ۰۶:۴۶ ب.ظ
آخرین ارسال: mohsentafresh
  مصاحبه دکتری- بخش تدریس wskf ۱ ۲,۶۸۹ ۲۸ فروردین ۱۳۹۹ ۰۴:۳۰ ب.ظ
آخرین ارسال: Masoud05

پرش به انجمن:

Can I see some ID?

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

Feeling left out?


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

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

Feeling left out?


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