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
Signal processing and tiered signal encoding
Method for preparing an organic film at the surface of solid support under non-electrochemical conditions, solid support thus obtained and preparation kit
System and method for performing image correction
Semiconductor device having a first conductive member connecting a chip to a wiring board pad and a second conductive member connecting the wiring board pad to a land on an insulator covering
Image forming apparatus, control method, and storage medium
Image forming apparatus forming images in response to image formation request from operation unit or external device
Methods of synthesizing heteromultimeric polypeptides in yeast using a haploid mating strategy
  Randomly Featured Patents
Method for the storage and controlled supply of electric energy for discontinuous loads in steelworks
Disc substrates for information recording discs and magnetic discs
Surface altering agent for thermoplastic polymers
System and method for accommodating non-gaussian and non-linear sources of variation in statistical static timing analysis
Lever fitting connector
Deposition monitoring system
Machining device
Synchronizer spring pin