Функции предиката VS в логике первого порядка

Question

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

До сих пор понимание,

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

President(Obama, America)

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

Human(Obama)

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

Крио

Answer 1

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

Answer 2

Символы функции, которые отображают людей с людьми-отец (Мэри) = Джон-цвет (небо) = синий • Предупрежденные символы, которые отображают людей с ценностями истины-больше (5,3)-зеленый (трава)-цвет (Трава зеленая)

Answer 3

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

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

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

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

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

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

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

Answer 4

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

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

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

Answer 5

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

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

больше описания на изображении: