自动化科学Automating Science |
|
课程网址: | http://videolectures.net/mlsb09_king_asci/ |
主讲教师: | Ross D. King |
开课单位: | 曼彻斯特大学 |
开课时间: | 2009-10-05 |
课程语种: | 英语 |
中文简介: | 科学的基础是假设演绎方法和足够详细的实验记录,以实现再现性。我们报告了机器人科学家“亚当”的发展,它促进了两者的自动化。 Adam自主生成关于酵母酿酒酵母的功能基因组学假设,并使用实验室自动化实验测试了这些假设。我们通过手工实验证实了亚当的结论。为了描述亚当的研究,我们开发了一种本体论和逻辑语言。由此产生的形式化涉及超过10,000个不同的研究单元,这些研究单元位于嵌套树状结构中,十个等级深度,将660万个生物量测量值与其逻辑描述相关联。这种形式化描述了机器如何发现新的科学知识。以这种方式描述科学研究开辟了应用机器学习和数据挖掘来发现新知识的新机会。 |
课程简介: | The basis of science is the hypothetico-deductive method and the recording of experiments in sufficient detail to enable reproducibility. We report the development of the Robot Scientist "Adam" which advances the automation of both. Adam has autonomously generated functional genomics hypotheses about the yeast Saccharomyces cerevisiae, and experimentally tested these hypotheses using laboratory automation. We have confirmed Adam's conclusions through manual experiments. To describe Adam's research we have developed an ontology and logical language. The resulting formalization involves over 10,000 different research units in a nested tree-like structure, ten levelsdeep, that relates the 6.6 million biomass measurements to their logical description. This formalization describes how a machine discovered new scientific knowledge. Describing scientific investigations in this way opens up new opportunities to apply machine learning and data-mining to discover new knowledge. |
关 键 词: | 假设演绎; 机器人科学家; 基因组学假设 |
课程来源: | 视频讲座网 |
最后编审: | 2020-05-31:王勇彬(课程编辑志愿者) |
阅读次数: | 91 |