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
Data storage device with surface ornamentation
Aluminum galvanic cell
Fabrication of high gradient insulators by stack compression
Point-of-sale server and method
Power surface mount light emitting die package
Battery pouch sheet edge insulation
Stable light source device
  Randomly Featured Patents
Reinforcing shape member for a wall and system for construction using same
Turbocharger with integrated centrifugal breather
Compact vehicle-mounted antenna
Real-time document collection search engine with phrase indexing
Remote display system with independent power source
Elliptical stationary exercise device
Telephone adapted for emergency dialing by touch
Pressure control for household steam generator
2-Amino-4-(substituted hydrazino)-6-oxo pyrimidines
Compliant test probe with jagged contact surface