Surprisingness

Surprisingness

• New relationships between concepts
• Techniques
  • Look for new combinations of predicates and functions
• Examples
  • It would be surprising if:

    ! [X] :
      ( shoe_size(X)
     => prime(X) ) 

Implementation

• Measure new co-occurences of symbols relative to axioms
• Repetitivity (of a symbol pair) = 1 - (NumberOfAxiomsWithBoth / NumberOfAxiomsWithEither)
• Surprisingness = Sum of repetitivities of symbol pairs in the theorem
• High surprisingness is good