concept
active
concept:implicationimplication
Implication A → B holds in a formal context iff every object that has all attributes in A also has all in B.
Neighborhood — ranked by edge-count
Claims (1)
claim
- Implications are nice, clauses are not.associated_withAssertion about the practical advantages of implications over full propositional clauses.
Concepts (4)
concept
- Implication (A → B)related_to
- Stem Baseassociated_withCanonical minimal generating set for the implicational theory of a formal context; sound, complete, and of minimal cardinality.
- Formal Contextassociated_withBasic data type in FCA consisting of a triple (G, M, I) representing objects, attributes, and incidence relations.
- Armstrong rulesassociated_withSimple inference rules for implications in formal contexts.
Artifacts (1)
artifact
- Slide deck tutorial on Formal Concept Analysis by Bernhard Ganter presented at Dresden ICCL Summer School, June/July 2006.
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.
- The set of objects A of a formal concept (A,B).
- Multiple possible meanings for words like Alice, disambiguated by context; harder when grammar and meaning intertwine
- The expected conditional entropy of outcomes given hidden states; lowering ambiguity favors states that solicit unambiguous observations.
- Legal or social duties incurred through speech acts like promises, important for commercial programs.
- Process by which organism's material states and internal dynamics realize variational inference through action
- Graded notion of causal abstraction measured by IIA; when IIA is alpha < 100%, the model is alpha-on-average approximately abstract.
- Methodological principle applied to favor identity over correlation between signed evaluation and felt valence
- The property that living structures contain intense contrast—far more than one imagines helpful; true opposites which annihilate each other when superimposed, creating differentiation that gives birth to something; contrast unifies rather than separates when used correctly