Skip to main content

Learnability of exclusive-or expansion based on monotone DNF formulas

  • Conference paper
  • First Online:
Algorithmic Learning Theory (ALT 1996)

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

Included in the following conference series:

  • 171 Accesses

Abstract

The learnability of the class of exclusive-or expansion based on monotone DNF formulas is investigated. The class consists of the formulas of the form f=f1 ⊕ ... ⊕ fd, where f1 > ... > fd are monotone DNF formulas. It is shown that any Boolean function can be represented as an formula in this class, and that the representation in the simplest form is unique. Learning algorithms that learn such formulas using various queries are presented: An algorithm with subset and superset queries and one with membership and equivalence queries are given. The former can learn any formula in the class, while the latter is proved to learn formulas of bounded depth, i.e., formulas represented as exclusive-or of a constant number of monotone DNF formulas. In spite of seemingly strong restriction of the depth being constant, the class of formulas of bounded depth includes functions with very high complexity in terms of DNF and CNF representations, so the latter algorithm could learn Boolean functions significantly complex otherwise represented.

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

Access this chapter

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Dana Angluin. Queries and concept learning. Machine Learning, 2:319–342, 1988.

    Google Scholar 

  2. Nader H. Bshouty, Richard Cleve, Sampath Kannan, and Christino Tamon. Oracles and queries that are sufficient for exact learning. In Proceedings of the 7th Workshop on Computational Learning Theory, pages 130–139. Association for Computing Machinery, 1994.

    Google Scholar 

  3. Nader H. Bshouty. Exact learning via the monotone theory. In Proceedings of the 34th Annual IEEE Symposium on Foundations of Computer Science, pages 302–311. IEEE, 1993.

    Google Scholar 

  4. Nader H. Bshouty. Simple learning algorithm using divide and conquer. In Proceedings of the 8th Workshop on Computational Learning Theory, pages 447–453. Association for Computing Machinery, 1995.

    Google Scholar 

  5. David Helmbold, Robert Sloan, and Manfred Warmuth. Learning nested differences of intersection-closed concept classes. In Proceedings of the 2nd Workshop on Computational Learning Theory, pages 41–56, 1989.

    Google Scholar 

  6. A. A. Markov. On the Inversion Complexity of a System of Functions. J. ACM, 5, pages 331–334, 1958.

    Article  Google Scholar 

  7. Yoshifumi Sakai and Akira Maruoka. Learning monotone log-term DNF formulas. In Proceedings of the 7th Workshop on Computational Learning Theory, pages 165–172, 1994.

    Google Scholar 

  8. Yoshifumi Sakai, Eiji Takimoto, and Akira Maruoka. Proper learning algorithm for functions of k terms under smooth distributions. In Proceedings of the 8th Workshop on Computational Learning Theory, pages 206–213. ACM, 1995.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Setsuo Arikawa Arun K. Sharma

Rights and permissions

Reprints and permissions

Copyright information

© 1996 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Takimoto, E., Sakai, Y., Maruoka, A. (1996). Learnability of exclusive-or expansion based on monotone DNF formulas. In: Arikawa, S., Sharma, A.K. (eds) Algorithmic Learning Theory. ALT 1996. Lecture Notes in Computer Science, vol 1160. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61863-5_30

Download citation

  • DOI: https://doi.org/10.1007/3-540-61863-5_30

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-61863-8

  • Online ISBN: 978-3-540-70719-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics