Repairing inconsistent answer set programs using rules of thumb: a gene regulatory networks case study

Merhej, Elie, Schockaert, Steven ORCID: https://orcid.org/0000-0002-9256-2881 and De Cock, Martine 2017. Repairing inconsistent answer set programs using rules of thumb: a gene regulatory networks case study. International Journal of Approximate Reasoning 83 , pp. 243-264. 10.1016/j.ijar.2017.01.012

Preview

PDF - Accepted Post-Print Version Available under License Creative Commons Attribution Non-commercial No Derivatives. Download (456kB) | Preview

Abstract

Answer set programming is a form of declarative programming that can be used to elegantly model various systems. When the available knowledge about these systems is imperfect, however, the resulting programs can be inconsistent. In such cases, it is of interest to find plausible repairs, i.e. plausible modifications to the original program that ensure the existence of at least one answer set. Although several approaches to this end have already been proposed, most of them merely find a repair which is in some sense minimal. In many applications, however, expert knowledge is available which could allow us to identify better repairs. In particular, we consider the scenario where this expert knowledge is formulated as rules of thumb, but no training data is available to learn how these rules of thumb interact. The main question we address in this paper is whether we can then still aggregate the rules of thumb in a useful way. In addition to standard aggregation techniques, we present a novel statistical approach that assigns weights to these rules of thumb, by sampling, in a particular way, from a pool of possible repairs. In particular, we evaluate how frequently each given rule of thumb is violated in the sample of repairs, and use the Z-score of this distribution to set the weight of that rule. We analyze the potential of using expert knowledge in this way, by focusing on a specific case study: Gene Regulatory Networks. We describe the rules of thumb that express available expert knowledge from the biological literature and explain how they can be encoded while repairing inconsistencies. Finally, we experimentally compare the proposed repair strategies using rules of thumb against the baseline strategy of identifying minimal repairs.

Item Type:	Article
Date Type:	Publication
Status:	Published
Schools:	Computer Science & Informatics
Subjects:	Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Uncontrolled Keywords:	Answer set program; Gene regulatory network; Inconsistency repair; Rule of thumb; Aggregation method
Publisher:	Elsevier
ISSN:	0888-613X
Funders:	ERC
Date of First Compliant Deposit:	9 March 2017
Date of Acceptance:	25 January 2017
Last Modified:	23 Nov 2024 18:45
URI:	https://orca.cardiff.ac.uk/id/eprint/98866

Citation Data

Cited 7 times in Scopus. View in Scopus. Powered By Scopus® Data

Actions (repository staff only)

Edit Item