First-order predicate logic

Many reasoners use first-order predicate logic to perform reasoning; inference commonly proceeds by forward chaining and backward chaining.

"This glossary is limited to basic set theory, basic recursive function theory, two branches of logic (truth-functional propositional logic and first-order predicate logic) and their metatheory." Also see Professor Suber's other resources such as: ...

See also: Knowledge, Artificial intelligence, Inference, Expert system, Knowledge representation