"Mechanizing hypothesis formation: mathematical foundations for a general theory" - читать интересную книгу автора (P. Hajek, T. Havranek)