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
Advertising apparatus
Agglutination judgment method
Transmitter and receiver for streaming media including packet padding
System, method, and computer program product for identifying unwanted data communicated via a session initiation protocol
Method of analyzing cell structures and their components
Implantable neuro-stimulation electrode with fluid reservoir
Organic light-emitting display and method of manufacturing the same
  Randomly Featured Patents
Device for controllably lessening load forces on disk media in aerodynamically flying head data storage file
Trifold dispenser blank for tape strip pads
Tracking control circuit of helical scanning magnetic tape apparatus
Mobile phone and method
Thermal controller for computer, thermal control method for computer and computer equipped with thermal controller
Optical bistable semiconductor laser producing lasing light in direction normal to semiconductor layers
Expansion packer
Physical access control and security monitoring system utilizing a normalized data format
Pen input display device