Интеллектуальные информационные системы. Макаренко С.И. - 63 стр.

    Предикат «компьютер (память, клавиатура, процессор, монитор)» может
обозначать понятие «компьютер» как отношение, связывающее между собой
составные части компьютера, предикат «внутри (процессор_Pentium,
компьютер)» – то, что внутри компьютера находится процессор Pentium.
    Предикат с арностью n=1 может представлять свойство сущности
(объекта), обозначенного аргументом или характеристику объекта,
обозначенного именем предиката [3]. Например:
    кирпичный (дом),
    оценка (5),
    улица («Красный проспект»),
    дата_рождения («1 апреля 1965 г.»),
    быстродействие («1 Мфлопс»).
    Предикат с арностью n=0 (без аргументов) может обозначать событие,
признак или свойство, относящееся ко всей предметной области. Например:
«конец работы» [3].
     При записи формул (выражений) помимо логических связок
«конъюнкция» (&), «дизъюнкция» (∨), «отрицание» (¬), «следование»
(«импликация») (→) , заимствованных из логики высказываний, в логике
предикатов используются кванторы всеобщности (∀) и существования (∃)
[3].
    Например, выражение:
    ∀(x, y, z) (отец (x, y) & мать (x, z)) → родители (x, y, z),
означает, что для всех значений x, y, z из предметной области справедливо
утверждение «если y – отец и z – мать x, то y и z – родители x».
    Выражение
    (∃x) (студент (x) & должность (x, «инженер») ),
означает, что существует хотя бы один студент, который работает в
должности инженера.
    Переменные при кванторах называются связанными переменными в
отличии от свободных переменных [3]. Например, в выражении
    (∀x) (владелец (x, y) → частная_собственность(y) ),
x – связанная переменная, y – свободная переменная.
     Логика предикатов 1-го порядка отличается от логик высших порядков
тем, что в ней запрещено использовать выражения (формулы) в качестве
аргументов предикатов.



                                        62