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

Image Number 11 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
Lipoprotein analysis by differential charged-particle mobility
Hermetically sealed atomic sensor package manufactured with expendable support structure
Methods and apparatus for processing audio signals
Cross-platform cloud-based map creation
Over the counter medicinal container with surface ornamentation
Method and system for tracking mobile electronic devices while conserving cellular network resources
Coordinated garbage collection for raid array of solid state disks
  Randomly Featured Patents
Method, system and program for direct client file access in a data management system
Tool handle
Cleaner and method for removing fluid from an object
Low power linear interpolation digital-to-analog conversion
Vehicle lower grille
Method of making titanium boronitride coatings using ion beam assisted deposition
Stand for television receiver
Systems and methods for vehicle cruise control
Sensor for quantifying widening reduction wear on a surface
Predictive coding using spatial-temporal filtering and plural motion vectors