Towards a Unified Modeling and Knowledge-Representation based on Lattice Theory

With the proliferation of computers a variety of modeling paradigms emerged under computational intelligence and soft computing. It is shown how rigorous analysis and design can be pursued in soft computing using conventional (hard computing) methods. Moreover, non-Turing computation can be pursued.