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

Image Number 5 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
Solid-state image sensing apparatus and electronic apparatus
Device for maneuvering a vehicle using maneuvering moves using at least one trajectory
Retransmission control method, base station and mobile station
Calibration of quadrature imbalances using wideband signals
Control device
Door-activated entry light fixture
Process for producing a carbon-comprising support
  Randomly Featured Patents
Cardiac pacer and monitor system
Animal decoy apparatus
Underwater acoustic pressure release baffle for depths to 2000 feet
Scraper adjustment mechanism and method
Constant pressure storage installation with water supply for gas turbine power plants
Liquid crystal display device
Optical fiber and optical transmission line including the same
Method and system for wireless communications using anti-interference to increase data transmission rate
Large gain range, high linearity, low noise MOS VGA
Automatic hiding and revealing of a pointer during keyboard activity