Information Algebra - Axioms and Definition

Axioms and Definition

The axioms of the two-sorted algebra, in addition to the axioms of the lattice :

Semigroup
is a commutative semigroup under combination with a neutral element (representing vacuous information).
Distributivity of Focusing over Combination

To focus an information on combined with another information to domain, one may as well first focus the second information to and combine then.

Transitivity of Focusing

To focus an information on and, one may focus it to .

Idempotency

An information combined with a part of itself gives nothing new.

Support
such that

Each information refers to at least one domain (question).

A two-sorted algebra satisfying these axioms is called an Information Algebra.

Read more about this topic:  Information Algebra

Famous quotes containing the words axioms and/or definition:

    “I tell you the solemn truth that the doctrine of the Trinity is not so difficult to accept for a working proposition as any one of the axioms of physics.”
    Henry Brooks Adams (1838–1918)

    ... if, as women, we accept a philosophy of history that asserts that women are by definition assimilated into the male universal, that we can understand our past through a male lens—if we are unaware that women even have a history—we live our lives similarly unanchored, drifting in response to a veering wind of myth and bias.
    Adrienne Rich (b. 1929)