Skip to main content
SpringerLink
Log in
Book cover

International Conference on Knowledge Science, Engineering and Management

KSEM 2015: Knowledge Science, Engineering and Management pp 147–153Cite as

Discovering Classes of Strongly Equivalent Logic Programs with Negation as Failure in the Head

  • Conference paper
  • First Online:

  • 2915 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 9403))

Abstract

In this paper, we apply Fangzhen Lin’s methodology of computer aided theorem discovery to discover classes of strongly equivalent logic programs with negation as failure in the head. Specifically, with the help of computers, we discover exact conditions that capture the strong equivalence between small sets of rules, which have potential applications in the theory and practice of logic programming. In the experiment, we extend the previous approach to semi-automatically generate plausible conjectures. We also show that it is possible to divide the original problem in simpler cases and combine their solutions in order to obtain the solution of the original problem.

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Inoue, K., Sakama, C.: Negation as failure in the head. The Journal of Logic Programming 35(1), 39–78 (1998)

    Article  MathSciNet  MATH  Google Scholar 

  2. Lin, F.: Finitely-verifiable classes of sentences. In: Proceedings of the 8th International Symposium on Logical Formalizations of Commonsense Reasoning (Commonsense 2007), pp. 89–94 (2007)

    Google Scholar 

  3. Lin, F., Chen, Y.: Discovering classes of strongly equivalent logic programs. In: Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI-2005), pp. 516–521 (2005)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Computer Science and Technology, University of Science and Technology of China, Hefei, China

    Jianmin Ji

Authors
  1. Jianmin Ji
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Jianmin Ji .

Editor information

Editors and Affiliations

  1. Chinese Academy of Sciences, Beijing, China

    Songmao Zhang

  2. Ludwig-Maximilians-Universität München, Munich, Germany

    Martin Wirsing

  3. Southwest University, Chongqing, China

    Zili Zhang

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer International Publishing Switzerland

About this paper

Cite this paper

Ji, J. (2015). Discovering Classes of Strongly Equivalent Logic Programs with Negation as Failure in the Head. In: Zhang, S., Wirsing, M., Zhang, Z. (eds) Knowledge Science, Engineering and Management. KSEM 2015. Lecture Notes in Computer Science(), vol 9403. Springer, Cham. https://doi.org/10.1007/978-3-319-25159-2_13

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-25159-2_13

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-25158-5

  • Online ISBN: 978-3-319-25159-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation