Predicate vs Functions in First order logic

algorithm artificial-intelligence logic agent first-order-logic
TeaCupApp picture TeaCupApp · Jun 14, 2011 · Viewed 13.5k times · Source

I have been so confused lately regarding difference between predicate and function in first order logic.

My understanding so far is,

Predicate is to show a comparison or showing a relation between two objects such as,

President(Obama, America)

Functions are to specify what a particular object is such as,

Human(Obama)

Now am I heading on right track to differentiate these two terms or I am completely wrong and need a brief explanation, I would like to have opinion from expert to clarify my knowledge(or approve my understanding). Thanks in advance

Krio

Answer

Adam picture Adam · Jun 14, 2011

A predicate is a function that returns true or false.

Related questions

What is the optimal algorithm for the game 2048?

I have recently stumbled upon the game 2048. You merge similar tiles by moving them in any of the four directions to make "bigger" tiles. After each move, a new tile appears at random empty position with a value of either 2 …

Read More
How to work out the complexity of the game 2048?

Edit: This question is not a duplicate of What is the optimal algorithm for the game 2048? That question asks 'what is the best way to win the game?' This question asks 'how can we work out the complexity of …

Read More
What are good examples of genetic algorithms/genetic programming solutions?

Genetic algorithms (GA) and genetic programming (GP) are interesting areas of research. I'd like to know about specific problems you have solved using GA/GP and what libraries/frameworks you used if you didn't roll your own. Questions: What problems …

Read More