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

Image Number 3 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
Battery power management system and method
Area efficient through-hole connections
Heap/stack guard pages using a wakeup unit
Cartridge for separating analyte from mixture, comprising dispensing and receiving chambers and insert
Apparatus and method for image reconstruction and CT system
Method and apparatus for producing homogeneous magnetic fields
  Randomly Featured Patents
Moving program making-out program and device
Optical shutter
Fishing rod holding system
Automatic system recovery
Organosilicon compounds with functional groups
Laser alignment system and method
Means for coupling a drive shaft to a rotatable member and the method of doing the same
Methods and systems for classifying mass spectra
Normally off gallium nitride field effect transistors (FET)