finding

active

finding:treelike-versus-relations-can-be-characterized-by-a-single-rule-wx-y-wz-y-wx-z

Treelike versus-relations can be characterized by a single rule: wx | y, ¬wz | y → wx | z.

Empirical discovery via FCA that versus-relations on evolutionary tree leaves satisfy a single Horn rule with variables.

Source paper

extracted_from

Finger Exercises in Formal Concept Analysis

(2006) · Ganter, Bernhard

Neighborhood — ranked by edge-count

Findings (3)

finding

Its stem base consists of 88 implications.
supports
Number of implications in the full stem base of the trees context.
Removing the scale-induced information leaves 24 implications.
supports
Number of implications after background knowledge removal.
The derived context has 15 objects and 24 attributes.
supports
Empirical detail from the evolutionary trees example.

Questions (1)

question

Characterize treelike versus-relations! Can this perhaps be done automatically?
answered_bygates
Central open question in evolutionary tree analysis: find axioms describing versus-relations derived from trees.

Related by similarity (8)

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.

How can treelike versus-relations be axiomatically characterized?question0.871
The tree structure can be reconstructed from its versus relation.claim0.774
Statement that the versus relation uniquely determines a tree.
The feed-forward network truly implements a symbolic, tree-structured algorithm for hierarchical equality, with abstract equality relations not decomposable into input identitiesclaim0.724
DAS reveals that the neural network encodes abstract relational structure rather than raw input identities.
The features are often organized in geometrically-related clusters that share a semantic relationship.claim0.722
Decoder cosine similarity maps onto concept similarity.
"many apparently very different and interesting organisations and behaviours are in fact closely related as slight variations within a general, parameterisable, n-way associative memory"concept0.719
Encapsulates Piumarta's core unifying thesis about the generality and power of the associative primitive.
With unrestricted vocabulary, models occasionally respond in non-English Yes/No equivalents (e.g., Sí, Nein) after truth-direction interventionsfinding0.718
Suggestive evidence for language-independent truth representation in LLMs
whether many (maybe even all) useful organisations of information and behaviour in a dynamic language might be constructed from a single primitive operation: n-way associative lookupquestion0.717
The central research question explored, by way of examples, throughout the paper.
We hypothesize that a similar 'brutal' and purely geometric process always occurs somewhere in other kinds of unfolding that generate living order — in poetry, dance, social structure, planning, and family relationships.hypothesis0.717
Extends the brutal geometry thesis beyond architecture into all creative and social domains; acknowledged as not yet confirmed with certainty