权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

Ontology Evolution in Physics

物理学本体论演化

基本信息

批准号：
EP/G000700/1
负责人：
Alan Bundy
金额：
$ 48.6万
依托单位：
University of Edinburgh
依托单位国家：
英国
项目类别：
Research Grant
财政年份：
2008
资助国家：
英国
起止时间：
2008 至无数据
项目状态：
已结题

来源：
https://gtr.ukri.org/projects?ref=EP%2FG000700%2F1
关键词：
Ontology Evolution Physics

项目摘要

A computer can be programmed to reason automatically by constructing an ontology in which to represent both some knowledge and the rules to derive new knowledge from old. An ontology is a mathematical formalism. Most ontologies are built manually for a particular reasoning task. Successful reasoning depends on striking a compromise between the expressiveness of the representation and the efficiency of the reasoning process. If either the reasoning environment or the goals subsequently change, then the reasoning process is likely to fail because the ontology is no longer well suited to its task. Many modern applications of automated reasoning need to work in a changing environment with changing goals. Their reasoning systems need to adapt to these changes automatically. In particular, their ontologies need to evolve automatically. It is not enough to remove from or add to the beliefs of the ontology. It is necessary to change its underlying formal language. Our group has pioneered work in this new area of research. Our techniques involve diagnosis of faults in an existing ontology and then repairing these faults. In this project we propose to apply and develop our techniques in the domain of Physics. This is an excellent domain because many of its most seminal advances can be seen as ontology evolution, i.e. changing the way that physicists view the world. These changes are often triggered by a contradiction between existing theory and experimental observation. These contradictions, their diagnosis and the resulting repairs have usually been well documented by historians of science, providing us with a rich vein of case studies for the development and evaluation of our techniques. We face some tricky technical challenges in (a) dealing with the large number of choices in diagnosis and repair and (b) filling in some undefined blanks in some of the repair operations. To solve these challenges we propose to compose together a number of diagnosis and repair operations into what we call repair plans. We have already experimented with two such repair plans, which we call Where's my stuff? and Inconstancy . The first works by dividing some stuff into visible, invisible and total stuff. We have applied Where's my stuff? to case studies as diverse as the discovery of latent heat and the speculation of dark matter. The second works by making some stuff dependent on a variable on which it was previously thought not to depend. This plan is being applied to Modified Newtonian Mechanics (MoND -- an alternative to dark energy) and to the gas laws. Our proposal is to extend this pilot study by looking at a much wider range of case studies, developing more repair plans and evaluating their performance on a test set of case studies.We hope to show that a small set of repair plans can successfully account for a large number of case studies. We will use this work as a basis to develop a theory of ontology evolution that we intend to be applicable outwith the Physics domain.

计算机可以被编程为通过构建一个本体来自动推理，在本体中表示一些知识和从旧知识推导出新知识的规则。本体论是一种数学形式主义。大多数本体都是为特定推理任务手动构建的。成功的推理取决于在表示的表达性和推理过程的效率之间达成妥协。如果推理环境或目标随后发生变化，那么推理过程可能会失败，因为本体不再适合其任务。自动推理的许多现代应用程序需要在不断变化的环境和不断变化的目标中工作。他们的推理系统需要自动适应这些变化。特别是，它们的本体需要自动演化。仅仅删除或增加本体论的信念是不够的。有必要改变其底层的形式语言。我们的小组在这个新的研究领域开创了先河。我们的技术涉及诊断现有本体中的故障，然后修复这些故障。在这个项目中，我们建议在物理领域应用和开发我们的技术。这是一个极好的领域，因为它的许多最具开创性的进步可以被视为本体论的进化，即改变物理学家看待世界的方式。这些变化往往是由现有理论与实验观察之间的矛盾引发的。这些矛盾、它们的诊断以及由此产生的修复通常已被科学史学家详细记录，为我们技术的开发和评估提供了丰富的案例研究。我们面临一些棘手的技术挑战：（a）处理诊断和修复中的大量选择以及（b）填补一些修复操作中的一些未定义的空白。为了解决这些挑战，我们建议将许多诊断和维修操作组合在一起，形成我们所说的维修计划。我们已经尝试过两个这样的修复计划，我们称之为“我的东西在哪里？”和反复无常。第一个方法是将一些东西分为可见的、不可见的和总体的东西。我们已经申请了我的东西在哪里？到潜热的发现和暗物质的推测等各种案例研究。第二种方法的工作原理是让一些东西依赖于一个之前被认为不依赖的变量。该计划正应用于修正牛顿力学（MoND——暗能量的替代品）和气体定律。我们的建议是通过研究更广泛的案例研究、制定更多的修复计划并评估其在案例研究测试集上的性能来扩展这项试点研究。我们希望表明，一小部分修复计划可以成功地解释大量的案例研究。我们将使用这项工作作为基础来发展本体论进化理论，我们打算将其应用于物理领域之外。