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
LED illumination systems
Bread basket
Method and system to generate finite state grammars using sample phrases
Method and device for operating a vehicle having a hybrid drive
Active constant power supply apparatus
Touch sensing technology
  Randomly Featured Patents
Data processing system having a plurality of storage systems
Methods of identifying compounds having nuclear receptor negative hormone and/or antagonist activities
Ferroelectric liquid crystal display
Physical therapy heated capsule
Process for producing .alpha.-amino acids
Apparatus and methodology for limiting ice build-up
Adjustable stop assembly for a press
Slat assembly for chain link fence
Substrate transfer method for performing processes including photolithography sequence