Horn rules

Implications with variables, obtained by factoring implications modulo automorphisms.

Neighborhood — ranked by edge-count

method

rule exploration
associated_with
Generalization of attribute exploration to FOL rules via factoring modulo context automorphisms.

cosine ≥ 0.65 · no typed edge

Entities in the same semantic neighborhood but without a typed relation to this one — candidates for new edges or unrecognized duplicates.

Armstrong rulesconcept0.781
Simple inference rules for implications in formal contexts.
Proper scoring ruleconcept0.708
A scoring rule optimized by predicting true probabilities; log-loss is one.
Appearance Ruleconcept0.706
Spreadsheet-like rule determining how a value is displayed visually; complements value rules to complete data-driven object model.
Value Ruleconcept0.689
Spreadsheet-like rule defining how a rectangle's or object's value is computed; enables data-driven behavior across all Playground tools.
The car must therefore be made to play second fiddle to the pedestrian.claim0.669
Fundamental priority rule for the four-fold process.
multiplicative scoring ruleconcept0.666
Score = (sum of completed quartet values) × (number of completed quartets), rewarding breadth.
Regulationconcept0.665
The overarching problem domain: maintaining desired behavior or stability in dynamic systems through feedback or adaptive intervention.
Play The Hand Youre Dealtconcept0.665