Computational Models of Scientific Discovery and Theory Formation · Study