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
Fuel basket spacer, apparatus and method using the same for storing high level radioactive waste
Measurement and uses of oxidative status
Identifying a characteristic of an individual utilizing facial recognition and providing a display for the individual
Semiconductor device and method for manufacturing the same
Washing machine
1,3-diiodohydantoin compound and production method thereof
Reception system including a mechanism countering pulsed interference
  Randomly Featured Patents
73 Facet butterfly gem
Phacoemulsification tip with internal oriented structures
Continuously variable transmissions
Reversible ratchet-type wrench
Methods for manufacturing endodontic instruments from powdered metals
Conductive particle filled polymer electrical contact
Method and apparatus for evaluating automotive window regulators
Method for focusing spherical holographic diffraction gratings working by reflection, and dispersive lenses and spectrometers applying this method
Apparatus for characterizing a magnetic field in a magnetically enhanced substrate processing system
Scribe device