حل تشریحی سوال شماره 92 مجموعه دروس تخصصی مشترک

در مجموعه قوانین زیر به‌عنوان پایگاه دانش (KB)، در کدام گزینه $KB\#\alpha$ برقرار است؟

$\forall x\exists y\text{ p(x,y)}⟹q\left(x,y\right)$

$\forall x\exists y\text{ r(x)}\vee q\left(x,y\right)$

$\forall x\forall y\exists z\neg q\left(x,y\right)\wedge s\left(y,z\right)$

$\forall y\forall zs\left(y,z\right)⟹w\left(z\right)$

تابعی را نشان می‌دهد که برای Skolemkization استفاده شده است.$F\left(.\right)$