Classification of partially observable systems

Our logical ontology provides us with the means to classify abstract fully observable systems such as combinatorial games. This approach places mathematical entities into an advanced ontology that includes lists, sets, relations, and algebraic structures among others. Partially observable systems such as spacetime provide us with the conundrum of determining how to classify and identify entities based upon uncertain and limited perceptual information on the external environment.

It is my contention that the methods of mathematical logic should be extended to deal with partially observable systems by providing the means to classify entities based upon a limited set of observations about them. Given a partially observable system the process of classification involves taking the environment and classifying it as an entity and then receiving additional information and using that to further specify the class of our environment.

Given our observations we deduce that physical reality is composed of galaxies, star systems, planets, molecules, atoms, subatomic particles, and various other classes of concrete entities. All of these different concrete entities are parts of the universe in the logical mereology. The universe is the top level entity in the mereology and all other instances of concrete entities are parts of it.