Edinburgh Research Explorer

The Use of Max-Sat for Optimal Choice of Automated Theory Repairs

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Related Edinburgh Organisations

Open Access permissions

Open

Documents

  • Download as Adobe PDF

    Accepted author manuscript, 279 KB, PDF document

    Licence: Creative Commons: Attribution (CC-BY)

  • Download as Adobe PDF

    Other version, 317 KB, PDF document

    Licence: Creative Commons: Attribution (CC-BY)

https://link.springer.com/chapter/10.1007/978-3-030-63799-6_4
Original languageEnglish
Title of host publicationArtificial Intelligence XXXVII (SGAI 2020)
EditorsMax Bramer, Richard Ellis
PublisherSpringer, Cham
Pages49-63
Number of pages15
ISBN (Electronic)978-3-030-63799-6
ISBN (Print)978-3-030-63798-9
DOIs
Publication statusPublished - 8 Dec 2020
EventFortieth SGAI International Conference on Artificial Intelligence - A virtual conference, Cambridge, United Kingdom
Duration: 8 Dec 202017 Dec 2020
http://www.bcs-sgai.org/ai2020/

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume12498
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349
NameLecture Notes in Artificial Intelligence
PublisherSpringer
Volume12498

Conference

ConferenceFortieth SGAI International Conference on Artificial Intelligence
Abbreviated titleAI-2020
CountryUnited Kingdom
CityCambridge
Period8/12/2017/12/20
Internet address

Abstract

The ABC system repairs faulty Datalog theories using a combination of abduction, belief revision and conceptual change via reformation. Abduction and Belief Revision add/delete axioms or delete/add preconditions to rules, respectively. Reformation repairs them by changing the language of the faulty theory. Unfortunately, the ABC system overproduces repair suggestions. Our aim is to prune these suggestions to leave only a Pareto front of the optimal ones. We apply an algorithm for solving Max-Sat problems, which we call the Partial Max-Sat algorithm, to form this Pareto front

    Research areas

  • Faulty logical theory repair, Max-Sat, Reformation, Belief revision, Abduction, Datalog theories, Automated theorem proving

Event

Fortieth SGAI International Conference on Artificial Intelligence

8/12/2017/12/20

Cambridge, United Kingdom

Event: Conference

Download statistics

No data available

ID: 165677061