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

22 3) суждения существования (экзистенциальные). В них ут- верждается или отрицается существование предметов (материаль- ных или идеальных) в действительности. Примеры этих суждений: «Существуют атомные электростанции», «Не существует беспри- чинных явлений». Сложные суждения состоят из двух или более простых суж- дений, они выражаются при помощи сложных предложений или предложений с однородными членами. Например: «Население Ка- зани и Уфы меньше населения Москвы» («Население Казани меньше населения Москвы» и «Население Уфы меньше населения Москвы»). Сложные суждения – это комбинации нескольких суждений и могут содержать грамматические связки, которые соединяют несколько суждений: «и», «или», «либо», «если …, то», «тогда и только тогда» «и …, и …» и т.д.:  простое + простое;  простое + сложное;  сложное + сложное. К примеру: «Если лето сухое, вероятность лесных пожаров повышается». В данном случае части сложного суждения «лето сухое» и «вероятность лесных пожаров повышается» могут высту- пать в качестве простых суждений. Рассмотрим модель суждений, предложенную Аристотелем. Отметим, что последующий материал пособия не является дослов- ным переводом сочинений Аристотеля. Так как изложение Аристо- теля не имело формального описания, многочисленные поколения ученых вводили новые обозначения и уточнения, появились раз- личные интерпретации положений его теории [1]. Под сущностями понимают объекты окружающего мира, его явления, протекающие в нем процессы, окружающие нас субъекты, включая нас самих. Отдельные сущности имеют уникальные соб- ственные имена.