Using rules of thumb for repairing inconsistent answer set programs

Merhej, Elie, Schockaert, Steven ORCID: https://orcid.org/0000-0002-9256-2881 and De Cock, Martine 2015. Using rules of thumb for repairing inconsistent answer set programs. Presented at: SUM 2015: International Conference on Scalable Uncertainty Management, Quebec City, QC, Canada, 16-18 September 2015. Published in: Beierle, Christoph and Dekhtyar, Alex eds. Scalable Uncertainty Management: 9th International Conference, SUM 2015, Québec City, QC, Canada, September 16-18, 2015. Proceedings. Lecture Notes in Computer Science. , vol.9310 Springer Verlag, pp. 368-381. 10.1007/978-3-319-23540-0_25

Full text not available from this repository.

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 this paper, we analyze the potential of using expert knowledge in this way, by focusing on a specific case study: gene regulatory networks. We show how we can identify the repairs that best agree with insights about such networks that have been reported in the literature, and experimentally compare this strategy against the baseline strategy of identifying minimal repairs.

Item Type:	Conference or Workshop Item (Paper)
Date Type:	Publication
Status:	Published
Schools:	Computer Science & Informatics
Subjects:	Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Publisher:	Springer Verlag
ISBN:	9783319235394
ISSN:	0302-9743
Last Modified:	31 Oct 2022 10:25
URI:	https://orca.cardiff.ac.uk/id/eprint/84840

Citation Data

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

Actions (repository staff only)

Edit Item