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

64 Последовательно построим формальную модель суждения: 1. Получение прибыли подразделением B является доста- точным основанием для получения прибыли подразделением A (высказывание D ): B  A. 2. Получение прибыли подразделением B не является доста- точным основанием для получения прибыли подразделением A (высказывание E ):  ( B  A ). 3. Получение прибыли подразделением C равносильно вы- сказыванию E: C  (  ( B  A )). Представим формальную модель суждения в виде множества дизъюнктов: 1) удалим импликацию: (  ( B  A )) =  (  B  A ) = ( B &  A ); 2) выполним преобразования: C  (  ( B  A )) = ( C  ( B &  A )) & (( B &  A )  C ) = = (  C  ( B &  A )) & (  B  A  C ) = = (  C  B ) & (  C   A ) & (  B  A  C ) . Множество дизъюнктов имеет вид: {  C  B,  C   A ,  B  A  C }. 3.2. Логический вывод Логический вывод – это рассуждение, в ходе которого из ис- ходных утверждений посылок с помощью логических правил формируют заключения – новые утверждения.