|
Authors: | Thomas Erlebach, Peter Rossmanith, Hans Stadtherr, Angelika Steger, Thomas Zeugmann |
Group: | Theory of Communication Networks |
Type: | Inproceedings |
Title: | Learning One-Variable Pattern Languages Very Efficiently on Average, in Parallel, and by Asking Queries |
Year: | 1997 |
Pub-Key: | ERSSZ97 |
Book Titel: | Lecture Notes in Computer Science. 8th International Workshop on Algorithmic Learning Theory (ALT 97) |
Volume: | 1316 |
Pages: | 260-276 |
Keywords: | pattern language, learning |
Publisher: | Springer-Verlag |
Abstract: | A pattern is a string of constant and variable symbols. The language generated by a pattern p is the set of all strings of constant symbols which can be obtained from p by
substituting non-empty strings for variables. We study the learnability of one-variable pattern languages in the limit with respect to the update time needed for computing a new single
guess and the expected total learning time taken until convergence to a correct hypothesis. The results obtained are threefold.
First, we design a consistent and set-driven learner that, using the concept of descriptive patterns, achieves update time O(n2log n), where n is the size of the input sample. The best previously known algorithm to compute descriptive one-variable patterns requires time O(n4log n) (cf. Angluin, 1980). Second, we give a parallel version of this algorithm requiring time O(log n) and O(n3/log n) processors on an EREW-PRAM. Third, we devise a one-variable pattern learner whose expected total learning time is O(l2log l) provided the sample strings are drawn from the target language according to a probability distribution D with expected string length l. The distribution D must be such that strings of equal length have equal probability, but can be arbitrary otherwise. Thus, we establish the first one-variable pattern learner having an expected total learning time that provably differs from the update time by a constant factor only. Finally, we apply the algorithm for finding descriptive one-variable patterns to learn one-variable patterns with a polynomial number of superset queries with respect to the one-variable patterns as query language. |
Location: | Sendai, Japan |
Resources: | [BibTeX] |