The project has three closely-related aims:

computational modeling of scientific reasoning,
devising software methods to support scientific discovery in biomedicine, and
making actual biomedical discoveries.