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
Bamboo scrimber and manufacturing method thereof
Methods for selective reverse mask planarization and interconnect structures formed thereby
Motor control system, motor control device, and brushless motor
Power supply system for a data storage system and a method of controlling a power supply
Artificial engine sound control unit, approaching vehicle audible system, and electric vehicle having them
Agent for expelling parasites in humans, animals or birds
Integrated circuit packaging system with laser hole and method of manufacture thereof
  Randomly Featured Patents
Secure mobile information management system and method
Platelet aggregation inhibitors
Reconfigurable and reliable logic circuit elements that exploit nonlinearity and noise
Apparatus for the cyclic heating and cooling of processing equipment
Rotor shaft with integral wedge retainers for core of a two-pole generator
Composition for forming calcium phosphate type setting material and process for producing setting material
Apparatuses and methods for a noninvasive measurement of physiological parameters
Method for depositing compound semiconductor crystal
Elevator door interlocking apparatus
Portable pump