Encyclopedia of Machine Learning

2010 Edition
| Editors: Claude Sammut, Geoffrey I. Webb


Reference work entry
DOI: https://doi.org/10.1007/978-0-387-30164-8_653

A predicate or predicate symbol is used in logic to denote properties and relationships. Formally, if P is a predicate with arity n, and t1, , tn is a sequence of n terms (i.e., constants, variables, or compound terms built from function symbols), then P(t1, , tn) is an atomic formula or atom. Such an atom represents a statement that can be either true or false. Using logical connectives, atoms can be combined to build well-formed formulae in  first-order logic or  clauses in  logic programs.

Cross References

Copyright information

© Springer Science+Business Media, LLC 2011