Armstrong rules

Simple inference rules for implications in formal contexts.

Neighborhood — ranked by edge-count

concept

implication
associated_with
Implication A → B holds in a formal context iff every object that has all attributes in A also has all in B.

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.

Horn rulesconcept0.781
Implications with variables, obtained by factoring implications modulo automorphisms.
Appearance Ruleconcept0.718
Spreadsheet-like rule determining how a value is displayed visually; complements value rules to complete data-driven object model.
Proper scoring ruleconcept0.701
A scoring rule optimized by predicting true probabilities; log-loss is one.
Value Ruleconcept0.691
Spreadsheet-like rule defining how a rectangle's or object's value is computed; enables data-driven behavior across all Playground tools.
rule explorationmethod0.680
Generalization of attribute exploration to FOL rules via factoring modulo context automorphisms.
Regulationconcept0.674
The overarching problem domain: maintaining desired behavior or stability in dynamic systems through feedback or adaptive intervention.
Double Standardconcept0.669
The inconsistent willingness to infer sentience in animals vs. plants based on similar behavioral evidence.
type 1 and type 2 obligationsconcept0.665
Proposed abstract obligation types for specifying programs, e.g., a reservation incurs a type 1 obligation.