Advertisement

Two-face horn extensions

  • Thomas Eiter
  • Toshihide Ibaraki
  • Kazuhisa Makino
Session 3B
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1350)

Abstract

A partially defined Boolean function (pdBf) (T, F) generalizes a Boolean function, by allowing that the function values on some inputs are unknown, where T, F ⊆ {0,1}n are disjoint sets of true and false vectors, respectively. A pdBf (T, F) often arises in conjunction with data analysis, and in such a case, it is natural and important to decide if (T, F) has an extension f : {0,1}n → {0,1} such that f(v) = 1 (resp., 0) for all χ ε T (resp., χ ε F). It may also be required that such an extension f is Horn, because the false set of a Horn function can be described by Horn rules (whose satisfiability problem can be solved in polynomial time). In this paper, we introduce two interesting restrictions of Horn functions, namely double and bidual Horn functions, because both true and false sets of such functions can be described by Horn-like rules, and furthermore, abduction, one of the basic operation of expert systems, for such functions can be done in polynomial time, whereas abduction for general Horn functions is NP-hard. Our main results show that deciding if a pdBf has extensions of such functions can be done in polynomial time.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    D. Angluin, Queries and concept learning, Machine Learning, 2:319–342, 1988.Google Scholar
  2. 2.
    D. Angluin, M. Frazier, and L. Pitt, Learning conjunctions of Horn clauses, Machine Learning, 9:147–164, 1992.Google Scholar
  3. 3.
    E. Boros, T. lbaraki, and K. Makino, Error-free and best-fit extensions of partially defined Boolean functions, RUTCOR RRR 14-95, Rutgers University, 1995; to appear in Information and Computation.Google Scholar
  4. 4.
    S. Ceri, G. Gottlob, and L. Tanca, Logic Programming and Databases, Springer, 1990.Google Scholar
  5. 5.
    Y. Crama, P. L. Hammer, and T. Ibaraki, Cause-effect relationships and partially defined Boolean functions, Annals of Operations Research, 16:299–326, 1988.Google Scholar
  6. 6.
    D. W. Dowling and J.H. Gallier, Linear-time algorithms for testing the satisfy-ability of propositional Horn formulae, J. Logic Programming, 3:267–284, 1984.Google Scholar
  7. 7.
    R. Dechter and J. Pearl, Structure identification in relational data, Artificial Intelligence, 58:237–270, 1992.Google Scholar
  8. 8.
    T. Eiter, T. Ibaraki, and K. Makino, Multi-Face Horn Functions, CD-TR 96/95, CD Lab for Expert Systems, TU Vienna, Austria, iii + 97 pages, 1996.Google Scholar
  9. 9.
    M. Golumbic, P.L. Hammer, P. Hansen, and T. lbaraki (eds), Annals of Mathematics and Artificial Intelligence (1): Horn Logic, Search, and Satisfiability, 1990.Google Scholar
  10. 10.
    P. L. Hammer and A. Kogan, Optimal compression of propositional Horn knowledge bases: Complexity and approximation, Art. Intelligence, 64:131–145, 1993.Google Scholar
  11. 11.
    P. L. Hammer and A. Kogan: Quasi-acyclic propositional Horn knowledge bases: optimal compression. IEEE TKDE, 7(5):751–762, 1995.Google Scholar
  12. 12.
    H. A. Kautz, M. J. Kearns, and B. Selman, Horn approximations of empirical data, Artificial Intelligence, 74:129–145, 1995.Google Scholar
  13. 13.
    K. Makino, K. Hatanaka, and T. Ibaraki, Horn extensions of a partially defined Boolean function, RUTCOR RRR 27-95, Rutgers University, 1995.Google Scholar
  14. 14.
    B. Selman and H. Kautz, Knowledge compilation using Horn approximations, Proc. AAAI '90,904–909, 1990.Google Scholar
  15. 15.
    B. Selman and H. J. Levesque, Support set selection for abductive and default reasoning, Artificial Intelligence, 82:259–272, 1996.Google Scholar
  16. 16.
    L. G. Valiant, A theory of the learnable, Comm. ACM, 27:1134–1142, 1984.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1997

Authors and Affiliations

  • Thomas Eiter
    • 1
  • Toshihide Ibaraki
    • 2
  • Kazuhisa Makino
    • 3
  1. 1.Institut für InformatikUniversität GießenGießenGermany
  2. 2.Department of Applied Mathematics and Physics, Graduate School of EngineeringKyoto UniversityKyotoJapan
  3. 3.Department of Systems and Human Science, Graduate School of Engineering ScienceOsaka UniversityToyonaka, OsakaJapan

Personalised recommendations