{"type":"ScholarlyArticle","title":"Simplifying A Logic Program Using Its Consequences","authors":[{"name":"Jian-Min Ji","slug":"jian-min-ji","given":"Jian-Min","family":"Ji","affiliation":""},{"name":"Hai Wan","slug":"hai-wan","given":"Hai","family":"Wan","affiliation":""},{"name":"Ziwei Huo","slug":"ziwei-huo","given":"Ziwei","family":"Huo","affiliation":""},{"name":"Zhenfeng Yuan","slug":"zhenfeng-yuan","given":"Zhenfeng","family":"Yuan","affiliation":""}],"abstract":"A consequence of a logic program is a consistent set of literals that are satisfied by every answer set. The well-founded model is a consequence that can be used to simplify the logic program. In this paper, we extend the notion of well-founded models to consequences for simplifying disjunctive logic programs (DLPs) in a general manner. Specifically, we provide two main notions, strong reliable set and weak reliable set, and show that a DLP is strongly equivalent to the simplified program if and only if the consequence is a strong reliable set, and they have the same answer sets if and only if the consequence is a weak reliable set. Then we provide computational complexity on identifying both notions. In addition, we provide an algorithm to compute some strong reliable sets and show that the approach is an extension of the well-founded model in simplifying logic programs.","doi":null,"url":"https://ijcai.org/proceedings/2015/433","pdf":"https://ijcai.org/proceedings/2015/0433.pdf","markdown":"https://ijcai.org/proceedings/2015/433.md","bibtex":"https://ijcai.org/proceedings/2015/bibtex/433","volume":{"slug":"2015","title":"Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2015","url":"https://ijcai.org/proceedings/2015/","year":2015,"location":"Buenos Aires, Argentina","dates":"25–31 July 2015","editors":"Qiang Yang and Michael Wooldridge","isbn":"978-1-57735-738-4","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Special Track on Knowledge Representation and Reasoning","track":"Special Track on Knowledge Representation and Reasoning","number":433,"pages":{"first":3069,"last":3074},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}