What is Automated Reasoning

Nowadays, there is an increasing number of applications where artificial intelligence has fuelled the research and development of new methods, techniques, and tools related to knowledge acquisition and data mining. The development of data mining and other related disciplines has benefited from the existence of large volumes of data proceeding from the most diverse sources and domains. KDD process and methods of data mining allows for the discovery of knowledge in data that is hidden to humans, presenting this knowledge under different ways. In this chapter, the relation of data mining with other disciplines is analyzed, an overview of data mining tasks and methods is presented, and also a possible classification of them is given. Finally, a brief discussion on issues associated to the discipline and future research directions are also given.