.~ Knowledge representation and reasoning technique {11}
56
.~.~ Predicate logic or predicate calculus
DEFINITION
Classification: 706/56
Predicate logic or predicate calculus:
(under subclass 48) Subject matter wherein the integrated collection of facts and relationships uses a complex reasoning system formed with symbols (arguments and predicates).
(1) Note. A notation of predicate logic is either xPy or P(x, y)
(2) Note. Predicate logic is usually considered an extension of propositional logic.
SEE OR SEARCH THIS CLASS, SUBCLASS:
57, for knowledge processing system having propositional logic.
