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
Electronic device
Portable computer display structures
Storage basket with lid
Reducing voltage stress in a flyback converter design
Method and device for reducing image color noise
Economic filtering system for delivery of permission based, targeted, incentivized advertising
  Randomly Featured Patents
Communication system utilizing Reed-Solomon code to achieve auto frame synchronization acquistion
System and method for adjusting the traffic carried by a network
Self-expanding intraluminal composite prosthesis
Multi-user cordless telephone capable of discernibly notifying each user
Adjustable work surface
3,4,5-triselena-tricyclo-[,6 ]decanes and derivatives thereof
Method and system for a wireless multi-hop relay network
Transgenic plants containing multiple disease resistance genes
Track systems for model railroads
Quaternary ammonium salts