US PATENT SUBCLASS 706 / FOR 127
.~.~.~.~ Propositional logic (395/67)


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 127.~.~.~.~ Propositional logic (395/67)


DEFINITION

Classification: 706/FOR.127

Propositional logic:

Foreign art collections including subject matter wherein the specific integrated collection of facts and relationships uses a simple logic formed with truth values (e.g., "X is a metal," "if C then D") or logic connectives (e.g., and, or, not).