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
Processing abstract derived entities defined in a data abstraction model
Apparatus and method for multiple pagings in broadband wireless communication system
High-resolution, active reflector radio frequency ranging system
Current collector for lead acid battery
Methods and apparatus for power amplifier calibration
Carbonyl-ene functionalized polyolefins
Managing imaging of computing devices
  Randomly Featured Patents
Methods and apparata for precisely dispensing microvolumes of fluids
Heat treatment system and method
Kit for making a phototool
Buffer fullness indicator
Drilling method and casing shoe
Machine tools
Chain link assembly body
Method for analyzing the glycation of hemoglobin
System of drug delivery to the lymphatic tissues
Preparation for hardening animal finger and toenail tissue and method