question
active
question:how-can-treelike-versus-relations-be-axiomatically-characterizedHow can treelike versus-relations be axiomatically characterized?
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.
- Central open question in evolutionary tree analysis: find axioms describing versus-relations derived from trees.
- Treelike versus-relations can be characterized by a single rule: wx | y, ¬wz | y → wx | z.finding0.871Empirical discovery via FCA that versus-relations on evolutionary tree leaves satisfy a single Horn rule with variables.
- Statement that the versus relation uniquely determines a tree.
- Author’s interpretive claim that the shared geometry is general and robust.
- DAS reveals that the neural network encodes abstract relational structure rather than raw input identities.
- Asserts that organismic identity is fundamentally a cognitive structure.
- The paper's finding that the alignment holds in both directions — from representation to behavior and from behavior back to representation space.
- Proposition 4.1, category-theoretic elucidation of śūnyatā.