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

Image Number 6 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
Generating a network map
Synchronization processing circuit and synchronization processing method in wireless communication system
Chip on film (COF) package having test line for testing electrical function of chip and method for manufacturing same
Fluid intake and content management system
Regenerative braking control to mitigate powertrain oscillation
Apparatus and method for an iterative cryptographic block
Semiconductor devices having multi-width isolation layer structures
  Randomly Featured Patents
Method and apparatus for multipoint conferencing
DC/DC power converting apparatus
Cable straightener
Roll-up Velcro tool carrier
Scanning lens system and optical scanning apparatus using the same
Method and apparatus for traffic congestion control in a communication network bridge device
Method and apparatus for fine shearing
Pharmacologically active 2,5-dioxo-octahydro-imidazo [1,2-a]pyridines
Writing data to nonvolatile memory
Methods and apparatus for determining mineral components in sheet material