Formal logics of discovery and hypothesis formation by machine.

Petr Hájek Martin Holena

Published in: Theor. Comput. Sci. (2003)

Keyphrases

hypothesis formation
concept formation
expressive power
formal model
discovery process
knowledge discovery
formal methods
scientific discovery
batch processing
neural network
machine learning
logic programming
modal logic
inference rules
formal specification