Evolving Scientific Knowledge

The generation of new, useful knowledge is the mission of scientists. In the data mining area researchers try to find interesting new knowledge about data [1, 2]. Especially in text mining interesting knowledge is extracted from texts [3]. Automated theorem proving aims at finding automatically theorems and proofs [4]. Genetic programming is used for automatically generating new programs [5]. To find new and interesting knowledge automatically, a system should be “computational intelligent” as much as possible.