Resources Contact Us Home
Method for efficiently checking coverage of rules derived from a logical theory

Image Number 3 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
Resistor and manufacturing method thereof
Computer-implemented method of constructing a stock index using index rotation
Methods and apparatus for determining a phase error in signals
Bio-pesticide and method for pest control
Battery power management system and method
Mobile target system
Solid-state image sensing apparatus and electronic apparatus
  Randomly Featured Patents
Method for producing 2-amino-5-iodobenzoic acid
eFuse with partial SiGe layer and design structure therefor
Active gravity compensation device for force control system
Variable displacement rotary fluid energy converter
Electromagnetically actuated pumps
Method and apparatus for determining the length of a flexible web or string material
Image processing apparatus for a game, method and program for image processing for a game, and computer-readable medium
Eyeglass frame with replaceable lenses
Process for producing burgundy-colored flavored olives and product made thereby
Flexible distribution sheet