US PATENT SUBCLASS 706 / 57
.~.~ Propositional logic


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}
57.~.~ Propositional logic


DEFINITION

Classification: 706/57

Propositional logic:

(under subclass 46) Subject matter wherein the integrated collection of facts and relationships uses a reasoning system formed with truth values (e.g., X is a metal, if C then D) or logic connectives (e.g., and, or, not).

SEE OR SEARCH THIS CLASS, SUBCLASS:

56, for knowledge processing system having predicate logic or predicate calculus.