Please use this identifier to cite or link to this item:
Title: Representation of research hypotheses
Authors: Soldatova, L
Rzhetsky, A
Keywords: Research hypotheses
Issue Date: 2011
Publisher: BioMed Central
Citation: Journal of Biomedical Semantics, 1(1): S7, 2011
Abstract: Background: Hypotheses are now being automatically produced on an industrial scale by computers in biology, e.g. the annotation of a genome is essentially a large set of hypotheses generated by sequence similarity programs; and robot scientists enable the full automation of a scientific investigation, including generation and testing of research hypotheses. Results: This paper proposes a logically defined way for recording automatically generated hypotheses in machine amenable way. The proposed formalism allows the description of complete hypotheses sets as specified input and output for scientific investigations. The formalism supports the decomposition of research hypotheses into more specialised hypotheses if that is required by an application. Hypotheses are represented in an operational way – it is possible to design an experiment to test them. The explicit formal description of research hypotheses promotes the explicit formal description of the results and conclusions of an investigation. The paper also proposes a framework for automated hypotheses generation. We demonstrate how the key components of the proposed framework are implemented in the Robot Scientist “Adam”. Conclusions: A formal representation of automatically generated research hypotheses can help to improve the way humans produce, record, and validate research hypotheses.
Description: © 2011 Soldatova et al; licensee BioMed Central Ltd.
ISSN: 2041-1480
Appears in Collections:Publications
Dept of Computer Science Research Papers

Files in This Item:
File Description SizeFormat 
Fulltext.pdf1.2 MBAdobe PDFView/Open

Items in BURA are protected by copyright, with all rights reserved, unless otherwise indicated.