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
Electronic device and recording medium
Taste receptors of the T1R family from domestic cat
Display screen or portion thereof with animated graphical user interface
Method of making a CIG target by cold spraying
System and method for managing self-refresh in a multi-rank memory
Plants and seeds of hybrid corn variety CH717591
Food-grade flour from dry fractionated corn germ and collet composition and method for producing same
  Randomly Featured Patents
Tubular socket drive earth anchor
Kainate-binding, human CNS receptors of the EAA4 family
Process for forming a bit-line in a MONOS device
Continuously variable transmission
Method of, and apparatus for, handling an exposure surface to be exposed, in particular, a printing plate
Radiographic apparatus
Method and device for detecting functional and metabolic data of a living organism
System for aiding in use of a facility arranged to equip visitors with portable information storing units, method for aiding in use of a facility, and recording medium for recording the method
Device for bailing shallow puddles on flexible sheet surfaces
Fluid bed separator apparatus for processing waste material to recover burnables