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

Image Number 5 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
Isolation rings for blocking the interface between package components and the respective molding compound
Methods and devices for multiple-mode radio frequency synthesizers
Method and system for distributing load by redirecting traffic
Inspection tool for top guides of a boiling water reactor
Systems and methods for managing policies on a computer
System, method and computer program product for sharing a single instance of a database stored using a tenant of a multi-tenant on-demand database system
  Randomly Featured Patents
Load compensation in distance protection of a three-phase power transmission line
Heat exchanger
Plant growth regulators derived from chitin
Method and assembly for increasing hair volume
Non-shielded, fire-resistant plenum cable
Semiconductor chip having via electrodes and stacked semiconductor chips interconnected by the via electrodes
Precision fuel injection apparatus
Slurry pump having increased efficiency and wear characteristics
Fuel injector including an orifice disc, and a method of forming the orifice disc including punching and shaving
Self-proving vehicle grounding system