Предикат против функций в логике первого порядка

В последнее время я так запутался в отношении разницы между предикатом и функцией в логике первого порядка.

До сих пор я понимаю,

Предикат должен показать сравнение или показать связь между двумя объектами, такими как

President(Obama, America)

Функции должны указывать, что такое конкретный объект, например,

Human(Obama)

Теперь я направляюсь по правому пути, чтобы отличить эти два термина, или я совершенно не прав, и мне нужно краткое объяснение, я хотел бы получить мнение эксперта, чтобы разъяснить мои знания (или одобрить мое понимание). Спасибо заранее

Крио

Ответ 1

Предикат - это функция, которая возвращает true или false.

Ответ 2

Функциональные символы, которые отображают индивидуумы отдельным лицам - father- of (Mary) = John - color- of (Sky) = Синий • Предикатные символы, которые отображают индивидов на истинные ценности - больше (5,3) - зеленая трава) - цвет (трава, зеленый)

Ответ 3

Предикат является подтверждением для определенного свойства объектами или отношениями между объектами. который говорит, что свойство существует для этого объекта. если вам дана формула P для президента Америки, то

Р (Обама, Америка) = верно.

он говорит вам, что вы правы и что собственность Обамы, являющаяся Президентом Америки, верна и что отношение Обамы, являющегося президентом Америки, истинно, но

P (Путин, Америка) = ложь.

говорит Путину, что президент Америки является ложным, тем самым сообщая вам, что объект или объекты хранятся или не имеют определенного свойства или отношения. Что касается функций, возвращает значение, связанное со специфическим свойством объекта, такого как президент Америки, мать Энн и т.д. Вы даете им значение, и они вернут значение. Пусть P - функция, возвращающая президента страны, принятую в качестве аргументов

Р (Америка) = Обама.

Р (Россия) = Путина.

Ответ 4

Из того, что я понимаю

Функция возвращает значение, находящееся в домене, сопоставляя n элементов одному члену домена.

Предикат подтверждает, является ли отношение, которое вы пытаетесь сделать, истинно или нет в соответствии с аксиомами и правилами вывода, которые вы выполняете в своей системе.

Ответ 5

Функции - это отношения, в которых есть только одно значение для данного ввода.

источник: AIMA (искусственная интеллектуальная книга современного подхода)

больше описания на картинке: