الگوریتم‌های جستجو و استدلال در هوش مصنوعی: استنتاج در منطق مرتبه اول - کوییز

1. متغیر (Variable)
2. تابع (Function)
3. ثابت (Constant) یا نماد ثابت (Constant Symbol)
4. کوانتیفایر (Quantifier)

گزینه صحیح: 3

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

1. ∀x P(x)
2. P(a) ∧ Q(b)
3. ∃y R(y, z)
4. Pred(a, b)

گزینه صحیح: 4

توضیح: یک فرمول اتمی در منطق مرتبه اول، گزاره ای است که از یک نماد رابطه (Predicate Symbol) و تعدادی ترم (Term) تشکیل شده است. Pred(a, b) نمونه ای از این فرم است که در آن Pred یک نماد رابطه و a و b ترم هستند. سایر گزینه ها شامل کوانتیفایر ها یا عملگر های منطقی هستند.

1. کوانتیفایر وجودی (Existential Quantifier)
2. کوانتیفایر عمومی یا کلی (Universal Quantifier)
3. عملگر منطقی نقیض (Negation Operator)
4. عملگر منطقی عطف (Conjunction Operator)

گزینه صحیح: 2

توضیح: نماد '$ forall $' نشان دهنده کوانتیفایر عمومی یا کلی است و بیان می کند که گزاره ای برای تمام اعضای دامنه صدق می کند. کوانتیفایر وجودی با '$ exists $' نشان داده می شود.

1. یک گزاره دلخواه که ممکن است صحیح باشد یا نباشد.
2. یک گزاره که لزوماً از مقدمات نتیجه می شود (نتیجه منطقی).
3. یک گزاره که مقدمات را نقض می کند.
4. یک گزاره که اطلاعات جدیدی را بدون ارتباط با مقدمات معرفی می کند.

گزینه صحیح: 2

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

1. اینکه گزاره برای همه اعضای دامنه صدق می کند.
2. اینکه گزاره حداقل برای یک عضو از دامنه صدق می کند.
3. اینکه گزاره برای هیچ عضوی از دامنه صدق نمی کند.
4. اینکه گزاره به صورت شرطی صدق می کند.

گزینه صحیح: 2

توضیح: کوانتیفایر وجودی '$ exists $' نشان می دهد که حداقل یک عنصر در دامنه وجود دارد که برای آن گزاره صدق می کند. این با کوانتیفایر عمومی که برای همه عناصر صدق را بیان می کند، متفاوت است.

1. اینکه یک سیستم استنتاج قادر به اثبات تمام گزاره های صحیح باشد.
2. اینکه هر گزاره ای که توسط سیستم استنتاج اثبات می شود، صحیح باشد.
3. اینکه سیستم استنتاج قادر به تشخیص تناقضات باشد.
4. اینکه سیستم استنتاج کارآمد باشد.

گزینه صحیح: 2

توضیح: صحت (Soundness) در سیستم های استنتاج به این معنی است که اگر گزاره ای با استفاده از قواعد استنتاج سیستم اثبات شود، آن گزاره باید در واقعیت صحیح باشد. به عبارت دیگر، سیستم استنتاج گزاره های نادرست را اثبات نمی کند.

1. تبدیل گزاره به یک فرمول اتمی.
2. اضافه کردن کوانتیفایر عمومی به تمام متغیر های آزاد.
3. حذف تمام کوانتیفایر ها از گزاره.
4. تبدیل گزاره به یک فرمول منطق گزاره ای.

گزینه صحیح: 2

توضیح: بستار یک گزاره در منطق مرتبه اول، فرمولی است که از بستن تمام متغیر های آزاد آن با کوانتیفایر عمومی (∀) به دست می آید. این کار باعث می شود که گزاره به یک گزاره بسته (Closed Sentence) تبدیل شود که مقدار درستی آن مستقل از مقادیر احتمالی متغیر ها است.

1. استنتاج گزاره ای (Propositional Inference)
2. روش رزولوشن (Resolution Method)
3. استنتاج مبتنی بر جدول (Tableau Method)
4. استنتاج مبتنی بر مدل (Model-Based Inference)

گزینه صحیح: 2

توضیح: روش رزولوشن یک قاعده استنتاج قدرتمند در منطق مرتبه اول است که برای اثبات صحت گزاره ها با استفاده از اصل اثبات خلف (Proof by Contradiction) به کار می رود. این روش شامل تبدیل گزاره ها به فرم نرمال عطفی (Conjunctive Normal Form) و سپس اعمال قاعده رزولوشن برای حذف جملات متناقض است.