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

24 Отметим, что если S определяет сущности, о которых что-то утверждается в высказывании, то Р определяет, что именно в них говорится. Кванторы выделяют тот подкласс сущностей, о которых идет речь ( S является субъектом высказывания, а P – предикатом высказывания). Если высказывания 1 – 4 относятся к некоторым утверждени- ям о принадлежности или непринадлежности элементов некоторому классу элементов, обладающих свойством P , то высказывания 5 и 6 имеют несколько иную природу. Высказывание 5 утверждает, что класс S совпадает с классом элементов, обладающих свойством P , а высказывание 6 говорит о том, что эти классы не совпадают. Для индивидуальных конкретных сущностей имеются две схемы базовых высказываний, которые отсутствовали в теории Аристотеля [1]: 7. a есть P . 8. a не есть P . В приведенных восьми схемах базовых высказываний имеет- ся один очень важный элемент. Он представлен связками «есть» и «не есть». В русском языке эти связки не имеют однозначного смыслового значения, например [1]: «Треугольник есть много- угольник», «Фигура АВС есть прямоугольный треугольник», «Сумма квадратов катетов есть квадрат гипотенузы», «Планета Земля есть». В этих четырех примерах связка «есть» используется в различных смыслах. В первом предложении говорится о включении одного класса (множества) сущностей в другое. В теории множеств этот случай задается с помощью отношения S  P . Во втором случае «есть» интерпретируется как отношение принадлежности ( a  P ). В треть- ем высказывание «есть» является отношением (знак) равенства и, наконец, в четвертом случае определяет фиксацию того, что су- ществует планета Земля.