US PATENT SUBCLASS 706 / 56
.~.~ Predicate logic or predicate calculus


Current as of: June, 1999
Click HD for Main Headings
Click for All Classes

Internet Version by PATENTEC © 1999      Terms of Use



706 /   HD   DATA PROCESSING: ARTIFICIAL INTELLIGENCE

45  DF  KNOWLEDGE PROCESSING SYSTEM {2}
46  DF  .~ 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.