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

83 4. «Человек или любит природу, или не восхищается карти- нами Шишкина». 1. Проведем интерпретацию: 1) определение множества объектов. V – множество людей (люди, включая художников); 2) определение предикатов: P ( x ) : «Человек x является художником». L ( x ) : «Человек x любит природу». W ( x ) : «Человек x пишет картины». G ( x ) : «Человек x посещает художественный музей» S ( x ) : «Человек x восхищается картинами Шишкина»; 3) логическим связкам и кванторам поставим в соответствие их обычный смысл. 2. Проведем нормализацию целевого высказывания: «Каж- дый художник любит природу»: 1) формальная запись:  x ( P ( x )  L ( x )) ; 2) нахождение отрицания целевого высказывания и преобра- зования в префиксную форму:  x ( P ( x )  L ( x )) =  x  ( P ( x )  L ( x )) =  x  (  P ( x )  L ( x )) =  x ( P ( x )   L ( x )); 3) удаление квантора существования, используя подстанов- ку :  = { x  a } :  x ( P ( x )   L ( x ))  P ( a )   L ( a ); 4) запись отрицания целевого высказывания в форме дизъ- юнктов: P ( a ),  L ( a ) . 3. Нормализация исходных правил. Рассмотрим первое исходное правило: «Не существует ху- дожника, который не пишет картины»: 1) формальная запись:  x ( P ( x )&  W ( x ));