Representation of research hypotheses

Larisa N Soldatova, Andrey Rzhetsky

Allbwn ymchwil: Cyfraniad at gyfnodolynErthygl

20 Dyfyniadau(SciVal)
147 Wedi eu Llwytho i Lawr (Pure)

Crynodeb

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.
Iaith wreiddiolSaesneg
Rhif yr erthyglS9
CyfnodolynJournal of Biomedical Semantics
Cyfrol2
Rhif cyhoeddiSuppl 2
Dynodwyr Gwrthrych Digidol (DOIs)
StatwsCyhoeddwyd - 01 Ion 2011

Ôl bys

Gweld gwybodaeth am bynciau ymchwil 'Representation of research hypotheses'. Gyda’i gilydd, maen nhw’n ffurfio ôl bys unigryw.

Dyfynnu hyn