Output details
11 - Computer Science and Informatics
University of Edinburgh
Article title
A Higher-Order Approach to Ontology Evolution in Physics
Type
D - Journal article
Title of journal
Journal on Data Semantics
Article number
-
Volume number
2
Issue number
4
First page of article
163
ISSN of journal
1861-2032
Year of publication
2013
Number of additional authors
2
Additional information
<22> Originality: The paper describes the GALILEO system for automated discovery of new Physics concepts by resolving conflicts between theories and experimental evidence. It is original in its successful application of a small number of repair plans across a diverse range of case studies.
Significance: The driving of concept formation from reasoning failure is opening up a new direction in belief revision, that complements the traditional approach of axiom deletion.
Rigour: The repair plans are formally defined and implemented in higher-order logic. Their sound application is assured by the use of the Isabelle proof assistant. GALILEO has been thoroughly experimentally tested.
Interdisciplinary
-
Cross-referral requested
-
Research group
A - Centre for Intelligent Systems & their Applications
Citation count
-
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
