Cognitive Dynamics
Congnitivism is a term related with the adquirement knowledge activity and recently has been a topic addressed by the computer sciences. Diciplines like Artificial Intelligence as well as other areas like psicology and mathematics, have been trying to explain in different ways how the cognitivist activity is developed in the human daily life, with the specific inttention to imitate or emulate it using computers.
About above, computation has had successful results using and inventing all kind of paradigms and methodologies to reproduce the processing information, adquiriment knowledge, making conclutions and taking desitions tasks.
How all these las process start? What kind of common and relevant aspects the different mental processes have? What kind of structures the mind use to process information? and maybe more important question is: How can we represent the knowledge in a computer environment and how can we use it imitating the brain procedures?
This research has as a goal to identify some important aspects about reasoning and cognitive process, and it is introduced as an attemp to explain how the knowledge in general can be embodied in computer systems based on the modeling process and explained how this overlaps the OOP.
This work starts explained the original motivation of the scientific method, this is, in general, to understand the universe. To do this, scientist use the very probed scientific method to produce knowledge. Once the kwnoledge is formed and stablished the question could be: how could we build proof environtments to experiment and testing phenomenon to generate real knowledge? One approach is to embody the information (the enviroment information) into abstract structures. How can we do this last? Generally the scientist use models, which are a very simplified representation of information and then, turn these models out in software structurs, variables, and procedures related by specific processes. All this work suggest that the person (the scientist) who make the modelation understand deeply enought the fenomenom as to build ideal structures that are capable to represent any element of knowledge in the software constructed.
The modelation ends with the contruction of a model that contains fully ,simplified but exact information about the tarjet system. But the experimentation phase could start when all this infomration get the shape of a computer program.
The final part of this project present an study case (DINAMICA IDE) as a real example of how it is possible from the experience of experts in dynamic systems analysis construct a specific domain environment oriented to this mathematical area.
Addtionally to this project is presented the next paper as the introduction of the modeling and transportation of the knowledge to the computation sciences.
In the next paragraphs is shown the ppt exposition of this project.
1: Alan Turing in one of he most famous papers asked: Can machines think? Beside the Alan response to this question the real question for the reader is: what is your personal response to this question?
2: The response's Turing is almost obvious considering that the original purpose of building computers is to help on make automatic intellectual human opperations. For him, is not altogether unresonable to describe digital computers as brains. Then, the response to the question about if the machines are capable to think is obvious. The question now is, if they are capable to think, how can they do this?
3: Turing himself repplied the question when he said that the secreat lies on the programation of the computer itself. With this statement Turing suggested that the computer is the physical architecture as long as the programation determines the processes, and altogether represent a very good approach of the thinking system.
4: in the same thought direction, in 2006 Szabolks wrote this book about the cognitive dynamics of computer sicence where he describe what similar the software design and the cognitive dynamic are. It is very interesting the fact that this book as dedicated by the author to Emmanuel Kant, one of the most great philosofer dedicated to the congnitivism.
5: It is really interesting what close and similar the Szabolcs and Turing phylosophies are. The intersection between this last two philosophers is that both think that the computer as well the software are very good approaches of the human thinking systems and that is possible to move the ideas and thoughts to a computer environtment with a high success degree.
6: Today computer and mathemics sciences have developed algorithms which represent the escense of the Turing statements and Szabolcs arguments: we can use the computers to help with intellectual actions, if and only if the algorithm is correct and possible to execute. To construct this kind of algorithms is necessary to have information enought and deeper understanding about the process or phenomenon subject of study.
7: Even Emanual Kant predicted that someday any phenomena will be explained in mathematics. Even this last is almost true (but not at all as NKS suggest) it is very close of the reality.
8: Last decade, Stephen Wolfram started with a new kind of experimentation which made him to find great results. One of the most interesting thing about his New kind of sciences are the statements he make in his book related with the use of the computers in the experimetation phase to study the real universe.
9: Like the new research deppens very much on the computers' help because it allow to today scientist to do things that never they could do before, he say: "all is computation". It is interesting also that like Turing and Szabolks, he agree with the fact that the it is possible to emulate the thinking activity using a computer in a appropiate way.
10: He said at this book the New Kind of Science that procedures in human brain and how the computer scientis have solved the information handling are so similar. This at the same time has an strong implication that represent a very highlighted intersection with the Szsbolcs contribution, but both, this last and Wolfram suggest, just like Turing, that the computer have been contructed imitating the human brain. And in scence, we are trying to imitate how our brains work, we are trying to understand the process, we abstract them, turn them on algorithms and then we implement them in computer programs. For this reason, maybe, Wofram conclude with two statements. First:
11: The principle of computational equivalence, and second:
12: The phenomenon if univesality. Wich altogether, makes me think that the thinking process it is suceptible to get emulated by the computer: an univesal system capable to get programmed. To do this, we have to carry modeling out, to have the abstraction ability, the understanding enought about phenomenon and its environtment and finaly to have the ability to transform the models and algorithms in computer programs.
After this brief prelude, some conclutions:
13: Computers and in general machines were constructed to help to the humans to make work in an easy or automatic way, including some intellectual work. Computers particulary were made to carry intelligent tasks out, for this reason, the Turing's approach about to consider the computers as brains is considerated correct in some levels. At the same time then, software represent an abstraction of the function and processes in the brain. And thanks to the computers universality, and what was said before, it is logical to transform the human experience and knowledge in software. About this, in a particular case, this research is about:
14: The principal objective of this research is to show how above discuse is carry out in a real case study. This is, to construct an IDE for the complex system anaysis it is necessarry to abstract not just specific algorithms, but all kind of information, this last due the extensive kind of factors that the complex systems consider, like processeses, functions, procedudures, methodologies, concepts, etc.
15: the particular pbjetive of this research is to show the modeling process aplied to the complex systems analysis, the abstraction information as escencial activity to construct software and the implementation of all of this with a programming language (C# .NET 2.0)
16: Under the last context, a global vision about this research could be:
It starts with a wide perspective of the science in general, the research activity specially focused to the complex systems study and the role of the modeling in any research area, but specially in this. Next, it is discused the big challenge of the complex systems study wich, scentialy consist on dificults of experimentation and data handling because the inherent dynamic of the phenomenon. Finaly is showed the study case: DINAMICA an IDE for rapid development of applications specialized on complex systems study.
17: First chapter shows how this was done, this is, how for many decades a kind of scientis have been spending their time trying to understand our universe. They have clasified the subject study systems as Dynamical systems, which change its status with the time.
By means all their effort, they noticed that the study of this Dynamical systems has common and particular issues. Then they have abstrac to them into algorithms which are suceptible to turn on computer programs.
But in a general view point, it is not just possible to construct just one program for a special dinamical system study. but you can make a program that could help to study almost any this kind of systems.
Even more, the generality of t his project make possible the fact to have a kind of software factory based on the experience abstraction phylosophy to construct any Specific domain environtment.
The result if this reserch was DINAMICA: an IDE for rapid software development which is presented detailed in this page also in other section. But in this document is presented the phylosophic part as the begining of the DINAMICA IDE construction.
The .pdf file of the first chapter and index is available to download in the downloading links in this page