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

Image Number 6 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
Methods and apparatus for low power out-of-band communications
Clock face
Mobile device mode control based on dual mapping of availability (presence) information
Image correction method
Optical angular position detection apparatus and method
Ion generation using wetted porous material
Low-complexity motion vector prediction systems and methods
  Randomly Featured Patents
Hand-held mixer having a switching means configuration for switching to several lower speeds and for switching to a higher speed of mixing tools
Soluble liver uricase with a process for the preparation thereof and with the use thereof
Protector for plate-like peripheral device of electronic equipment
Pedalling device with suspension for cycles
VAL rotary engine
System for constructing spatial structures
Release mechanism of bar clamp
Error detection code generating method and error detection code generator
Fixture for a guitar stand
Cross-ignition assembly for combustion apparatus