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

Image Number 6 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
Apparatus for touch screen avionic device
Compositions and methods of vascular injury repair
Data processing apparatus, activation control method, and computer-readable storage medium
Semiconductor device having germanium active layer with underlying parasitic leakage barrier layer
Light-emitting device package and method of manufacturing the same
Treatment of influenza
System and method for order placement in an electronic trading environment
  Randomly Featured Patents
Method and apparatus for redirecting packets using encapsulation
Bushing for a drilling rig
Supercritical fluid extraction of cholesterol from liquid egg yolk
Use of a baculovirus to express and exogenous gene in a mammalian cell
Method of recovering energy in the manufacture of polymers from monomeric gas and apparatus for carrying out the method
Reagents for use in competition assays for progesterone
Dispenser assembly and insert tank for same
Method and apparatus for simplified expected symbol value computation and interference cancellation in communication signal processing
Adaptive multi-level threshold system and method for power converter protection
Cancer treatments including administering IL-2 fusion proteins with modulated selectivity