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

Question

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

Насколько я понимаю, пока

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

President(Obama, America)

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

Human(Obama)

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

Krio

Answer 1

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

Answer 2

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

Answer 3

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

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

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

Answer 4

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

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

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

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

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

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

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

Answer 5

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

Источник: AIMA (Искусственный интеллект, книга современного подхода)

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