Abstract
This paper is concerned with the problem of finding a hypothesis in TP 2 consistent with given positive and negative examples. The hypothesis class TP 2 consists of all the sets of at most two tree patterns and represents the class of unions of at most two tree pattern languages. Especially, we consider the problem from the point of view of the consistency problem for TP 2. The consistency problem is a problem to decide whether there exists a consistent hypothesis with given positive and negative data within some fixed hypothesis space. Efficient solvability of that problem is closely related to the possibility of efficient machine learning or machine discovery. Unfortunately, however, the consistency problem is known to be NP-complete for many hypothesis spaces, including the class TP 2. In order to overcome this computational hardness, in this paper, we try to use additional information obtained by making queries. First, we give an algorithm that, using restricted subset queries, solves the consistency problem for TP 2 in time polynomial in the total size of given positive and negative examples. Next, we show that each subset query made by the algorithm can be replaced by several membership queries under some condition on a set of function symbols. As a result, we have that the consistency problem for TP 2 is solved in polynomial time using membership queries.
Preview
Unable to display preview. Download preview PDF.
References
D. Angluin. Queries and concept learning. Machine Learning, 2(4):319–342, 1988.
H. Arimura, T. Shinohara, and S. Otsuki. A polynomial time algorithm for finding finite unions of tree pattern languages. In Proc. of the 2nd International Workshop on Nonmonotonic and Inductive Logics, 1991. LNAI 659.
H. Arimura, T. Shinohara, and S. Otsuki. Finding minimal generalizations for unions of pattern languages and its application to inductive inference from positive data. In P. Enjalbert, E. Mayr, and K. W. Wagner, editors, Proceedings of the 11th Annual Symposium on Theoretical Aspects of Computer Science, pp. 649–660. Springer-Verlag, 1994. LNCS 775.
J-L. Lassez, M. J. Maher, and K. Marriott. Unification revisited. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming, pp. 587–625. Morgan Kaufmann, 1988.
S. Miyano, A. Shinohara, and T. Shinohara. Which classes of elementary formal systems are polynomial-time learnable? In S. Arikawa, A. Maruoka, and T. Sato, editors, Proc. ALT '91, pp. 139–150. JSAI, 1991.
Y. Mukouchi and S. Arikawa. Inductive inference machines that can refute hypothesis spaces. In K. P. Jantke, S. Kobayashi, E. Tomita, and T. Yokomori, editors, Proc. ALT '93, pp. 123–136. Springer-Verlag, 1993. LNAI 744.
B. K. Natarajan. Machine Learning, A Theoretical Approach. Morgan Kaufmann, 1991.
L. Pitt and L. G. Valiant. Computational limitations on learning from examples. JACM, 35(4):965–984, 1988.
G. D. Plotkin. A note on inductive generalization. In B. Meltzer and D. Michie, editors, Machine Intelligence 5, pp. 153–163. Edinburgh University Press, 1970.
J. C. Reynolds. Transformational systems and the algebraic structure of atomic formulas. In B. Meltzer and D. Michie, editors, Machine Intelligence 5, pp. 135–152. Edinburgh University Press, 1970.
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
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ishizaka, H., Arimura, H., Shinohara, T. (1994). Finding tree patterns consistent with positive and negative examples using queries. In: Arikawa, S., Jantke, K.P. (eds) Algorithmic Learning Theory. AII ALT 1994 1994. Lecture Notes in Computer Science, vol 872. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58520-6_74
Download citation
DOI: https://doi.org/10.1007/3-540-58520-6_74
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-58520-6
Online ISBN: 978-3-540-49030-2
eBook Packages: Springer Book Archive