A subclass of Horn CNFs optimally compressible in polynomial time

  • Endre Boros
  • Ondřej Čepek
  • Alexander Kogan
  • Petr Kučera
Article

Abstract

The problem of Horn Minimization (HM) can be stated as follows: given a Horn CNF representing a Boolean function f, find a shortest possible (optimally compressed) CNF representation of f, i.e., a CNF representation of f which consists of the minimum possible number of clauses. This problem is the formalization of the problem of knowledge compression for speeding up queries to propositional Horn expert systems, and it is known to be NP-hard. There are two subclasses of Horn functions for which HM is known to be solvable in polynomial time: acyclic and quasi-acyclic Horn functions. In this paper we define a new class of Horn functions properly containing both of the known classes and design a polynomial time HM algorithm for this new class.

Keywords

Horn functions Boolean minimization CQ functions Essential sets Exclusive sets 

Mathematics Subject Classifications (2010)

06E30 94C10 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Ausiello, G., D’Atri, A., Sacca, D.: Minimal representation of directed hypergraphs. SIAM J. Comput. 15, 418–431 (1986)MATHCrossRefMathSciNetGoogle Scholar
  2. 2.
    Boros, E., Čepek, O.: On the complexity of Horn minimization. RUTCOR Research Report RRR 1-94, Rutgers University, New Brunswick, NJ (1994)Google Scholar
  3. 3.
    Boros, E., Čepek, O., Kogan, A.: Horn minimization by iterative decomposition. Ann. Math. Artif. Intell. 23, 321–343 (1998)MATHCrossRefGoogle Scholar
  4. 4.
    Boros, E., Čepek, O., Kogan, A., Kučera, P.: Exclusive and essential sets of implicates of Boolean functions. Discrete Appl. Math. 158(2), 81–96 (2010)MATHCrossRefMathSciNetGoogle Scholar
  5. 5.
    Buning, H.K., Letterman, T.: Propositional Logic: Deduction and Algorithms. Cambridge University Press (1999)Google Scholar
  6. 6.
    Cadoli, M., Donini, F.M.: A survey on knowledge compilation. AI Commun. 10(3–4), 137–150 (1997)Google Scholar
  7. 7.
    Čepek, O.: Structural properties and minimization of Horn Boolean functions. Doctoral dissertation, Rutgers University, New Brunswick, NJ (1995)Google Scholar
  8. 8.
    Darwiche, A., Marquis, P.: A knowledge compilation map. J. Artif. Intell. Res. 17, 229–264 (2002)MATHMathSciNetGoogle Scholar
  9. 9.
    Dechter, R., Pearl, J.: Structure identification in relational data. Artif. Intell. 58, 237–270 (1992)MATHCrossRefMathSciNetGoogle Scholar
  10. 10.
    Delobel, C., Casey, R.G.: Decomposition of a data base and the theory of Boolean switching functions. IBM J. Res. Develop. 17, 374–386 (1973)MATHCrossRefMathSciNetGoogle Scholar
  11. 11.
    Dowling, W.F., Gallier, J.H.: Linear time algorithms for testing the satisfiability of propositional Horn formulae. J. Log. Program. 3, 267–284 (1984)CrossRefMathSciNetGoogle Scholar
  12. 12.
    Eswaran, K.P., Tarjan, R.E.: Augmentation problems. SIAM J. Comput. 5, 653–665 (1976)MATHCrossRefMathSciNetGoogle Scholar
  13. 13.
    Garey, M.R., Johnson, D.S.: Computers and Intractability: A Guide to the Theory of NP-Completeness. W.H. Freeman and Company, San Francisco (1979)MATHGoogle Scholar
  14. 14.
    Genesereth, M.R., Nilsson, N.J.: Logical Foundations of Artificial Intelligence. Morgan Kaufmann, Los Altos, CA (1987)MATHGoogle Scholar
  15. 15.
    Hammer, P.L., Kogan, A.: Horn functions and their DNFs. Inf. Process. Lett. 44, 23–29 (1992)MATHCrossRefMathSciNetGoogle Scholar
  16. 16.
    Hammer, P.L., Kogan, A.: Horn function minimization and knowledge compression in production rule bases. RUTCOR Research Report RRR 8-92, Rutgers University, New Brunswick, NJ (1992)Google Scholar
  17. 17.
    Hammer, P.L., Kogan, A.: Optimal compression of propositional Horn knowledge bases: complexity and approximation. Artif. Intell. 64, 131–145 (1993)MATHCrossRefMathSciNetGoogle Scholar
  18. 18.
    Hammer, P.L., Kogan, A.: Knowledge compression—logic minimization for expert systems. In: Computers As Our Better Partners. Proceedings of the IISF/ACM Japan International Symposium, pp. 306–312. World Scientific, Singapore (1994)Google Scholar
  19. 19.
    Hammer, P.L., Kogan, A.: Quasi-acyclic propositional Horn knowledge bases: optimal compression. IEEE Trans. Knowl. Data Eng. 7(5), 751–762 (1995)CrossRefGoogle Scholar
  20. 20.
    Ibaraki, T., Kogan, A., Makino, K.: Functional dependencies in Horn theories. Artif. Intell. 108(1–2), 1–30 (1999)MATHCrossRefMathSciNetGoogle Scholar
  21. 21.
    Ibaraki, T., Kogan, A., Makino, K.: On functional dependencies in q-Horn theories. Artif. Intell. 131(1–2), 171–187 (2001)MATHCrossRefMathSciNetGoogle Scholar
  22. 22.
    Itai, A., Makowsky, J.A.: Unification as a complexity measure for logic programming. J. Log. Program. 4, 105–117 (1987)MATHCrossRefMathSciNetGoogle Scholar
  23. 23.
    Kautz, H., Kearns, M., Selman, B.: Forming concepts for fast inference. In: Proceedings of the Tenth National Conference on Artificial Intelligence (AAAI’92), pp. 786–793. AAAI, San Jose, CA (1992)Google Scholar
  24. 24.
    Maier, D.: Minimal covers in the relational database model. J. ACM 27, 664–674 (1980)MATHCrossRefMathSciNetGoogle Scholar
  25. 25.
    Minoux, M.: LTUR: a simplified linear time unit resolution algorithm for Horn formulae and computer implementation. Inf. Process. Lett. 29, 1–12 (1988)MATHCrossRefMathSciNetGoogle Scholar
  26. 26.
    Quine, W.: The problem of simplifying the truth functions. Am. Math. Mon. 59, 521–531 (1952)MATHCrossRefMathSciNetGoogle Scholar
  27. 27.
    Quine, W.: A way to simplify truth functions. Am. Math. Mon. 62, 627–631 (1955)MATHCrossRefMathSciNetGoogle Scholar
  28. 28.
    Raghavan, S.: A note on Eswaran and Tarjan’s algorithm for the strong connectivity augmentation problem. In: Golden, B.L., Raghavan, S., Wasil, E.A. (eds.) The Next Wave in Computing, Optimization, and Decision Technologies, pp. 19–26. Springer (2005)Google Scholar
  29. 29.
    Reiter, R., de Kleer, J.: Foundations of assumption-based truth maintenance systems: preliminary report. In: Proceedings of the Sixth National Conference on Artificial Intelligence (AAAI’87), pp. 183–189. AAAI, San Jose, CA (1987)Google Scholar
  30. 30.
    Selman, B., Kautz, H.: Knowledge compilation and theory approximation. J. ACM 43(2), 193–224 (1996)MATHCrossRefMathSciNetGoogle Scholar
  31. 31.
    Tarjan, R.E.: Depth first search and linear graph algorithms. SIAM J. Comput. 2, 146–160 (1972)CrossRefMathSciNetGoogle Scholar

Copyright information

© Springer Science+Business Media B.V. 2010

Authors and Affiliations

  • Endre Boros
    • 1
  • Ondřej Čepek
    • 2
    • 3
  • Alexander Kogan
    • 1
    • 4
  • Petr Kučera
    • 2
  1. 1.RUTCORRutgers UniversityNew BrunswickUSA
  2. 2.Department of Theoretical Computer Science and Mathematical LogicCharles UniversityPraha 1Czech Republic
  3. 3.Institute of Finance and Administration—VŠFSPraha 10Czech Republic
  4. 4.Department of Accounting and Information Systems, Rutgers Business SchoolRutgers UniversityNewarkUSA

Personalised recommendations