method
active
method:rule-explorationrule exploration
Generalization of attribute exploration to FOL rules via factoring modulo context automorphisms.
Neighborhood — ranked by edge-count
Concepts (2)
concept
- context automorphismsassociated_withSymmetries of a formal context that can be exploited to reduce computation and derive general rules.
- Horn rulesassociated_withImplications with variables, obtained by factoring implications modulo automorphisms.
Artifacts (1)
artifact
- Slide deck tutorial on Formal Concept Analysis by Bernhard Ganter presented at Dresden ICCL Summer School, June/July 2006.
Questions (1)
question
- Central open question in evolutionary tree analysis: find axioms describing versus-relations derived from trees.
Related by similarity (8)
cosine ≥ 0.65 · no typed edgeEntities in the same semantic neighborhood but without a typed relation to this one — candidates for new edges or unrecognized duplicates.
- Interactive algorithm for discovering complete implicational knowledge by computing stem base and seeking counterexamples.
- Bayes-optimal exploration driven by uncertainty minimization; natural behavior in active inference without handcrafted mechanisms.
- Organization that created the Theory of Loose Parts V2.0 compilation for Playvolution HQ.
- The active sampling of observations to maximize information gain and resolve uncertainty about the environment.
- Spreadsheet-like rule defining how a rectangle's or object's value is computed; enables data-driven behavior across all Playground tools.
- Active maintenance and restoration of correct anatomical pattern; central to morphogenesis and regeneration.
- The overarching problem domain: maintaining desired behavior or stability in dynamic systems through feedback or adaptive intervention.
- The property of the pain-belief signal that adapts to environmental changes rather than providing a fixed exploration bonus