Simplifying A Logic Program Using Its Consequences

Ji, Jian-Min; Wan, Hai; Huo, Ziwei; Yuan, Zhenfeng

Simplifying A Logic Program Using Its Consequences

Jian-Min Ji, Hai Wan, Ziwei Huo, Zhenfeng Yuan

Download BibTeX Cite

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence. Special Track on Knowledge Representation and Reasoning. Pages 3069-3074.

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.

Jian-Min Ji, Hai Wan, Ziwei Huo, and Zhenfeng Yuan. 2015. Simplifying A Logic Program Using Its Consequences. In Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI-15. IJCAI, 3069–3074. https://ijcai.org/proceedings/2015/433

@inproceedings{ijcai2015p433,
  title     = {Simplifying A Logic Program Using Its Consequences},
  author    = {Ji, Jian-Min and Wan, Hai and Huo, Ziwei and Yuan, Zhenfeng},
  booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on
               Artificial Intelligence, {IJCAI-15}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Qiang Yang and Michael Wooldridge},
  pages     = {3069--3074},
  year      = {2015},
  month     = {7},
  note      = {Special Track on Knowledge Representation and Reasoning},
  url       = {https://ijcai.org/proceedings/2015/433},
}

TY  - CPAPER
TI  - Simplifying A Logic Program Using Its Consequences
AU  - Ji, Jian-Min
AU  - Wan, Hai
AU  - Huo, Ziwei
AU  - Yuan, Zhenfeng
T2  - Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI-15
PB  - International Joint Conferences on Artificial Intelligence
PY  - 2015
SP  - 3069
EP  - 3074
UR  - https://ijcai.org/proceedings/2015/433
ER  -