Projects per year
Abstract
An analogical blend is the formation of a new concept from two old ones, e.g., houseboat or boathouse from house and boat, depending on whether you align the boat with the house or its occupant. This process can be automated via the colimit algorithm from Category Theory, applied to two ontologies, plus an initial alignment between their terms. Analogical blends are often faulty, e.g. inconsistent or incomplete, so need to be repaired. Reformation is an algorithm we have developed for the diagnosis and repair of faulty ontologies. It is an adaption of the unication algorithm. Unication steps are paired. Paired steps both apply to input in the same syntactic form, but with inverse pre-conditions: one step leading to success and one to failure. Faulty ontologies can be repaired by analysis of either the derivation of false conjectures or the failed proofs of true conjectures. A key unication step is inverted by changing a failed step into a successful one, or vice versa. This is realised by changing the ontology so
that its partner step in the pair is triggered instead of it. We are investigating the application of reformation to the diagnosis and repair of faulty analogical blends.
Both colimit and reformation are generic algorithms that have widespread applications. One such application is the alignment and merging of ontologies. Given an initial alignment, a merger can be generated as an analogical blend using the colimit algorithm. Inference may then show this blend to be faulty. Reformation can suggest a realignment that produces a different blend which repairs the fault. Several iterations of this repair process may be required.
that its partner step in the pair is triggered instead of it. We are investigating the application of reformation to the diagnosis and repair of faulty analogical blends.
Both colimit and reformation are generic algorithms that have widespread applications. One such application is the alignment and merging of ontologies. Given an initial alignment, a merger can be generated as an analogical blend using the colimit algorithm. Inference may then show this blend to be faulty. Reformation can suggest a realignment that produces a different blend which repairs the fault. Several iterations of this repair process may be required.
Original language | English |
---|---|
Title of host publication | UK Ontology Network 2016 |
Place of Publication | Newcastle |
Number of pages | 1 |
Publication status | Published - 14 Apr 2016 |
Event | UK Ontology Network 2016 - Newcastle University, Newcastle upon Tyne, United Kingdom Duration: 14 Apr 2016 → 14 Apr 2016 https://conferences.ncl.ac.uk/ukon2016/ |
Conference
Conference | UK Ontology Network 2016 |
---|---|
Abbreviated title | UKON 2016 |
Country/Territory | United Kingdom |
City | Newcastle upon Tyne |
Period | 14/04/16 → 14/04/16 |
Internet address |
Fingerprint
Dive into the research topics of 'The Use of Reformation to Repair Faulty Analogical Blends'. Together they form a unique fingerprint.Projects
- 1 Finished
-
The integration and interaction of multiple mathematical Reasoning Processes
Bundy, A. (Principal Investigator), Aspinall, D. (Co-Investigator (External)), Colton, S. (Co-Investigator (External)), Fleuriot, J. (Co-Investigator (External)), Gow, J. (Co-Investigator (External)), Grov, G. (Co-Investigator (External)), Ireland, A. (Co-Investigator (External)), Jackson, P. (Co-Investigator (External)), Mcneill, F. (Co-Investigator (External)), Michaelson, G. (Co-Investigator (External)) & Smaill, A. (Co-Investigator (External))
1/11/15 → 31/10/19
Project: Research