Представление и обработка знаний

55  в форме дизъюнктов: M j =  ( B j 1 & B j 2 &… & B j m 1 )  A j 1  A j 2  …  A j n 1 , M j =  B j 1   B j 2  …   B j m 1  A j 1  A j 2  …  A j n 1 ;  правилами Хорна: M j = (  B j 1   B j 2  …   B j m 1  A j 1  A j 2  …)  A j n 1 , M j =  ( B j 1 & B j 2 & … & B j m 1 &  A j 1 &  A j 2 & …)  A j n 1 , M j = B j 1 & B j 2 & … & B j m 1 &  A j 1 &  A j 2 & …  A j n 1 или B 1 1 & B 1 2 & … & B 1 m 1  A 1 B 2 1 & B 2 2 & … & B 2 m 1  A 2 .............................................. B r 1 & B r 2 & … & B r m 1  A r . Факты, истинные утверждения, записываются в форме пра- вил Хорна без условий:  A j . Ложные утверждения записываются в форме правил Хорна без заключения: B j 1 & B j 2 & … & B j m 1  Рассмотрим пример. Пусть заданы множество и предикаты: D – множество точек пространства и координат z точек про- странства; P 1( x ) – предикат, определяющий, что точка x принадлежит поверхности жидкости; P 2( x , y ) – предикат, определяющий, что точка x имеет значе- ние координаты z , равное y ; P 3( x , y ) – предикат, определяющий, что элемент x множества V равен элементу y множества D (т.е. x = y ).