Exact epistemology, artificial intelligence and knowledge discovery in the life and social sciences