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:

    The axioms of physics translate the laws of ethics. Thus, “the whole is greater than its part;” “reaction is equal to action;” “the smallest weight may be made to lift the greatest, the difference of weight being compensated by time;” and many the like propositions, which have an ethical as well as physical sense. These propositions have a much more extensive and universal sense when applied to human life, than when confined to technical use.
    Ralph Waldo Emerson (1803–1882)

    One definition of man is “an intelligence served by organs.”
    Ralph Waldo Emerson (1803–1882)