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

فرض کنید که پایگاه دانشی به فرم زیر در دسترس است.

$\forall A,B:T\left(A,B\right)\Rightarrow \neg T\left(B,A\right)$ (1)

$\forall A,B,C:T\left(A,B\right)\wedge T\left(B,C\right)\Rightarrow T\left(A,C\right)$ (2)

$T\left(x,y\right)$ (3)

$T\left(y,z\right)$ (4)

حال فرض کنید می‌خواهیم پرسش $\left(5\right)\alpha =T\left(x,z\right)$ را با استفاده از روش تجزیه استنتاج کنیم کدام ترتیب بر روی گزاره‌های پایگاه دانش برای این استنتاج می‌تواند استفاده شود؟ (از راست به چپ)