Модель знаний

модели яхт º {крейсерно-гоночная, гоночная, прогулочная}

компоненты яхты º {паруса, киль, материал корпуса, вид корпуса, длина корпуса}

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

виды компоненты º (l (u: компоненты яхты) /

(u = паруса Þ {грот, стаксель, спинакер})

(u = киль Þ {плавниковый стационарный, швертбот})

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

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

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

/)

зависимость компоненты от модели º (l (v: модели яхт)(u: компоненты яхты) /

(v = крейсерно-гоночные & u = паруса Þ {грот, стаксель})

(v = крейсерно-гоночные & u = киль Þ {плавниковый стационарный, швертбот})

(v = крейсерно-гоночные & u = материал корпуса Þ {дерево, металл, фанера, пластик})

(v = крейсерно-гоночные & u = вид корпуса Þ {простой})

(v = крейсерно-гоночные & u = длина корпуса Þ {средний, длиннобортный})

(v = гоночные & u = паруса Þ {грот, стаксель, спинакер})

(v = гоночные & u = киль Þ {плавниковый стационарный, швертбот})

(v = гоночные & u = материал корпуса Þ {дерево, фанера, пластик})

(v = гоночные & u = вид корпуса Þ {простой, катамаран, тримаран})

(v = гоночные & u = длина корпуса Þ {укороченный, средний})

(v = прогулочные & u = паруса Þ {грот, стаксель})

(v = прогулочные & u = киль Þ {плавниковый стационарный})

(v = прогулочные & u = материал корпуса Þ {дерево, металл, фанера, пластик})

(v = прогулочные & u = вид корпуса Þ {простой})

(v = прогулочные & u = длина корпуса Þ {укороченный, средний, длиннобортный})

/)

ограничения на совместимость º (l (u: компоненты яхты) /

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

(u = киль Þ Æ)

(u = материал корпуса Þ Æ)

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

(u = длина корпуса Þ Æ)

/)

требования к СО º (l (u: компоненты яхты) /

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

(u = киль Þ Æ)

(u = материал корпуса Þ Æ)

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

(u = длина корпуса Þ Æ)

/)