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

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

На данный момент я понимаю,

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

President(Obama, America)

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

Human(Obama)

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

Крио


artificial-intelligence agent logic algorithm first-order-logic
person TeaCupApp    schedule 14.06.2011    source источник

Ответы (5)


arrow_upward
47
arrow_downward

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

person Adam    schedule 14.06.2011
comment
Обратите внимание, что предикаты могут быть невычислимыми, например проблема остановки. - person Charles Stewart; 15.06.2011
comment
Или мы можем сказать: функция - это предикат, который возвращает объект. (Источник: AIMA) - person Mohammad Mahdi KouchakYazdi; 12.12.2016

arrow_upward
12
arrow_downward

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

person RSH    schedule 04.03.2013

arrow_upward
6
arrow_downward

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

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

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

person user4293581    schedule 25.11.2014

arrow_upward
2
arrow_downward

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

П (Обама, Америка) = правда.

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

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

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

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

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

person Palash Sharma    schedule 02.02.2014

arrow_upward
0
arrow_downward

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

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

дополнительное описание на изображении: Описание объекта, функции, отношения в AIMA

person Mohammad Mahdi KouchakYazdi    schedule 12.12.2016