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.
References
D. Angluin, Queries and concept learning, Machine Learning, 2:319–342, 1988.
D. Angluin, M. Frazier, and L. Pitt, Learning conjunctions of Horn clauses, Machine Learning, 9:147–164, 1992.
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.
S. Ceri, G. Gottlob, and L. Tanca, Logic Programming and Databases, Springer, 1990.
Y. Crama, P. L. Hammer, and T. Ibaraki, Cause-effect relationships and partially defined Boolean functions, Annals of Operations Research, 16:299–326, 1988.
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.
R. Dechter and J. Pearl, Structure identification in relational data, Artificial Intelligence, 58:237–270, 1992.
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.
M. Golumbic, P.L. Hammer, P. Hansen, and T. lbaraki (eds), Annals of Mathematics and Artificial Intelligence (1): Horn Logic, Search, and Satisfiability, 1990.
P. L. Hammer and A. Kogan, Optimal compression of propositional Horn knowledge bases: Complexity and approximation, Art. Intelligence, 64:131–145, 1993.
P. L. Hammer and A. Kogan: Quasi-acyclic propositional Horn knowledge bases: optimal compression. IEEE TKDE, 7(5):751–762, 1995.
H. A. Kautz, M. J. Kearns, and B. Selman, Horn approximations of empirical data, Artificial Intelligence, 74:129–145, 1995.
K. Makino, K. Hatanaka, and T. Ibaraki, Horn extensions of a partially defined Boolean function, RUTCOR RRR 27-95, Rutgers University, 1995.
B. Selman and H. Kautz, Knowledge compilation using Horn approximations, Proc. AAAI '90,904–909, 1990.
B. Selman and H. J. Levesque, Support set selection for abductive and default reasoning, Artificial Intelligence, 82:259–272, 1996.
L. G. Valiant, A theory of the learnable, Comm. ACM, 27:1134–1142, 1984.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Eiter, T., Ibaraki, T., Makino, K. (1997). Two-face horn extensions. In: Leong, H.W., Imai, H., Jain, S. (eds) Algorithms and Computation. ISAAC 1997. Lecture Notes in Computer Science, vol 1350. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-63890-3_13
Download citation
DOI: https://doi.org/10.1007/3-540-63890-3_13
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63890-2
Online ISBN: 978-3-540-69662-9
eBook Packages: Springer Book Archive