Проверка адекватности

Ситуация1:

(v: компоненты яхты) комплектация (v) Î зависимость компоненты от модели (модель, v)

комплектация (паруса) Î зависимость компоненты от модели (гоночные, паруса)

спинакер Î {грот, стаксель, спинакер}

комплектация (киль) Î зависимость компоненты от модели (гоночные, киль)

плавниковый стационарный Î {плавниковый стационарный, швертбот}

комплектация (материал корпуса) Î зависимость компоненты от модели (гоночные, материал корпуса)

пластик Î {дерево, фанера, пластик}

комплектация (вид корпуса) Î зависимость компоненты от модели (гоночные, вид корпуса)

катамаран Î {простой, катамаран, тримаран}

комплектация (длина корпуса) Î зависимость компоненты от модели (гоночные, длина корпуса)

укороченный Î {укороченный, средний}

(u, v: компоненты яхты) (r: {(r’: ограничения на совместимость (v)) p(1, r’) Î комплектация (v)}) u = p(2, r) Þ комплектация (u) Î p(3, r)

v = паруса, u = вид корпуса, r = <спинакер, вид корпуса, {простой, катамаран}>

u = вид корпуса Þ комплектация (вид корпуса) Î {простой, катамаран}

вид корпуса = вид корпуса Þ катамаран Î {простой, катамаран} – истина

v = паруса, u = длина корпуса, r = <спинакер, длина корпуса, {укороченный, средний}>

u = длина корпуса Þ комплектация (длина корпуса) Î {укороченный, средний}

длина корпуса = длина корпуса Þ укороченный Î {укороченный, средний} – истина

v = вид корпуса, u = материал корпуса, r = <катамаран, материал корпуса, {фанера, пластик}>

u = материал корпуса Þ комплектация (материал корпуса) Î {фанера, пластик}

материал корпуса = материал корпуса Þ пластик Î {фанера, пластик}– истина

v = вид корпуса, u = длина корпуса, r = <катамаран, длина корпуса, {укороченный, средний}>

u = длина корпуса Þ комплектация (длина корпуса) Î {укороченный, средний}

длина корпуса = длина корпуса Þ укороченный Î {укороченный, средний} – истина

При остальных подстановках утверждение будет истинно, т.к. предпосылка в них окажется ложной.

(u: компоненты яхты) (r: {(r’: требования к СО (u)) p(1, r’) Î комплектация (u)}) СО на борту Ê p(2, r)

u = паруса, r = <спинакер, {спинакер-гик, фал, шкоты}>

{спинакер-гик, фал, шкоты, двойной руль, шверт} Ê {спинакер-гик, фал, шкоты} - истина

u = вид корпуса, r =<катамаран, {двойной руль, шверт, шкоты}>

{спинакер-гик, фал, шкоты, двойной руль, шверт} Ê {двойной руль, шверт, шкоты} - истина

Аналогично для ситуаций 2 и 3.