Projects per year
Abstract
This paper aims to develop a domain-independent system for repairing faulty Datalog-like theories by combining three existing techniques: abduction, belief revision and conceptual change. Accordingly, the proposed system is named the ABC repair system. Given an observed assertion and a current theory, abduction adds axioms which represent the simplest and most likely explanation. Belief revision incorporates a new piece of information which conflicts with the input theory by deleting axioms. Conceptual change uses the reformation algorithm for blocking unwanted proofs or unblocking wanted proofs. The former two techniques change an axiom as a whole, while reformation changes the language in which the theory is written. These three techniques are complementary: abduction adds new axioms, belief revision deletes conflicting axioms, while reformation changes the language of the theory. But they have not previously been combined into one system. We are working on aligning these three techniques in the ABC repair system, which is capable of repairing logical theories with better quality than individual techniques. Datalog is used as the underlying logic of theories in this paper, but the proposed system has the potential to be adapted to theories in other logics.
Original language | English |
---|---|
Title of host publication | 10th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management |
Place of Publication | Seville, Spain |
Publisher | SCITEPRESS |
Pages | 335-342 |
Number of pages | 8 |
Volume | 2 |
ISBN (Print) | 978-989-758-330-8 |
DOIs | |
Publication status | Published - Sept 2018 |
Event | 10th International Conference on Knowledge Engineering and Ontology Development - Seville, Spain Duration: 18 Sept 2018 → 20 Sept 2018 http://www.keod.ic3k.org/ |
Publication series
Name | |
---|---|
Publisher | SCITEPRESS |
ISSN (Electronic) | 2184-3228 |
Conference
Conference | 10th International Conference on Knowledge Engineering and Ontology Development |
---|---|
Abbreviated title | KEOD 2018 |
Country/Territory | Spain |
City | Seville |
Period | 18/09/18 → 20/09/18 |
Internet address |
Fingerprint
Dive into the research topics of 'ABC Repair System for Datalog-like Theories'. 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
Profiles
-
Alan Bundy
- School of Informatics - Professor
- Artificial Intelligence and its Applications Institute
- Data Science and Artificial Intelligence
Person: Academic: Research Active