loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Xue Li ; Alan Bundy and Alan Smaill

Affiliation: CISA, School of Informatics, University of Edinburgh, 10 Crichton St, Edinburgh and U.K.

Keyword(s): Theory Repair, Automated Reasoning, Knowledge Representation, Abduction, Belief Revision, Conceptual Change, Datalog.

Related Ontology Subjects/Areas/Topics: Artificial Intelligence ; Domain Analysis and Modeling ; Knowledge Engineering and Ontology Development ; Knowledge Representation ; Knowledge-Based Systems ; Symbolic Systems

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. From the three repair technique candidates, 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 input theory by deleting old axioms from the input theory. 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 o ne 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. (More)

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 3.239.3.196

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Li, X.; Bundy, A. and Smaill, A. (2018). ABC Repair System for Datalog-like Theories. In Proceedings of the 10th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (IC3K 2018) - KEOD; ISBN 978-989-758-330-8; ISSN 2184-3228, SciTePress, pages 335-342. DOI: 10.5220/0006959703350342

@conference{keod18,
author={Xue Li. and Alan Bundy. and Alan Smaill.},
title={ABC Repair System for Datalog-like Theories},
booktitle={Proceedings of the 10th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (IC3K 2018) - KEOD},
year={2018},
pages={335-342},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006959703350342},
isbn={978-989-758-330-8},
issn={2184-3228},
}

TY - CONF

JO - Proceedings of the 10th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (IC3K 2018) - KEOD
TI - ABC Repair System for Datalog-like Theories
SN - 978-989-758-330-8
IS - 2184-3228
AU - Li, X.
AU - Bundy, A.
AU - Smaill, A.
PY - 2018
SP - 335
EP - 342
DO - 10.5220/0006959703350342
PB - SciTePress