US PATENT SUBCLASS 706 / FOR 126
.~.~.~.~ Predicate logic or predicate calculus (395/66)

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

FOR 100  DF  ARTIFICIAL INTELLIGENCE (395/1) {2}
FOR 102  DF  .~ Knowledge processing (395/10) {5}
FOR 114  DF  .~.~ Expert system (395/50) {3}
FOR 120  DF  .~.~.~ Knowledge representation (395/60) {8}
FOR 126.~.~.~.~ Predicate logic or predicate calculus (395/66)

DEFINITION

Classification: 706/FOR.126

Predicate logic or predicate calculus:

Foreign art collections including subject matter wherein the specific integrated collection of facts and relationships uses a complex logic system formed with arguments and predicates.