US PATENT SUBCLASS 706 / 51
.~.~ Non-monotonic reasoning system

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}
51.~.~ Non-monotonic reasoning system

DEFINITION

Classification: 706/51

Non-monotonic reasoning system:

(under subclass 46) Subject matter wherein processing of the integrated collection of facts and relationships contains belief revision(tracking dependencies among propositions).

(1) Note. This subclass includes truth maintenance systems.