US PATENT SUBCLASS 706 / FOR 119
.~.~.~.~ Truth maintenance system (TMS) (395/55)


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 115  DF  .~.~.~ Deduction, control, or search techniques (395/51) {4}
FOR 119.~.~.~.~ Truth maintenance system (TMS) (395/55)


DEFINITION

Classification: 706/FOR.119

Truth maintenance systems (TMS):

Foreign art collections including subject matter wherein the processing of the integrated collection of facts and relationships include belief revision by tracking dependencies among propositions and informing a user as to which propositions can be believed.