question

active

question:characterize-treelike-versus-relations-can-this-perhaps-be-done-automatically

Characterize treelike versus-relations! Can this perhaps be done automatically?

Central open question in evolutionary tree analysis: find axioms describing versus-relations derived from trees.

Source paper

extracted_from

(2006) · Ganter, Bernhard

finding

Treelike versus-relations can be characterized by a single rule: wx | y, ¬wz | y → wx | z.
answered_bygates
Empirical discovery via FCA that versus-relations on evolutionary tree leaves satisfy a single Horn rule with variables.

method

Attribute Exploration
gates
Interactive algorithm for discovering complete implicational knowledge by computing stem base and seeking counterexamples.
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.

How can treelike versus-relations be axiomatically characterized?question0.872
The tree structure can be reconstructed from its versus relation.claim0.793
Statement that the versus relation uniquely determines a tree.
Versus-Relationconcept0.747
Ternary relation xy|z defined on leaves of a tree as z ≰ x ∨ y; encodes the structure of evolutionary trees.
Can we characterize polynomial-time computation and other complexity classes in such terms?question0.738
Hoping for machine-independent, geometrical characterizations of complexity classes via interaction models.
How might the text behave otherwise?question0.722
Opens up imaginative alternatives to conventional layout.
The relatedness through which I feel that my own self and the tree in the field are directly connected is the most fundamental relation that there is.quote0.719
Load-bearing statement of the primacy of relatedness.
When it is not okay, how can we prevent divergent representations from occurring?question0.719
Third core research question motivating the CL loss approach in Section 5
With/without comparison test for helping relationmethod0.718
A practical test to determine if center B helps center A by comparing the life of A with and without B.