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
Actuator, actuator structure and method of manufacturing actuator
Toy track intersection component
Bulk vending apparatus, system and method
System and method of interfacing co-processors and input/output devices via a main memory system
Discovery, analysis, and visualization of dependencies
Digital broadcasting system and method of processing data
System and method for distributed security
  Randomly Featured Patents
Ink compositions, processes for making them and uses thereof
Receiver and transfer device for transferring dough from a supply source to a receiving station
Compositions and methods for the treatment and diagnosis of breast cancer
Cam action clamp device
Communication cable for use in a plenum
Conveyor with scrapers
Baby monitor receiver
Easy-open, hermetically-sealed, packaging bag
Video mirror systems incorporating an accessory module
Water purifying and flavor infusion device