1. A method comprising the following computer-executable acts: receiving a computer-implemented relational model, wherein the computer-implemented relational model includes atoms and relationships between atoms; and modifying the relational model by selectively removing at least one of atoms or relationships from the relational model.
1. A method comprising the following computer-executable acts: receiving a computer-implemented relational model, wherein the computer-implemented relational model includes atoms and relationships between atoms; and modifying the relational model by selectively removing at least one of atoms or relationships from the relational model. 7. The method of claim 1 , wherein the relationships are weighted first order clauses, and further comprising determining a number of unsatisfied groundings that include a first atom for each of the weighted first order clauses; clustering atoms that have substantially similar numbers of unsatisfied groundings for each of the weighted first order clauses; performing inference on a representative atom from at least one cluster to determine a probability; and assigning the determined probability to other members of cluster.