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 'where to steer' dimension is orthogonal and complementary to existing 'how to steer' and 'when to steer' approachesclaim0.671
Positions the contribution relative to Angular Steering and Dynamic Steering literature
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.