finding

active

finding:elements-of-domains-form-partially-ordered-information-states-where-d-e-means-e-conveys-at-least-as-much-information-as-d

Elements of domains form partially ordered information states where d ⊑ e means 'e conveys at least as much information as d'.

Core intuition of Domain Theory: qualitative ordering of information states provides foundation for modeling computation without quantification.

Source paper

extracted_from

Abramsky, Samson

community

Design principles for care-centered systems
members_of
Cross-scale frameworks linking spatial patterns, diagrams, and simplicity as expressions of care in design.
Holistic information structure and relational wholeness
members_of
Framework treating wholes as primary with parts defined through relationships; emphasizes information preservation through structure-preserving transformations and distributed emergence of organized systems.

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.

Partial orders naturally represent partial information states in computation.hypothesis0.798
Foundational hypothesis of Domain Theory: partial order structure (D, ⊑) captures information ordering without quantification.
The information contained in the formal context is preserved when transformed into a concept lattice.claim0.746
The meaning of information is modulated by its use.claim0.744
Claim referencing Wittgenstein and later work that meaning of information depends on context.
Delta^n with Bayesian order is a domain and Shannon entropy is a measurementfinding0.734
The set of classical probability distributions, ordered by Bayesian projections, forms a dcpo with least element the uniform distribution and max elements pure states; Shannon entropy is a measurement of type Delta^n -> [0,∞).
The information contained in the formal context is preserved.claim0.731
Ganter's assertion that concept lattice transformation does not lose information from the original formal context.
Each expression denotes something, depending only on denotations of subexpressions.claim0.726
Property of denotative programming from Landin.
The first words placed define the space; every subsequent element is in relation to this initiating actclaim0.725
The formal concepts with frequent intent form an order filter in the concept lattice, called the iceberg.claim0.723
Definition/claim about iceberg lattices.