# Lisp AI

## Saturday, May 30, 2015

## Thursday, April 30, 2015

## Monday, March 30, 2015

### To do

Explore the relation between algebraic set theory and set systems such as kolmogorov chain families and how these families produce sequences of members of the algebra of sets.

## Saturday, March 28, 2015

### Algebraic set theory

The theory of sets can be described by a boolean algebra equipped with a singleton function which converts between any atom in the boolean algebra into its corresponding member value. Sets can then be described within this algebraic structure entirely in terms of the join operation of the boolean algebra and the singleton function. This allows us to describe sets entirely in terms of algebraic set theory.

The only element in a boolean algebra which does not contain any atoms is the lower bound element of the boolean algebra. By using this lower bound element, the join operation of the boolean algebra, and the singleton function we can produce elements of the pure elements of the algebra. These pure elements correspond to the pure sets which we generally encounter in set theory. Some algebras of sets are limited to only pure elements and others are not.

The only element in a boolean algebra which does not contain any atoms is the lower bound element of the boolean algebra. By using this lower bound element, the join operation of the boolean algebra, and the singleton function we can produce elements of the pure elements of the algebra. These pure elements correspond to the pure sets which we generally encounter in set theory. Some algebras of sets are limited to only pure elements and others are not.

## Saturday, February 28, 2015

### Atoms of a lattice

Given a distributive lattice then we can determine that the atoms of that lattice are those elements that cover the lower bound of that lattice. In other words they are the singleton elements of that lattice. For example in the case of the lattice of sets under inclusion the atoms of that lattice are the singleton sets. The atoms of a lattice play an interesting role in the description of that lattice.

In the case of the lattice of sets we find that any given entity can be converted to a singleton set containing only that entity and likewise any singleton set containing only a single entity can be converted into back into that entity. This means that the function to convert entities into singleton sets is a one to one correspondence. This singleton function is not described by the order on the sets so it is outside of the underlying order theory. A lattice ordered structure can be extended with such a singleton function to be produced a more advanced structure of this sort.

In the case of the lattice of sets we find that any given entity can be converted to a singleton set containing only that entity and likewise any singleton set containing only a single entity can be converted into back into that entity. This means that the function to convert entities into singleton sets is a one to one correspondence. This singleton function is not described by the order on the sets so it is outside of the underlying order theory. A lattice ordered structure can be extended with such a singleton function to be produced a more advanced structure of this sort.

## Thursday, January 1, 2015

### 2014 year in review

Within the year 2014 I maintained my focus on order theory and then I began to examine set systems which are equivalent to suborders of a boolean algebra. Being a suborder each set system is partially ordered and each partial order can be embedded into a boolean algebra often in a variety of ways. In particular, given a partial order we can convert that partial order into the set system by taking the set of all sets of elements of principal ideals of that partial order. We can also convert that partial order into a distributive lattice by taking the set of lower sets though that does not preserve order. In this way the theory of set systems subsumes the theory of partial orders. Everything we can say about partial orders can also be expressed in terms of set systems. As a result of this fact, set systems became a primary concern of mine in the past year.

Through my exploration of set systems as suborders of boolean algebras I later came to consider suborders of other distributive lattices. In particular, we can consider suborders of distributive lattices that are defined by multiset inclusion. In this way we can examine the idea of multiset systems in addition to set systems. An interesting facet of the theory of multiset systems is that we can convert any ordered collection into a multiset system regardless of cardinality just as we can convert any ordered collection into a set system using the kuratowski pair. After considering the theory of suborders of distributive lattices like these we can generalize and then consider the theory of suborders of a partial order in general.

As the notion of set systems as suborders of a boolean algebra has been explored my ontology has continued to expand as these notions have been explored. As a result an ontology of set systems including a wide variety of classes of set systems has been produced including classes of set systems which are defined entirely by their order characteristics. In this way the ontology has expanded to deal with sets as well as sets whose members are all sets. These are distinguished from objects which are not ontologically classified as sets and sets which contain elements that are not classified as sets. As an ontology deals with sets and classes itself it is sensible that one of the most basic things to be classified in an ontology are such sets and classes. This is the approach that I am now taking to ontology engineering.

Through my exploration of set systems as suborders of boolean algebras I later came to consider suborders of other distributive lattices. In particular, we can consider suborders of distributive lattices that are defined by multiset inclusion. In this way we can examine the idea of multiset systems in addition to set systems. An interesting facet of the theory of multiset systems is that we can convert any ordered collection into a multiset system regardless of cardinality just as we can convert any ordered collection into a set system using the kuratowski pair. After considering the theory of suborders of distributive lattices like these we can generalize and then consider the theory of suborders of a partial order in general.

As the notion of set systems as suborders of a boolean algebra has been explored my ontology has continued to expand as these notions have been explored. As a result an ontology of set systems including a wide variety of classes of set systems has been produced including classes of set systems which are defined entirely by their order characteristics. In this way the ontology has expanded to deal with sets as well as sets whose members are all sets. These are distinguished from objects which are not ontologically classified as sets and sets which contain elements that are not classified as sets. As an ontology deals with sets and classes itself it is sensible that one of the most basic things to be classified in an ontology are such sets and classes. This is the approach that I am now taking to ontology engineering.

## Wednesday, December 31, 2014

### Structural specialization

There are a variety of cases in which it makes sense to preorder a set based upon the elements that it contains. One example is that with the set representation of a multiset the elements of the set include special multiple elements which are dependent upon previous multiples. Also algebraic structures like graphs have a specialization preorder associated with them in which edge elements are dependent upon the vertices that they contain. Multigraphs are a combination of these two notions as they can have multiples of edges which are dependent upon previous multiples of edges which are then dependent upon vertices.

A standard specialization relation can be provided that combines all these different notions of structures on sets into a single unified relation. This combined specialization relation will allow for all elements of distributive lattices to be treated like sets, multisets, and algebraic structures to be treated in a uniform way. This will then improve the handling of multisets and related structures like multigraphs so that they can be treated as a first class object in the algebra system.

A standard specialization relation can be provided that combines all these different notions of structures on sets into a single unified relation. This combined specialization relation will allow for all elements of distributive lattices to be treated like sets, multisets, and algebraic structures to be treated in a uniform way. This will then improve the handling of multisets and related structures like multigraphs so that they can be treated as a first class object in the algebra system.

Subscribe to:
Posts (Atom)