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

Image Number 11 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
Method and apparatus for disease diagnosis and screening using extremely low frequency electromagnetic fields
Method for transforming a single reactor line
Polarity switching member of dot inversion system
Semiconductor devices and methods for changing operating characteristics and semiconductor systems including the same
Power converter for an LED assembly and lighting application
Generating compiled code that indicates register liveness
Image coding apparatus and image decoding apparatus
  Randomly Featured Patents
Gate driving device
Magnetic recording element, magnetic memory cell, and magnetic random access memory
System for mounting an object to a surface
Compounds having anti-inflammatory and anti-viral activity, compositions of these, alone and in combination with reverse transcriptase inhibitors
Method and blank for manufacturing a bent curve element, bent curve element, curve unit comprising a bent curve element and also conveying track comprising such a curve unit
Tip formation for inserting a flexible membrane into an eye
Device for handling wafers
Adjustable mount for a belt idler pulley
Foveated display eye-tracking system and method
Piece of hull for boats and vessels