Resources Contact Us Home
Method for efficiently checking coverage of rules derived from a logical theory

Image Number 4 for United States Patent #7379941.

The method is used in a computer and includes the steps of providing a logical theory that has clauses. A rule is generated that is a resolvent of clauses in the logical theory. An example is retrieved. A proof tree is generated from the example using the logical theory. The proof tree is transformed into a database of a coverage check apparatus. The rule is converted into a partial proof tree that has nodes. The partial proof tree is transformed into a database query of the coverage check apparatus. The query is executed to identify tuples in the database that correspond to the nodes of the partial proof tree.

  Recently Added Patents
Coated article and method for making the same
Anti-reductive high-frequency ceramic dielectric material sintered at low temperature and matched with copper internal electrode
Display screen of a mobile terminal or portion thereof with a graphical user interface
Extract of Vanilla planifolia
Method and system for calibrating laser profiling systems
Electronic flash device
Digital-to-analog converter and performing method thereof
  Randomly Featured Patents
Method and computer program product for determining a minimally degraded configuration when failures occur along connections
Degraded hydrophobic, particulate starches and their use in paper sizing
Apparatus for recording digital still image signal and analog video signal
Wallet for coin, card, and currency
Method and system for rating patents and other intangible assets
Membrane pump with tiltable rolling piston pressing the membrane
Lightweight controlled descent system with an integral reserve suspension relief strap (RSRS)
Efficient, high volume digital signature system for medical and business applications
Shock hazard protector for hair dryers
Antihypertensive agents